PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-lseu.opb
MD5SUM	99657262afbbfce7034a3ec6b29d9b3b
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1120
Optimality of the best value was proved	NO
Number of terms in the objective function	85
Biggest coefficient in the objective function	517
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	15494
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	1656
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	15494
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02884
Number of variables	89
Total number of constraints	117
Number of constraints which are clauses	2
Number of constraints which are cardinality constraints (but not clauses)	104
Number of constraints which are nor clauses,nor cardinality constraints	11
Minimum length of a constraint	1
Maximum length of a constraint	47
Trace number 30032

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-05-25 14:02:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21435 boxname=wulflinc30 idbench=1423 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  99657262afbbfce7034a3ec6b29d9b3b  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-lseu.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-lseu.opb
IDLAUNCH: 21435
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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:        773680 kB
Buffers:         28972 kB
Cached:         209144 kB
SwapCached:        632 kB
Active:          25060 kB
Inactive:       215060 kB
HighTotal:      131008 kB
HighFree:        53984 kB
LowTotal:       903652 kB
LowFree:        719696 kB
SwapTotal:     2097892 kB
SwapFree:      2096344 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5016 kB
Slab:            15212 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 14:22:42 (client local time) WITH STATUS 143 IN 1236.94 SECONDS
stats: 21435 0 1236.94 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-lseu.opb
c reading problem ... done. Time 0.344 ms.
c #vars     89
c #constraints  28
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                3730 		Current CPU time: 0.84 ms
c CURRENT OPTIMUM=                3597 		Current CPU time: 1.10 ms
c CURRENT OPTIMUM=                3558 		Current CPU time: 4.01 ms
c CURRENT OPTIMUM=                3010 		Current CPU time: 4.11 ms
c CURRENT OPTIMUM=                2752 		Current CPU time: 4.16 ms
c CURRENT OPTIMUM=                2338 		Current CPU time: 4.43 ms
c CURRENT OPTIMUM=                2333 		Current CPU time: 8.63 ms
c CURRENT OPTIMUM=                2285 		Current CPU time: 8.71 ms
c CURRENT OPTIMUM=                2222 		Current CPU time: 10.89 ms
c CURRENT OPTIMUM=                1951 		Current CPU time: 15.32 ms
c CURRENT OPTIMUM=                1941 		Current CPU time: 49.26 ms
c CURRENT OPTIMUM=                1922 		Current CPU time: 77.37 ms
c CURRENT OPTIMUM=                1878 		Current CPU time: 92.00 ms
c CURRENT OPTIMUM=                1839 		Current CPU time: 143.74 ms
c CURRENT OPTIMUM=                1780 		Current CPU time: 164.62 ms
c CURRENT OPTIMUM=                1659 		Current CPU time: 186.28 ms
c CURRENT OPTIMUM=                1611 		Current CPU time: 246.56 ms
c CURRENT OPTIMUM=                1540 		Current CPU time: 279.29 ms
c CURRENT OPTIMUM=                1525 		Current CPU time: 305.08 ms
c CURRENT OPTIMUM=                1461 		Current CPU time: 332.09 ms
c CURRENT OPTIMUM=                1451 		Current CPU time: 1012.24 ms
c CURRENT OPTIMUM=                1448 		Current CPU time: 1176.85 ms
c starts	: 48
c conflicts	: 5257
c decisions	: 16124
c propagations	: 70965
c inspects	: 5209654
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 5257
c root simplifications	: 48
s SATISFIABLE
v C101_bit0 C102_bit0 -C103_bit0 -C104_bit0 -C105_bit0 C108_bit0 C111_bit0 -C112_bit0 -C113_bit0 -C114_bit0 -C115_bit0 -C116_bit0 -C117_bit0 -C118_bit0 -C119_bit0 -C120_bit0 -C121_bit0 -C122_bit0 C123_bit0 -C124_bit0 -C125_bit0 -C126_bit0 C127_bit0 -C128_bit0 -C129_bit0 -C130_bit0 -C131_bit0 -C132_bit0 -C133_bit0 -C134_bit0 -C135_bit0 -C136_bit0 -C137_bit0 C138_bit0 -C139_bit0 -C140_bit0 -C141_bit0 C142_bit0 -C143_bit0 -C144_bit0 C145_bit0 -C146_bit0 -C147_bit0 -C148_bit0 -C149_bit0 -C150_bit0 C151_bit0 -C152_bit0 C153_bit0 -C154_bit0 -C155_bit0 -C156_bit0 C157_bit0 -C158_bit0 -C159_bit0 -C160_bit0 -C161_bit0 -C162_bit0 -C163_bit0 C164_bit0 -C165_bit0 -C166_bit0 -C167_bit0 -C168_bit0 -C169_bit0 -C170_bit0 -C171_bit0 -C172_bit0 -C173_bit0 -C174_bit0 -C175_bit0 -C176_bit0 -C177_bit0 -C178_bit0 -C179_bit0 -C180_bit0 -C181_bit0 -C182_bit0 -C183_bit0 -C184_bit0 -C185_bit0 -C186_bit0 -C187_bit0 -C188_bit0 -C189_bit0 -C106_bit0 -C107_bit0 -C109_bit0 -C110_bit0 
c objectif function=1448
c Total CPU time (ms) : 1239.125
#### 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.97 1.01 1.00 2/54 7846
Raw data (stat): 7846 (runsolver) R 7845 22056 22055 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 839437013 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 1.28 1.08 1.02 4/64 7864
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18134 6 1 0 671 43 0 0 25 0 11 0 839437013 868237312 21729 4294967295 134512640 134569956 3221224368 3221214352 1131386300 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211972 21729 13086 16 0 211956 0
vsize: 847888
[startup+20.0012 s]
Raw data (loadavg): 1.24 1.08 1.02 2/64 7866
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 1619 44 0 0 25 0 11 0 839437013 865013760 22168 4294967295 134512640 134569956 3221224368 3221214592 1131164654 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211185 22168 13086 16 0 211169 0
vsize: 844740
[startup+30.0016 s]
Raw data (loadavg): 1.20 1.07 1.02 2/64 7866
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 2578 44 0 0 25 0 11 0 839437013 864980992 22607 4294967295 134512640 134569956 3221224368 3221214204 1085632272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211177 22607 13086 16 0 211161 0
vsize: 844708
[startup+40.0014 s]
Raw data (loadavg): 1.17 1.07 1.02 2/64 7866
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 3522 44 0 0 25 0 11 0 839437013 863928320 22835 4294967295 134512640 134569956 3221224368 3221214584 1131152889 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210920 22835 13086 16 0 210904 0
vsize: 843680
[startup+50.0027 s]
Raw data (loadavg): 1.14 1.07 1.02 2/64 7866
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 4461 44 0 0 25 0 11 0 839437013 863928320 22860 4294967295 134512640 134569956 3221224368 3221214108 1131312720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 22860 13086 16 0 210904 0
vsize: 843680
[startup+60.0031 s]
Raw data (loadavg): 1.12 1.06 1.02 2/64 7867
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 5406 45 0 0 25 0 11 0 839437013 863928320 23041 4294967295 134512640 134569956 3221224368 3221214656 1131226251 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 23041 13086 16 0 210904 0
vsize: 843680
[startup+70.0029 s]
Raw data (loadavg): 1.10 1.06 1.01 2/64 7867
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 6352 45 0 0 25 0 11 0 839437013 863928320 23161 4294967295 134512640 134569956 3221224368 3221214656 1131226251 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 23161 13086 16 0 210904 0
vsize: 843680
[startup+80.0041 s]
Raw data (loadavg): 1.09 1.06 1.01 2/64 7868
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 7308 45 0 0 25 0 11 0 839437013 863928320 23401 4294967295 134512640 134569956 3221224368 3221214216 1131344848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 23401 13086 16 0 210904 0
vsize: 843680
[startup+90.0046 s]
Raw data (loadavg): 1.07 1.06 1.01 2/64 7868
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 8272 45 0 0 25 0 11 0 839437013 863928320 23535 4294967295 134512640 134569956 3221224368 3221214656 1131227688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 23535 13086 16 0 210904 0
vsize: 843680
[startup+100.005 s]
Raw data (loadavg): 1.06 1.05 1.01 2/64 7869
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 9231 45 0 0 25 0 11 0 839437013 863928320 23665 4294967295 134512640 134569956 3221224368 3221214552 1131200319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 23665 13086 16 0 210904 0
vsize: 843680
[startup+110.007 s]
Raw data (loadavg): 1.05 1.05 1.01 2/64 7869
Raw data (stat): 7846 (java) S 7845 22056 22055 0 -1 0 18135 6 1 0 10186 46 0 0 25 0 11 0 839437013 863928320 23783 4294967295 134512640 134569956 3221224368 3221213160 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 23783 13086 16 0 210904 0
vsize: 843680
[startup+120.007 s]
Raw data (loadavg): 1.04 1.05 1.01 2/64 7869
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 11137 46 0 0 25 0 11 0 839437013 863928320 23891 4294967295 134512640 134569956 3221224368 3221214552 1131202817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 23891 13086 16 0 210904 0
vsize: 843680
[startup+130.008 s]
Raw data (loadavg): 1.04 1.05 1.01 2/64 7869
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 12093 46 0 0 25 0 11 0 839437013 863928320 24019 4294967295 134512640 134569956 3221224368 3221214464 1131557133 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 24019 13086 16 0 210904 0
vsize: 843680
[startup+140.009 s]
Raw data (loadavg): 1.03 1.05 1.01 2/64 7869
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 13043 46 0 0 25 0 11 0 839437013 863928320 24200 4294967295 134512640 134569956 3221224368 3221214240 1131312727 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 24200 13086 16 0 210904 0
vsize: 843680
[startup+150.01 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 7870
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 14004 46 0 0 25 0 11 0 839437013 863928320 24366 4294967295 134512640 134569956 3221224368 3221214048 1131312696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 24366 13086 16 0 210904 0
vsize: 843680
[startup+160.01 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 7870
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 14960 47 0 0 25 0 11 0 839437013 863928320 24511 4294967295 134512640 134569956 3221224368 3221214480 1131387885 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 24511 13086 16 0 210904 0
vsize: 843680
[startup+170.01 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 7871
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 15925 47 0 0 25 0 11 0 839437013 863928320 24628 4294967295 134512640 134569956 3221224368 3221214552 1131199900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 24628 13086 16 0 210904 0
vsize: 843680
[startup+180.011 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 7871
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 16896 48 0 0 25 0 11 0 839437013 863928320 24711 4294967295 134512640 134569956 3221224368 3221214560 1131152929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 24711 13086 16 0 210904 0
vsize: 843680
[startup+190.011 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 7872
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 17868 48 0 0 25 0 11 0 839437013 863928320 24812 4294967295 134512640 134569956 3221224368 3221214648 1131167139 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 24812 13086 16 0 210904 0
vsize: 843680
[startup+200.012 s]
Raw data (loadavg): 1.01 1.04 1.00 2/64 7874
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 18840 49 0 0 25 0 11 0 839437013 863928320 24897 4294967295 134512640 134569956 3221224368 3221214648 1131167161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 24897 13086 16 0 210904 0
vsize: 843680
[startup+210.012 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 7874
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 19805 49 0 0 25 0 11 0 839437013 863928320 24987 4294967295 134512640 134569956 3221224368 3221214344 1085679759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 24987 13086 16 0 210904 0
vsize: 843680
[startup+220.012 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 7874
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 20777 49 0 0 25 0 11 0 839437013 863928320 25060 4294967295 134512640 134569956 3221224368 3221214552 1131199900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 25060 13086 16 0 210904 0
vsize: 843680
[startup+230.013 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 7874
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 21742 49 0 0 25 0 11 0 839437013 863928320 25157 4294967295 134512640 134569956 3221224368 3221214656 1131226261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 25157 13086 16 0 210904 0
vsize: 843680
[startup+240.014 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 7874
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 22707 49 0 0 25 0 11 0 839437013 863928320 25241 4294967295 134512640 134569956 3221224368 3221214568 1131169082 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 25241 13086 16 0 210904 0
vsize: 843680
[startup+250.013 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 7875
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 23686 50 0 0 25 0 11 0 839437013 863928320 25317 4294967295 134512640 134569956 3221224368 3221214656 1131226306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 25317 13086 16 0 210904 0
vsize: 843680
[startup+260.014 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 7875
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 24652 50 0 0 25 0 11 0 839437013 863928320 25417 4294967295 134512640 134569956 3221224368 3221214352 1080217001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 25417 13086 16 0 210904 0
vsize: 843680
[startup+270.014 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 7875
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 25620 50 0 0 25 0 11 0 839437013 863928320 25521 4294967295 134512640 134569956 3221224368 3221214472 1131352597 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 25521 13086 16 0 210904 0
vsize: 843680
[startup+280.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7875
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 26595 51 0 0 25 0 11 0 839437013 863928320 25595 4294967295 134512640 134569956 3221224368 3221214048 1085632292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210920 25595 13086 16 0 210904 0
vsize: 843680
[startup+290.015 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7876
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 27564 51 0 0 24 0 11 0 839437013 863928320 25709 4294967295 134512640 134569956 3221224368 3221214632 1131216423 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 25709 13086 16 0 210904 0
vsize: 843680
[startup+300.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7876
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 28546 51 0 0 25 0 11 0 839437013 863928320 25761 4294967295 134512640 134569956 3221224368 3221214560 1131153200 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 25761 13086 16 0 210904 0
vsize: 843680
[startup+310.014 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7877
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 29520 51 0 0 25 0 11 0 839437013 863928320 25822 4294967295 134512640 134569956 3221224368 3221214560 1131152872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 25822 13086 16 0 210904 0
vsize: 843680
[startup+320.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7877
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 30494 52 0 0 25 0 11 0 839437013 863928320 25895 4294967295 134512640 134569956 3221224368 3221214344 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 25895 13086 16 0 210904 0
vsize: 843680
[startup+330.016 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7877
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 31474 52 0 0 25 0 11 0 839437013 863928320 25934 4294967295 134512640 134569956 3221224368 3221214656 1131226434 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 25934 13086 16 0 210904 0
vsize: 843680
[startup+340.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 32447 52 0 0 25 0 11 0 839437013 863928320 26005 4294967295 134512640 134569956 3221224368 3221214396 1085679260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 26005 13086 16 0 210904 0
vsize: 843680
[startup+350.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 33420 53 0 0 25 0 11 0 839437013 863928320 26080 4294967295 134512640 134569956 3221224368 3221214568 1131352597 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 26080 13086 16 0 210904 0
vsize: 843680
[startup+360.018 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 34391 53 0 0 25 0 11 0 839437013 863928320 26145 4294967295 134512640 134569956 3221224368 3221214560 1131153687 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 26145 13086 16 0 210904 0
vsize: 843680
[startup+370.017 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 35357 53 0 0 25 0 11 0 839437013 863928320 26239 4294967295 134512640 134569956 3221224368 3221214224 1131344754 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 26239 13086 16 0 210904 0
vsize: 843680
[startup+380.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 36336 54 0 0 25 0 11 0 839437013 863928320 26323 4294967295 134512640 134569956 3221224368 3221214524 1131312720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 26323 13086 16 0 210904 0
vsize: 843680
[startup+390.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 37316 54 0 0 25 0 11 0 839437013 863928320 26383 4294967295 134512640 134569956 3221224368 3221214144 1131312644 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210920 26383 13086 16 0 210904 0
vsize: 843680
[startup+400.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 38296 54 0 0 25 0 11 0 839437013 863928320 26434 4294967295 134512640 134569956 3221224368 3221214240 1131312732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 26434 13086 16 0 210904 0
vsize: 843680
[startup+410.018 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 39269 54 0 0 24 0 11 0 839437013 863928320 26513 4294967295 134512640 134569956 3221224368 3221214004 1085679264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 26513 13086 16 0 210904 0
vsize: 843680
[startup+420.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 40248 54 0 0 25 0 11 0 839437013 863928320 26565 4294967295 134512640 134569956 3221224368 3221214656 1131227367 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 26565 13086 16 0 210904 0
vsize: 843680
[startup+430.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 41234 55 0 0 25 0 11 0 839437013 863928320 26592 4294967295 134512640 134569956 3221224368 3221214140 1131312720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 26592 13086 16 0 210904 0
vsize: 843680
[startup+440.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 42212 55 0 0 25 0 11 0 839437013 863928320 26659 4294967295 134512640 134569956 3221224368 3221214568 1131352597 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 26659 13086 16 0 210904 0
vsize: 843680
[startup+450.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 43184 55 0 0 25 0 11 0 839437013 863928320 26735 4294967295 134512640 134569956 3221224368 3221214248 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 26735 13086 16 0 210904 0
vsize: 843680
[startup+460.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 44154 55 0 0 25 0 11 0 839437013 863928320 26782 4294967295 134512640 134569956 3221224368 3221214656 1131226251 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 26782 13086 16 0 210904 0
vsize: 843680
[startup+470.019 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 45132 56 0 0 25 0 11 0 839437013 863928320 26825 4294967295 134512640 134569956 3221224368 3221214240 1131312700 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 26825 13086 16 0 210904 0
vsize: 843680
[startup+480.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 46109 56 0 0 25 0 11 0 839437013 863928320 26880 4294967295 134512640 134569956 3221224368 3221214528 1131157161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 26880 13086 16 0 210904 0
vsize: 843680
[startup+490.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 47086 57 0 0 25 0 11 0 839437013 863928320 26933 4294967295 134512640 134569956 3221224368 3221214568 1131169094 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 26933 13086 16 0 210904 0
vsize: 843680
[startup+500.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 48055 57 0 0 25 0 11 0 839437013 863928320 27022 4294967295 134512640 134569956 3221224368 3221214440 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 27022 13086 16 0 210904 0
vsize: 843680
[startup+510.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 49025 57 0 0 25 0 11 0 839437013 863928320 27131 4294967295 134512640 134569956 3221224368 3221214344 1085679452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 27131 13086 16 0 210904 0
vsize: 843680
[startup+520.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 49995 57 0 0 25 0 11 0 839437013 863928320 27229 4294967295 134512640 134569956 3221224368 3221214432 1131312721 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 27229 13086 16 0 210904 0
vsize: 843680
[startup+530.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 50966 57 0 0 25 0 11 0 839437013 863928320 27307 4294967295 134512640 134569956 3221224368 3221214144 1131312748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 27307 13086 16 0 210904 0
vsize: 843680
[startup+540.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 51938 58 0 0 25 0 11 0 839437013 863928320 27381 4294967295 134512640 134569956 3221224368 3221214176 1131312625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210920 27381 13086 16 0 210904 0
vsize: 843680
[startup+550.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 52910 58 0 0 25 0 11 0 839437013 863928320 27465 4294967295 134512640 134569956 3221224368 3221214560 1131152849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 27465 13086 16 0 210904 0
vsize: 843680
[startup+560.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 53882 58 0 0 25 0 11 0 839437013 863928320 27551 4294967295 134512640 134569956 3221224368 3221214560 1131153125 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 27551 13086 16 0 210904 0
vsize: 843680
[startup+570.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 54856 59 0 0 25 0 11 0 839437013 863928320 27628 4294967295 134512640 134569956 3221224368 3221214528 1131312759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 27628 13086 16 0 210904 0
vsize: 843680
[startup+580.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 55830 60 0 0 25 0 11 0 839437013 863928320 27709 4294967295 134512640 134569956 3221224368 3221214384 1131388644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 27709 13086 16 0 210904 0
vsize: 843680
[startup+590.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 56800 60 0 0 25 0 11 0 839437013 863928320 27809 4294967295 134512640 134569956 3221224368 3221214552 1131201354 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 27809 13086 16 0 210904 0
vsize: 843680
[startup+600.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 57777 60 0 0 25 0 11 0 839437013 863928320 27902 4294967295 134512640 134569956 3221224368 3221214560 1131153442 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 27902 13086 16 0 210904 0
vsize: 843680
[startup+610.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 58755 61 0 0 25 0 11 0 839437013 863928320 27953 4294967295 134512640 134569956 3221224368 3221214560 1131153458 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 27953 13086 16 0 210904 0
vsize: 843680
[startup+620.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 59729 61 0 0 25 0 11 0 839437013 863928320 28043 4294967295 134512640 134569956 3221224368 3221213904 1131389956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 28043 13086 16 0 210904 0
vsize: 843680
[startup+630.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 60708 61 0 0 25 0 11 0 839437013 863928320 28096 4294967295 134512640 134569956 3221224368 3221214584 1131164632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 28096 13086 16 0 210904 0
vsize: 843680
[startup+640.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 61692 61 0 0 25 0 11 0 839437013 863928320 28145 4294967295 134512640 134569956 3221224368 3221214280 1131387450 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 28145 13086 16 0 210904 0
vsize: 843680
[startup+650.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 62666 62 0 0 25 0 11 0 839437013 863928320 28214 4294967295 134512640 134569956 3221224368 3221213952 1131312696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 28214 13086 16 0 210904 0
vsize: 843680
[startup+660.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 63649 62 0 0 25 0 11 0 839437013 863928320 28254 4294967295 134512640 134569956 3221224368 3221214720 1131423543 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 28254 13086 16 0 210904 0
vsize: 843680
[startup+670.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 64620 62 0 0 25 0 11 0 839437013 863928320 28319 4294967295 134512640 134569956 3221224368 3221214568 1131169125 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 28319 13086 16 0 210904 0
vsize: 843680
[startup+680.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 65597 63 0 0 25 0 11 0 839437013 863928320 28369 4294967295 134512640 134569956 3221224368 3221214656 1131226251 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210920 28369 13086 16 0 210904 0
vsize: 843680
[startup+690.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 66573 63 0 0 25 0 11 0 839437013 863928320 28411 4294967295 134512640 134569956 3221224368 3221214656 1131226244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 28411 13086 16 0 210904 0
vsize: 843680
[startup+700.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 67543 63 0 0 25 0 11 0 839437013 863928320 28490 4294967295 134512640 134569956 3221224368 3221214560 1131153054 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 28490 13086 16 0 210904 0
vsize: 843680
[startup+710.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 68519 64 0 0 25 0 11 0 839437013 863928320 28565 4294967295 134512640 134569956 3221224368 3221214096 1131386244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 28565 13086 16 0 210904 0
vsize: 843680
[startup+720.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 69495 64 0 0 25 0 11 0 839437013 863928320 28618 4294967295 134512640 134569956 3221224368 3221214192 1131389740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 28618 13086 16 0 210904 0
vsize: 843680
[startup+730.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 70477 64 0 0 25 0 11 0 839437013 863928320 28683 4294967295 134512640 134569956 3221224368 3221214652 1131169056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 28683 13086 16 0 210904 0
vsize: 843680
[startup+740.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 71459 64 0 0 25 0 11 0 839437013 863928320 28757 4294967295 134512640 134569956 3221224368 3221214656 1131227688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 28757 13086 16 0 210904 0
vsize: 843680
[startup+750.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 72435 65 0 0 25 0 11 0 839437013 863928320 28817 4294967295 134512640 134569956 3221224368 3221214560 1131152889 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 28817 13086 16 0 210904 0
vsize: 843680
[startup+760.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 73411 65 0 0 25 0 11 0 839437013 863928320 28864 4294967295 134512640 134569956 3221224368 3221214552 1131201437 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 28864 13086 16 0 210904 0
vsize: 843680
[startup+770.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 74392 65 0 0 25 0 11 0 839437013 863928320 28909 4294967295 134512640 134569956 3221224368 3221214344 1085679290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 28909 13086 16 0 210904 0
vsize: 843680
[startup+780.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 75368 66 0 0 25 0 11 0 839437013 863928320 28973 4294967295 134512640 134569956 3221224368 3221213936 1131344836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 28973 13086 16 0 210904 0
vsize: 843680
[startup+790.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 76344 66 0 0 25 0 11 0 839437013 863928320 29038 4294967295 134512640 134569956 3221224368 3221213936 1131344928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 29038 13086 16 0 210904 0
vsize: 843680
[startup+800.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 77310 66 0 0 24 0 11 0 839437013 863928320 29138 4294967295 134512640 134569956 3221224368 3221214560 1131153663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 29138 13086 16 0 210904 0
vsize: 843680
[startup+810.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 78287 66 0 0 25 0 11 0 839437013 863928320 29200 4294967295 134512640 134569956 3221224368 3221214288 1131387198 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210920 29200 13086 16 0 210904 0
vsize: 843680
[startup+820.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 79259 67 0 0 25 0 11 0 839437013 863928320 29272 4294967295 134512640 134569956 3221224368 3221214552 1131179949 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 29272 13086 16 0 210904 0
vsize: 843680
[startup+830.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 80238 67 0 0 25 0 11 0 839437013 863928320 29346 4294967295 134512640 134569956 3221224368 3221214560 1131152887 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 29346 13086 16 0 210904 0
vsize: 843680
[startup+840.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 81210 67 0 0 25 0 11 0 839437013 863928320 29443 4294967295 134512640 134569956 3221224368 3221214288 1131386248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 29443 13086 16 0 210904 0
vsize: 843680
[startup+850.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 82198 67 0 0 25 0 11 0 839437013 863928320 29464 4294967295 134512640 134569956 3221224368 3221214472 1131153392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210920 29464 13086 16 0 210904 0
vsize: 843680
[startup+860.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 83182 67 0 0 25 0 11 0 839437013 863928320 29496 4294967295 134512640 134569956 3221224368 3221214552 1131200784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210920 29496 13086 16 0 210904 0
vsize: 843680
[startup+870.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 84159 68 0 0 25 0 11 0 839437013 863928320 29547 4294967295 134512640 134569956 3221224368 3221213704 1085679305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 29547 13086 16 0 210904 0
vsize: 843680
[startup+880.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 85135 68 0 0 25 0 11 0 839437013 863928320 29593 4294967295 134512640 134569956 3221224368 3221214472 1131426741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210920 29593 13086 16 0 210904 0
vsize: 843680
[startup+890.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 86117 68 0 0 25 0 11 0 839437013 863928320 29629 4294967295 134512640 134569956 3221224368 3221213984 1131312660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 29629 13086 16 0 210904 0
vsize: 843680
[startup+900.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 87093 68 0 0 25 0 11 0 839437013 863928320 29694 4294967295 134512640 134569956 3221224368 3221214472 1131426376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 29694 13086 16 0 210904 0
vsize: 843680
[startup+910.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 88075 69 0 0 25 0 11 0 839437013 863928320 29745 4294967295 134512640 134569956 3221224368 3221214088 1131391724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210920 29745 13086 16 0 210904 0
vsize: 843680
[startup+920.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 89057 69 0 0 25 0 11 0 839437013 863928320 29801 4294967295 134512640 134569956 3221224368 3221214384 1131387241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 29801 13086 16 0 210904 0
vsize: 843680
[startup+930.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 90033 69 0 0 25 0 11 0 839437013 863928320 29863 4294967295 134512640 134569956 3221224368 3221214288 1131390296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 29863 13086 16 0 210904 0
vsize: 843680
[startup+940.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 91015 69 0 0 25 0 11 0 839437013 863928320 29916 4294967295 134512640 134569956 3221224368 3221214416 1131465796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210920 29916 13086 16 0 210904 0
vsize: 843680
[startup+950.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 92004 69 0 0 25 0 11 0 839437013 863928320 29950 4294967295 134512640 134569956 3221224368 3221214416 1131465818 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210920 29950 13086 16 0 210904 0
vsize: 843680
[startup+960.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 92998 69 0 0 25 0 11 0 839437013 863928320 29976 4294967295 134512640 134569956 3221224368 3221214480 1131389942 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 29976 13086 16 0 210904 0
vsize: 843680
[startup+970.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 93981 69 0 0 25 0 11 0 839437013 863928320 30038 4294967295 134512640 134569956 3221224368 3221214560 1131152915 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210920 30038 13086 16 0 210904 0
vsize: 843680
[startup+980.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 94964 70 0 0 25 0 11 0 839437013 863928320 30082 4294967295 134512640 134569956 3221224368 3221214096 1131389897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 30082 13086 16 0 210904 0
vsize: 843680
[startup+990.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 95952 70 0 0 25 0 11 0 839437013 863928320 30132 4294967295 134512640 134569956 3221224368 3221214560 1131152931 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210920 30132 13086 16 0 210904 0
vsize: 843680
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 96929 70 0 0 25 0 11 0 839437013 863928320 30202 4294967295 134512640 134569956 3221224368 3221214560 1131153325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 30202 13086 16 0 210904 0
vsize: 843680
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7878
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 97907 70 0 0 25 0 11 0 839437013 863928320 30289 4294967295 134512640 134569956 3221224368 3221214336 1131312696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 30289 13086 16 0 210904 0
vsize: 843680
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7879
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 98890 71 0 0 25 0 11 0 839437013 863928320 30354 4294967295 134512640 134569956 3221224368 3221214560 1131153070 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 30354 13086 16 0 210904 0
vsize: 843680
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7879
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 99867 71 0 0 25 0 11 0 839437013 863928320 30420 4294967295 134512640 134569956 3221224368 3221214576 1131388486 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 30420 13086 16 0 210904 0
vsize: 843680
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7879
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 100844 71 0 0 25 0 11 0 839437013 863928320 30504 4294967295 134512640 134569956 3221224368 3221214584 1131164601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 30504 13086 16 0 210904 0
vsize: 843680
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7879
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 101826 72 0 0 25 0 11 0 839437013 863928320 30564 4294967295 134512640 134569956 3221224368 3221214560 1131153305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 30564 13086 16 0 210904 0
vsize: 843680
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7879
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 102808 72 0 0 25 0 11 0 839437013 863928320 30632 4294967295 134512640 134569956 3221224368 3221214560 1131152929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 30632 13086 16 0 210904 0
vsize: 843680
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7879
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 103785 72 0 0 25 0 11 0 839437013 863928320 30714 4294967295 134512640 134569956 3221224368 3221214560 1131153014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 30714 13086 16 0 210904 0
vsize: 843680
[startup+1080.05 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 7879
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 104762 73 0 0 25 0 11 0 839437013 863928320 30808 4294967295 134512640 134569956 3221224368 3221214112 1131284916 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 30808 13086 16 0 210904 0
vsize: 843680
[startup+1090.05 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 7879
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 105738 73 0 0 25 0 11 0 839437013 863928320 30861 4294967295 134512640 134569956 3221224368 3221214496 1131294216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 30861 13086 16 0 210904 0
vsize: 843680
[startup+1100.05 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 7879
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 106714 73 0 0 25 0 11 0 839437013 863928320 30904 4294967295 134512640 134569956 3221224368 3221214552 1131199900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 30904 13086 16 0 210904 0
vsize: 843680
[startup+1110.05 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 7879
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 107690 74 0 0 25 0 11 0 839437013 863928320 30972 4294967295 134512640 134569956 3221224368 3221214832 1131430291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 30972 13086 16 0 210904 0
vsize: 843680
[startup+1120.05 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 7879
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 108667 74 0 0 25 0 11 0 839437013 863928320 31032 4294967295 134512640 134569956 3221224368 3221214524 1131312720 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210920 31032 13086 16 0 210904 0
vsize: 843680
[startup+1130.05 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 7879
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 109639 74 0 0 25 0 11 0 839437013 863928320 31122 4294967295 134512640 134569956 3221224368 3221214552 1131179956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 31122 13086 16 0 210904 0
vsize: 843680
[startup+1140.05 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 7879
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 110622 74 0 0 25 0 11 0 839437013 863928320 31174 4294967295 134512640 134569956 3221224368 3221214656 1131228124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 31174 13086 16 0 210904 0
vsize: 843680
[startup+1150.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 7879
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 111595 75 0 0 25 0 11 0 839437013 863928320 31237 4294967295 134512640 134569956 3221224368 3221214656 1131226306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 31237 13086 16 0 210904 0
vsize: 843680
[startup+1160.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 7879
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 112573 75 0 0 25 0 11 0 839437013 863928320 31297 4294967295 134512640 134569956 3221224368 3221213864 1085679741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 31297 13086 16 0 210904 0
vsize: 843680
[startup+1170.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 7879
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 113550 75 0 0 25 0 11 0 839437013 863928320 31337 4294967295 134512640 134569956 3221224368 3221214336 1131312781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 31337 13086 16 0 210904 0
vsize: 843680
[startup+1180.05 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 7880
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 114528 75 0 0 25 0 11 0 839437013 863928320 31393 4294967295 134512640 134569956 3221224368 3221214440 1085679302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 31393 13086 16 0 210904 0
vsize: 843680
[startup+1190.05 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 7880
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 115507 76 0 0 25 0 11 0 839437013 863928320 31428 4294967295 134512640 134569956 3221224368 3221214552 1131200245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 31428 13086 16 0 210904 0
vsize: 843680
[startup+1200.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 7880
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 116485 76 0 0 25 0 11 0 839437013 863928320 31484 4294967295 134512640 134569956 3221224368 3221214648 1131167111 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 31484 13086 16 0 210904 0
vsize: 843680
[startup+1210.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 7880
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 117462 76 0 0 25 0 11 0 839437013 863928320 31528 4294967295 134512640 134569956 3221224368 3221214624 1131159738 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 31528 13086 16 0 210904 0
vsize: 843680
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7880
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 118445 76 0 0 25 0 11 0 839437013 863928320 31566 4294967295 134512640 134569956 3221224368 3221214384 1131388664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 31566 13086 16 0 210904 0
vsize: 843680
[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7880
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 119427 77 0 0 25 0 11 0 839437013 863928320 31603 4294967295 134512640 134569956 3221224368 3221214560 1131153333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 31603 13086 16 0 210904 0
vsize: 843680
[startup+1240.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 7880
Raw data (stat): 7846 (java) R 7845 22056 22055 0 -1 0 18135 6 1 0 120414 77 0 0 25 0 11 0 839437013 863928320 31637 4294967295 134512640 134569956 3221224368 3221214240 1131312721 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210920 31637 13086 16 0 210904 0
vsize: 843680
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.14 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 7882
Raw data (stat): 7846 (java) Z 7845 22056 22055 0 -1 1036 18135 10921 1 0 120417 77 3173 25 25 0 1 0 839437013 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): 1240.14
CPU time (s): 1236.94
CPU user time (s): 1235.91
CPU system time (s): 1.03484
CPU usage (%): 99.7422
Max. virtual memory (Kb): 847888
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1448
#### END VERIFIER DATA ####