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-noswot.opb
MD5SUM	ce1061a060a0716eafe03a61d610732a
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-41
Optimality of the best value was proved	NO
Number of terms in the objective function	425
Biggest coefficient in the objective function	65536
Number of bits for the biggest coefficient in the objective function	17
Sum of the numbers in the objective function	3276775
Number of bits of the sum of numbers in the objective function	22
Biggest number in a constraint	41943040000000
Number of bits of the biggest number in a constraint	46
Biggest sum of numbers in a constraint	204183950227182
Number of bits of the biggest sum of numbers	48
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	145.757
Number of variables	1340
Total number of constraints	282
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	75
Number of constraints which are nor clauses,nor cardinality constraints	207
Minimum length of a constraint	1
Maximum length of a constraint	425
Trace number 16663

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-04-21 08:05:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12840 boxname=wulflinc8 idbench=988 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  ce1061a060a0716eafe03a61d610732a  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-noswot.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-noswot.opb
IDLAUNCH: 12840
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        849676 kB
Buffers:         20260 kB
Cached:         142192 kB
SwapCached:          0 kB
Active:          40416 kB
Inactive:       124960 kB
HighTotal:      131008 kB
HighFree:        33544 kB
LowTotal:       903652 kB
LowFree:        816132 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           6948 kB
Slab:            13764 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 08:26:23 (client local time) WITH STATUS 143 IN 1235.56 SECONDS
stats: 12840 7 1235.56 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-noswot.opb
c reading problem 
c [nbvar=1340]
c [nbconstr=282]
c time 10.27
c #vars     1340
c #clauses  209
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.77 0.94 0.90 2/54 25973
Raw data (stat): 25973 (runsolver) R 25972 26667 26666 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 471716893 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.0002 s]
Raw data (loadavg): 0.81 0.94 0.90 1/63 25982
Raw data (stat): 25973 (java) D 25972 26667 26666 0 -1 0 3094 0 79 0 63 12 0 0 18 0 10 0 471716893 852508672 2991 4294967295 134512640 134569956 3221224400 3221208572 1085786722 0 4 3 23756 3222515881 0 0 17 1 0 0
Raw data (statm): 208132 2991 13073 16 0 208116 0
vsize: 832528
[startup+20.8072 s]
Raw data (loadavg): 1.14 1.01 0.93 4/64 25983
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 17993 0 82 0 616 49 0 0 25 0 11 0 471716893 866938880 21717 4294967295 134512640 134569956 3221224400 3221214752 1131336420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211655 21717 13073 16 0 211639 0
vsize: 846620
[startup+30.8076 s]
Raw data (loadavg): 1.27 1.04 0.94 2/64 25983
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18025 0 82 0 1459 50 0 0 25 0 11 0 471716893 870166528 23400 4294967295 134512640 134569956 3221224400 3221214372 1131686352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 23400 13073 16 0 212427 0
vsize: 849772
[startup+40.8073 s]
Raw data (loadavg): 1.23 1.04 0.94 2/64 25983
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18026 0 82 0 2392 50 0 0 25 0 11 0 471716893 870166528 24114 4294967295 134512640 134569956 3221224400 3221214552 1131711379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 24114 13073 16 0 212427 0
vsize: 849772
[startup+50.8075 s]
Raw data (loadavg): 1.19 1.03 0.94 2/64 25983
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18026 0 82 0 3349 50 0 0 25 0 11 0 471716893 870166528 24491 4294967295 134512640 134569956 3221224400 3221214496 1131599203 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 24491 13073 16 0 212427 0
vsize: 849772
[startup+60.8078 s]
Raw data (loadavg): 1.16 1.03 0.94 2/64 25983
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 4302 50 0 0 25 0 11 0 471716893 870166528 24796 4294967295 134512640 134569956 3221224400 3221214772 1131198572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 24796 13073 16 0 212427 0
vsize: 849772
[startup+70.8076 s]
Raw data (loadavg): 1.14 1.03 0.94 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 5282 51 0 0 25 0 11 0 471716893 870166528 24932 4294967295 134512640 134569956 3221224400 3221214560 1131218585 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 24932 13073 16 0 212427 0
vsize: 849772
[startup+80.8092 s]
Raw data (loadavg): 1.11 1.03 0.94 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 6227 51 0 0 24 0 11 0 471716893 870166528 25257 4294967295 134512640 134569956 3221224400 3221214560 1131218583 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 25257 13073 16 0 212427 0
vsize: 849772
[startup+90.8092 s]
Raw data (loadavg): 1.10 1.03 0.94 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 7183 51 0 0 25 0 11 0 471716893 870166528 25522 4294967295 134512640 134569956 3221224400 3221214288 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 25522 13073 16 0 212427 0
vsize: 849772
[startup+100.809 s]
Raw data (loadavg): 1.08 1.03 0.94 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 8138 52 0 0 25 0 11 0 471716893 870166528 25806 4294967295 134512640 134569956 3221224400 3221214432 1131597577 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 25806 13073 16 0 212427 0
vsize: 849772
[startup+110.81 s]
Raw data (loadavg): 1.14 1.04 0.94 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 9120 52 0 0 25 0 11 0 471716893 870166528 25943 4294967295 134512640 134569956 3221224400 3221214488 1131711536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 25943 13073 16 0 212427 0
vsize: 849772
[startup+120.81 s]
Raw data (loadavg): 1.12 1.04 0.94 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 10085 52 0 0 25 0 11 0 471716893 870166528 26114 4294967295 134512640 134569956 3221224400 3221214344 1131686332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 26114 13073 16 0 212427 0
vsize: 849772
[startup+130.811 s]
Raw data (loadavg): 1.10 1.04 0.94 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 11049 53 0 0 25 0 11 0 471716893 870166528 26284 4294967295 134512640 134569956 3221224400 3221214656 1131199001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 26284 13073 16 0 212427 0
vsize: 849772
[startup+140.812 s]
Raw data (loadavg): 1.08 1.04 0.94 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 12004 53 0 0 25 0 11 0 471716893 870166528 26447 4294967295 134512640 134569956 3221224400 3221214488 1131597672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 26447 13073 16 0 212427 0
vsize: 849772
[startup+150.812 s]
Raw data (loadavg): 1.07 1.03 0.94 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 12961 54 0 0 25 0 11 0 471716893 870166528 26553 4294967295 134512640 134569956 3221224400 3221214520 1131637572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 26553 13073 16 0 212427 0
vsize: 849772
[startup+160.812 s]
Raw data (loadavg): 1.06 1.03 0.94 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 13920 54 0 0 25 0 11 0 471716893 870166528 26616 4294967295 134512640 134569956 3221224400 3221214656 1131663258 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 26616 13073 16 0 212427 0
vsize: 849772
[startup+170.812 s]
Raw data (loadavg): 1.05 1.03 0.94 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 14879 54 0 0 25 0 11 0 471716893 870166528 26675 4294967295 134512640 134569956 3221224400 3221214696 1131382568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 26675 13073 16 0 212427 0
vsize: 849772
[startup+180.812 s]
Raw data (loadavg): 1.12 1.05 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 15842 54 0 0 25 0 11 0 471716893 870166528 26932 4294967295 134512640 134569956 3221224400 3221214688 1131423637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 26932 13073 16 0 212427 0
vsize: 849772
[startup+190.813 s]
Raw data (loadavg): 1.10 1.04 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 16815 55 0 0 25 0 11 0 471716893 870166528 27178 4294967295 134512640 134569956 3221224400 3221214696 1131382175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 27178 13073 16 0 212427 0
vsize: 849772
[startup+200.813 s]
Raw data (loadavg): 1.09 1.04 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 17794 55 0 0 25 0 11 0 471716893 870166528 27313 4294967295 134512640 134569956 3221224400 3221214656 1131199126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 27313 13073 16 0 212427 0
vsize: 849772
[startup+210.814 s]
Raw data (loadavg): 1.07 1.04 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 18777 55 0 0 25 0 11 0 471716893 870166528 27367 4294967295 134512640 134569956 3221224400 3221214352 1080217096 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 27367 13073 16 0 212427 0
vsize: 849772
[startup+220.814 s]
Raw data (loadavg): 1.06 1.04 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 19756 55 0 0 24 0 11 0 471716893 870166528 27414 4294967295 134512640 134569956 3221224400 3221214064 1085679346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 27414 13073 16 0 212427 0
vsize: 849772
[startup+230.815 s]
Raw data (loadavg): 1.05 1.04 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 20738 56 0 0 25 0 11 0 471716893 870166528 27456 4294967295 134512640 134569956 3221224400 3221214344 1131676802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 27456 13073 16 0 212427 0
vsize: 849772
[startup+240.816 s]
Raw data (loadavg): 1.04 1.03 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 21716 56 0 0 24 0 11 0 471716893 870166528 27532 4294967295 134512640 134569956 3221224400 3221214352 1085679394 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 27532 13073 16 0 212427 0
vsize: 849772
[startup+250.816 s]
Raw data (loadavg): 1.04 1.03 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 22698 56 0 0 25 0 11 0 471716893 870166528 27589 4294967295 134512640 134569956 3221224400 3221214432 1131592771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 27589 13073 16 0 212427 0
vsize: 849772
[startup+260.817 s]
Raw data (loadavg): 1.03 1.03 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 23680 56 0 0 25 0 11 0 471716893 870166528 27672 4294967295 134512640 134569956 3221224400 3221214956 1131208934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 27672 13073 16 0 212427 0
vsize: 849772
[startup+270.817 s]
Raw data (loadavg): 1.02 1.03 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 24660 57 0 0 25 0 11 0 471716893 870166528 27751 4294967295 134512640 134569956 3221224400 3221214656 1131199229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 27751 13073 16 0 212427 0
vsize: 849772
[startup+280.818 s]
Raw data (loadavg): 1.02 1.03 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 25644 57 0 0 25 0 11 0 471716893 870166528 27819 4294967295 134512640 134569956 3221224400 3221214488 1131598780 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 27819 13073 16 0 212427 0
vsize: 849772
[startup+290.819 s]
Raw data (loadavg): 1.02 1.03 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 26629 57 0 0 25 0 11 0 471716893 870166528 27876 4294967295 134512640 134569956 3221224400 3221214584 1131712220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 27876 13073 16 0 212427 0
vsize: 849772
[startup+300.818 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 27610 57 0 0 25 0 11 0 471716893 870166528 27938 4294967295 134512640 134569956 3221224400 3221214752 1131337574 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 27938 13073 16 0 212427 0
vsize: 849772
[startup+310.819 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 28596 58 0 0 25 0 11 0 471716893 870166528 27987 4294967295 134512640 134569956 3221224400 3221214656 1131199233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 27987 13073 16 0 212427 0
vsize: 849772
[startup+320.82 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 29582 58 0 0 25 0 11 0 471716893 870166528 28040 4294967295 134512640 134569956 3221224400 3221214592 1131567007 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 28040 13073 16 0 212427 0
vsize: 849772
[startup+330.82 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 30567 58 0 0 25 0 11 0 471716893 870166528 28086 4294967295 134512640 134569956 3221224400 3221214488 1131597755 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 28086 13073 16 0 212427 0
vsize: 849772
[startup+340.82 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 31552 59 0 0 25 0 11 0 471716893 870166528 28131 4294967295 134512640 134569956 3221224400 3221214656 1131199001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 28131 13073 16 0 212427 0
vsize: 849772
[startup+350.82 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 32540 59 0 0 25 0 11 0 471716893 870166528 28178 4294967295 134512640 134569956 3221224400 3221214488 1131593114 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 28178 13073 16 0 212427 0
vsize: 849772
[startup+360.82 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 33524 59 0 0 25 0 11 0 471716893 870166528 28237 4294967295 134512640 134569956 3221224400 3221214440 1080216989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 28237 13073 16 0 212427 0
vsize: 849772
[startup+370.82 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 34508 59 0 0 25 0 11 0 471716893 870166528 28279 4294967295 134512640 134569956 3221224400 3221214752 1131336167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212443 28279 13073 16 0 212427 0
vsize: 849772
[startup+380.821 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 35492 59 0 0 25 0 11 0 471716893 870166528 28332 4294967295 134512640 134569956 3221224400 3221214432 1131597550 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 28332 13073 16 0 212427 0
vsize: 849772
[startup+390.822 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 36475 60 0 0 25 0 11 0 471716893 870166528 28370 4294967295 134512640 134569956 3221224400 3221214432 1131590787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 28370 13073 16 0 212427 0
vsize: 849772
[startup+400.821 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 37462 60 0 0 25 0 11 0 471716893 870166528 28399 4294967295 134512640 134569956 3221224400 3221213976 1085679293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 28399 13073 16 0 212427 0
vsize: 849772
[startup+410.821 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 38447 61 0 0 25 0 11 0 471716893 870166528 28429 4294967295 134512640 134569956 3221224400 3221214672 1131711036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 28429 13073 16 0 212427 0
vsize: 849772
[startup+420.822 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 39427 61 0 0 25 0 11 0 471716893 870166528 28519 4294967295 134512640 134569956 3221224400 3221214752 1131338407 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 28519 13073 16 0 212427 0
vsize: 849772
[startup+430.822 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 40407 61 0 0 25 0 11 0 471716893 870166528 28577 4294967295 134512640 134569956 3221224400 3221214244 1131686347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 28577 13073 16 0 212427 0
vsize: 849772
[startup+440.823 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 41386 61 0 0 25 0 11 0 471716893 870166528 28630 4294967295 134512640 134569956 3221224400 3221214792 1131448102 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 28630 13073 16 0 212427 0
vsize: 849772
[startup+450.824 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 42366 61 0 0 25 0 11 0 471716893 870166528 28693 4294967295 134512640 134569956 3221224400 3221214696 1131218711 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 28693 13073 16 0 212427 0
vsize: 849772
[startup+460.824 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 43345 62 0 0 25 0 11 0 471716893 870166528 28736 4294967295 134512640 134569956 3221224400 3221214392 1131710818 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 28736 13073 16 0 212427 0
vsize: 849772
[startup+470.824 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 44323 62 0 0 25 0 11 0 471716893 870166528 28768 4294967295 134512640 134569956 3221224400 3221214696 1131180706 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 28768 13073 16 0 212427 0
vsize: 849772
[startup+480.825 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 45301 62 0 0 25 0 11 0 471716893 870166528 28866 4294967295 134512640 134569956 3221224400 3221214696 1131381343 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212443 28866 13073 16 0 212427 0
vsize: 849772
[startup+490.825 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 46281 63 0 0 25 0 11 0 471716893 870166528 28973 4294967295 134512640 134569956 3221224400 3221214752 1131336523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 28973 13073 16 0 212427 0
vsize: 849772
[startup+500.825 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 47263 63 0 0 25 0 11 0 471716893 870166528 29050 4294967295 134512640 134569956 3221224400 3221214696 1131381713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 29050 13073 16 0 212427 0
vsize: 849772
[startup+510.826 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 48241 63 0 0 24 0 11 0 471716893 870166528 29121 4294967295 134512640 134569956 3221224400 3221214488 1131597559 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 29121 13073 16 0 212427 0
vsize: 849772
[startup+520.826 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 49224 63 0 0 25 0 11 0 471716893 870166528 29177 4294967295 134512640 134569956 3221224400 3221214704 1131232431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 29177 13073 16 0 212427 0
vsize: 849772
[startup+530.827 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 50206 64 0 0 25 0 11 0 471716893 870166528 29215 4294967295 134512640 134569956 3221224400 3221214656 1131198597 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 29215 13073 16 0 212427 0
vsize: 849772
[startup+540.828 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 51189 64 0 0 25 0 11 0 471716893 870166528 29291 4294967295 134512640 134569956 3221224400 3221214632 1131686276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 29291 13073 16 0 212427 0
vsize: 849772
[startup+550.828 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 52173 64 0 0 25 0 11 0 471716893 870166528 29358 4294967295 134512640 134569956 3221224400 3221214352 1085679735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 29358 13073 16 0 212427 0
vsize: 849772
[startup+560.828 s]
Raw data (loadavg): 1.07 1.02 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 53153 65 0 0 24 0 11 0 471716893 870166528 29415 4294967295 134512640 134569956 3221224400 3221213968 1131686410 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 29415 13073 16 0 212427 0
vsize: 849772
[startup+570.828 s]
Raw data (loadavg): 1.06 1.02 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 54141 65 0 0 25 0 11 0 471716893 870166528 29449 4294967295 134512640 134569956 3221224400 3221214244 1131686352 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212443 29449 13073 16 0 212427 0
vsize: 849772
[startup+580.829 s]
Raw data (loadavg): 1.05 1.01 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 55123 65 0 0 25 0 11 0 471716893 870166528 29493 4294967295 134512640 134569956 3221224400 3221214752 1131338398 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 29493 13073 16 0 212427 0
vsize: 849772
[startup+590.829 s]
Raw data (loadavg): 1.04 1.01 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 56108 65 0 0 25 0 11 0 471716893 870166528 29543 4294967295 134512640 134569956 3221224400 3221214048 1085632273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 29543 13073 16 0 212427 0
vsize: 849772
[startup+600.829 s]
Raw data (loadavg): 1.04 1.01 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 57086 66 0 0 25 0 11 0 471716893 870166528 29628 4294967295 134512640 134569956 3221224400 3221214392 1131711379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 29628 13073 16 0 212427 0
vsize: 849772
[startup+610.829 s]
Raw data (loadavg): 1.03 1.01 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 58064 67 0 0 25 0 11 0 471716893 870166528 29678 4294967295 134512640 134569956 3221224400 3221214480 1131688533 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212443 29678 13073 16 0 212427 0
vsize: 849772
[startup+620.83 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 59037 67 0 0 24 0 11 0 471716893 870166528 29739 4294967295 134512640 134569956 3221224400 3221214248 1131686300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 29739 13073 16 0 212427 0
vsize: 849772
[startup+630.831 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 60015 67 0 0 25 0 11 0 471716893 870166528 29782 4294967295 134512640 134569956 3221224400 3221214296 1131711044 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 29782 13073 16 0 212427 0
vsize: 849772
[startup+640.831 s]
Raw data (loadavg): 1.02 1.01 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 60997 68 0 0 25 0 11 0 471716893 870166528 29810 4294967295 134512640 134569956 3221224400 3221214752 1131339072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 29810 13073 16 0 212427 0
vsize: 849772
[startup+650.831 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 61966 68 0 0 25 0 11 0 471716893 870166528 29930 4294967295 134512640 134569956 3221224400 3221214656 1131663248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 29930 13073 16 0 212427 0
vsize: 849772
[startup+660.831 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 62943 69 0 0 25 0 11 0 471716893 870166528 30046 4294967295 134512640 134569956 3221224400 3221214056 1131686353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 30046 13073 16 0 212427 0
vsize: 849772
[startup+670.831 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 63919 69 0 0 24 0 11 0 471716893 870166528 30158 4294967295 134512640 134569956 3221224400 3221214544 1085679519 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 30158 13073 16 0 212427 0
vsize: 849772
[startup+680.846 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 64901 70 0 0 25 0 11 0 471716893 870166528 30214 4294967295 134512640 134569956 3221224400 3221214656 1131199017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 30214 13073 16 0 212427 0
vsize: 849772
[startup+690.846 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 65882 70 0 0 25 0 11 0 471716893 870166528 30268 4294967295 134512640 134569956 3221224400 3221214752 1131336458 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212443 30268 13073 16 0 212427 0
vsize: 849772
[startup+700.845 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 66863 71 0 0 25 0 11 0 471716893 870166528 30306 4294967295 134512640 134569956 3221224400 3221214656 1131199167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 30306 13073 16 0 212427 0
vsize: 849772
[startup+710.845 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 67842 71 0 0 25 0 11 0 471716893 870166528 30400 4294967295 134512640 134569956 3221224400 3221214248 1131686353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 30400 13073 16 0 212427 0
vsize: 849772
[startup+720.846 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 68827 71 0 0 25 0 11 0 471716893 870166528 30461 4294967295 134512640 134569956 3221224400 3221214656 1131198649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 30461 13073 16 0 212427 0
vsize: 849772
[startup+730.847 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 69802 71 0 0 25 0 11 0 471716893 870166528 30534 4294967295 134512640 134569956 3221224400 3221214656 1131663248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 30534 13073 16 0 212427 0
vsize: 849772
[startup+740.855 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 70782 71 0 0 25 0 11 0 471716893 870166528 30590 4294967295 134512640 134569956 3221224400 3221214656 1131198601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 30590 13073 16 0 212427 0
vsize: 849772
[startup+750.862 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 71763 72 0 0 25 0 11 0 471716893 870166528 30652 4294967295 134512640 134569956 3221224400 3221214656 1131199173 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 30652 13073 16 0 212427 0
vsize: 849772
[startup+760.863 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 72743 72 0 0 25 0 11 0 471716893 870166528 30713 4294967295 134512640 134569956 3221224400 3221214656 1131198783 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 30713 13073 16 0 212427 0
vsize: 849772
[startup+770.863 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 73727 72 0 0 25 0 11 0 471716893 870166528 30755 4294967295 134512640 134569956 3221224400 3221214704 1131204939 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 30755 13073 16 0 212427 0
vsize: 849772
[startup+780.864 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 74705 72 0 0 25 0 11 0 471716893 870166528 30843 4294967295 134512640 134569956 3221224400 3221214656 1131199017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212443 30843 13073 16 0 212427 0
vsize: 849772
[startup+790.872 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 75683 73 0 0 25 0 11 0 471716893 870166528 30928 4294967295 134512640 134569956 3221224400 3221214936 1131537641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 30928 13073 16 0 212427 0
vsize: 849772
[startup+800.881 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 76663 73 0 0 25 0 11 0 471716893 870166528 31009 4294967295 134512640 134569956 3221224400 3221214488 1131594567 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 31009 13073 16 0 212427 0
vsize: 849772
[startup+810.882 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 77643 73 0 0 25 0 11 0 471716893 870166528 31063 4294967295 134512640 134569956 3221224400 3221214116 1085616768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 31063 13073 16 0 212427 0
vsize: 849772
[startup+820.894 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 78628 74 0 0 25 0 11 0 471716893 870166528 31102 4294967295 134512640 134569956 3221224400 3221213868 1131686352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 31102 13073 16 0 212427 0
vsize: 849772
[startup+830.894 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 79613 74 0 0 25 0 11 0 471716893 870166528 31144 4294967295 134512640 134569956 3221224400 3221214248 1131686210 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 31144 13073 16 0 212427 0
vsize: 849772
[startup+840.894 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 80591 74 0 0 25 0 11 0 471716893 870166528 31181 4294967295 134512640 134569956 3221224400 3221214656 1131199237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 31181 13073 16 0 212427 0
vsize: 849772
[startup+850.905 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 81569 75 0 0 25 0 11 0 471716893 870166528 31276 4294967295 134512640 134569956 3221224400 3221214056 1131686353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 31276 13073 16 0 212427 0
vsize: 849772
[startup+860.908 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 82549 75 0 0 25 0 11 0 471716893 870166528 31369 4294967295 134512640 134569956 3221224400 3221214432 1131599272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 31369 13073 16 0 212427 0
vsize: 849772
[startup+870.917 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 83529 75 0 0 25 0 11 0 471716893 870166528 31451 4294967295 134512640 134569956 3221224400 3221214152 1131686332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 31451 13073 16 0 212427 0
vsize: 849772
[startup+880.917 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 84510 75 0 0 25 0 11 0 471716893 870166528 31512 4294967295 134512640 134569956 3221224400 3221214752 1131339312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 31512 13073 16 0 212427 0
vsize: 849772
[startup+890.932 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 85492 76 0 0 25 0 11 0 471716893 870166528 31573 4294967295 134512640 134569956 3221224400 3221214152 1085632273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 31573 13073 16 0 212427 0
vsize: 849772
[startup+900.933 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 86472 76 0 0 25 0 11 0 471716893 870166528 31639 4294967295 134512640 134569956 3221224400 3221214752 1131336523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 31639 13073 16 0 212427 0
vsize: 849772
[startup+910.933 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 87453 76 0 0 25 0 11 0 471716893 870166528 31708 4294967295 134512640 134569956 3221224400 3221214200 1131715239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 31708 13073 16 0 212427 0
vsize: 849772
[startup+920.939 s]
Raw data (loadavg): 1.07 1.02 0.96 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 88436 76 0 0 25 0 11 0 471716893 870166528 31763 4294967295 134512640 134569956 3221224400 3221214064 1131686413 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 31763 13073 16 0 212427 0
vsize: 849772
[startup+930.94 s]
Raw data (loadavg): 1.06 1.02 0.96 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 89419 76 0 0 24 0 11 0 471716893 870166528 31831 4294967295 134512640 134569956 3221224400 3221214680 1131715952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 31831 13073 16 0 212427 0
vsize: 849772
[startup+940.94 s]
Raw data (loadavg): 1.05 1.01 0.96 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 90405 77 0 0 25 0 11 0 471716893 870166528 31873 4294967295 134512640 134569956 3221224400 3221214152 1131686231 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 31873 13073 16 0 212427 0
vsize: 849772
[startup+950.94 s]
Raw data (loadavg): 1.04 1.01 0.96 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 91387 77 0 0 25 0 11 0 471716893 870166528 31920 4294967295 134512640 134569956 3221224400 3221214696 1131383887 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 31920 13073 16 0 212427 0
vsize: 849772
[startup+960.943 s]
Raw data (loadavg): 1.04 1.01 0.96 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 92370 78 0 0 25 0 11 0 471716893 870166528 31970 4294967295 134512640 134569956 3221224400 3221214752 1131337590 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 31970 13073 16 0 212427 0
vsize: 849772
[startup+970.942 s]
Raw data (loadavg): 1.03 1.01 0.96 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 93360 78 0 0 25 0 11 0 471716893 870166528 32006 4294967295 134512640 134569956 3221224400 3221214152 1131676802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 32006 13073 16 0 212427 0
vsize: 849772
[startup+981.072 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 94357 79 0 0 25 0 11 0 471716893 870166528 32055 4294967295 134512640 134569956 3221224400 3221213968 1085679753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 32055 13073 16 0 212427 0
vsize: 849772
[startup+991.077 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 95347 79 0 0 25 0 11 0 471716893 870166528 32076 4294967295 134512640 134569956 3221224400 3221214488 1131713548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 32076 13073 16 0 212427 0
vsize: 849772
[startup+1001.08 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 96331 79 0 0 25 0 11 0 471716893 870166528 32099 4294967295 134512640 134569956 3221224400 3221214656 1131199229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 32099 13073 16 0 212427 0
vsize: 849772
[startup+1011.08 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 97317 80 0 0 25 0 11 0 471716893 870166528 32121 4294967295 134512640 134569956 3221224400 3221214656 1131199170 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 32121 13073 16 0 212427 0
vsize: 849772
[startup+1021.09 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 98298 80 0 0 25 0 11 0 471716893 870166528 32155 4294967295 134512640 134569956 3221224400 3221213680 1131686346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 32155 13073 16 0 212427 0
vsize: 849772
[startup+1031.11 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 99273 81 0 0 25 0 11 0 471716893 870166528 32206 4294967295 134512640 134569956 3221224400 3221214392 1131711308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 32206 13073 16 0 212427 0
vsize: 849772
[startup+1041.13 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 100253 81 0 0 25 0 11 0 471716893 870166528 32256 4294967295 134512640 134569956 3221224400 3221214344 1131686304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 32256 13073 16 0 212427 0
vsize: 849772
[startup+1051.13 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 101232 81 0 0 25 0 11 0 471716893 870166528 32299 4294967295 134512640 134569956 3221224400 3221214000 1131709899 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212443 32299 13073 16 0 212427 0
vsize: 849772
[startup+1061.13 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 102209 81 0 0 25 0 11 0 471716893 870166528 32358 4294967295 134512640 134569956 3221224400 3221214152 1131686353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 32358 13073 16 0 212427 0
vsize: 849772
[startup+1071.15 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 103181 82 0 0 25 0 11 0 471716893 870166528 32420 4294967295 134512640 134569956 3221224400 3221214536 1131686328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 32420 13073 16 0 212427 0
vsize: 849772
[startup+1081.15 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 104159 82 0 0 25 0 11 0 471716893 870166528 32489 4294967295 134512640 134569956 3221224400 3221214832 1131317587 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212443 32489 13073 16 0 212427 0
vsize: 849772
[startup+1091.15 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 105131 82 0 0 25 0 11 0 471716893 870166528 32592 4294967295 134512640 134569956 3221224400 3221214056 1131686273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 32592 13073 16 0 212427 0
vsize: 849772
[startup+1101.15 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 106110 83 0 0 25 0 11 0 471716893 870166528 32772 4294967295 134512640 134569956 3221224400 3221214632 1131686359 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 32772 13073 16 0 212427 0
vsize: 849772
[startup+1111.15 s]
Raw data (loadavg): 1.07 1.02 0.96 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 107093 83 0 0 25 0 11 0 471716893 870166528 32852 4294967295 134512640 134569956 3221224400 3221214656 1131198744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 32852 13073 16 0 212427 0
vsize: 849772
[startup+1121.15 s]
Raw data (loadavg): 1.06 1.02 0.96 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 108071 83 0 0 25 0 11 0 471716893 870166528 32945 4294967295 134512640 134569956 3221224400 3221214696 1131379728 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 32945 13073 16 0 212427 0
vsize: 849772
[startup+1131.15 s]
Raw data (loadavg): 1.05 1.01 0.96 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 109051 84 0 0 25 0 11 0 471716893 870166528 33063 4294967295 134512640 134569956 3221224400 3221214152 1131686273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 33063 13073 16 0 212427 0
vsize: 849772
[startup+1141.15 s]
Raw data (loadavg): 1.04 1.01 0.96 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 110036 84 0 0 25 0 11 0 471716893 870166528 33124 4294967295 134512640 134569956 3221224400 3221214288 1131716752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 33124 13073 16 0 212427 0
vsize: 849772
[startup+1151.15 s]
Raw data (loadavg): 1.04 1.01 0.96 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 111016 84 0 0 25 0 11 0 471716893 870166528 33179 4294967295 134512640 134569956 3221224400 3221214392 1131713548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 33179 13073 16 0 212427 0
vsize: 849772
[startup+1161.16 s]
Raw data (loadavg): 1.03 1.01 0.96 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 112001 84 0 0 25 0 11 0 471716893 870166528 33226 4294967295 134512640 134569956 3221224400 3221214064 1131686346 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212443 33226 13073 16 0 212427 0
vsize: 849772
[startup+1171.16 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 112986 85 0 0 25 0 11 0 471716893 870166528 33274 4294967295 134512640 134569956 3221224400 3221214000 1131688530 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212443 33274 13073 16 0 212427 0
vsize: 849772
[startup+1181.16 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 113965 85 0 0 25 0 11 0 471716893 870166528 33341 4294967295 134512640 134569956 3221224400 3221214696 1131180561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 33341 13073 16 0 212427 0
vsize: 849772
[startup+1191.16 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 114950 85 0 0 25 0 11 0 471716893 870166528 33399 4294967295 134512640 134569956 3221224400 3221214656 1131199858 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 33399 13073 16 0 212427 0
vsize: 849772
[startup+1201.16 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 115930 86 0 0 25 0 11 0 471716893 870166528 33462 4294967295 134512640 134569956 3221224400 3221214060 1085616768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 33462 13073 16 0 212427 0
vsize: 849772
[startup+1211.16 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 116910 86 0 0 25 0 11 0 471716893 870166528 33523 4294967295 134512640 134569956 3221224400 3221214340 1131686352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 33523 13073 16 0 212427 0
vsize: 849772
[startup+1221.16 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 117895 86 0 0 25 0 11 0 471716893 870166528 33563 4294967295 134512640 134569956 3221224400 3221214748 1131198572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 33563 13073 16 0 212427 0
vsize: 849772
[startup+1231.16 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 118876 86 0 0 25 0 11 0 471716893 870166528 33641 4294967295 134512640 134569956 3221224400 3221214936 1131537761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 33641 13073 16 0 212427 0
vsize: 849772
[startup+1241.16 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 119862 87 0 0 25 0 11 0 471716893 870166528 33688 4294967295 134512640 134569956 3221224400 3221214064 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 33688 13073 16 0 212427 0
vsize: 849772
[startup+1251.16 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 25985
Raw data (stat): 25973 (java) R 25972 26667 26666 0 -1 0 18027 0 82 0 120843 87 0 0 25 0 11 0 471716893 870166528 33773 4294967295 134512640 134569956 3221224400 3221214488 1131596839 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212443 33773 13073 16 0 212427 0
vsize: 849772
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1251.37 s]
Raw data (loadavg): 1.00 1.00 0.96 1/54 25987
Raw data (stat): 25973 (java) Z 25972 26667 26666 0 -1 1036 18027 11466 82 1 120854 88 2583 30 25 0 1 0 471716893 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1251.37
CPU time (s): 1235.56
CPU user time (s): 1234.37
CPU system time (s): 1.18582
CPU usage (%): 98.7367
Max. virtual memory (Kb): 849772
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####