PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scsd1.opb
MD5SUM	0d161f98f04bb13a3a82ce824c7be961
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	15200
Biggest coefficient in the objective function	262144000000000
Number of bits for the biggest coefficient in the objective function	48
Sum of the numbers in the objective function	183748611699849900
Number of bits of the sum of numbers in the objective function	58
Biggest number in a constraint	262144000000000
Number of bits of the biggest number in a constraint	48
Biggest sum of numbers in a constraint	183748611699849900
Number of bits of the biggest sum of numbers	58
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.133978
Number of variables	15200
Total number of constraints	77
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	77
Minimum length of a constraint	400
Maximum length of a constraint	1000
Trace number 29869

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-05-25 12:18:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21264 boxname=wulflinc6 idbench=1252 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  0d161f98f04bb13a3a82ce824c7be961  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-scsd1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-scsd1.opb
IDLAUNCH: 21264
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        698284 kB
Buffers:         32300 kB
Cached:         278796 kB
SwapCached:        412 kB
Active:          82836 kB
Inactive:       230576 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        698032 kB
SwapTotal:     2097136 kB
SwapFree:      2096036 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5692 kB
Slab:            17232 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 12:38:53 (client local time) WITH STATUS 143 IN 1228.18 SECONDS
stats: 21264 7 1228.18 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/wulflinc6/normalized-mps-v2-13-7-scsd1.opb
c reading problem ... done. Time 71.833 ms.
c #vars     15200
c #constraints  154
c starts	: 3
c conflicts	: 329
c decisions	: 2137
c propagations	: 6313
c inspects	: 330455
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 329
c root simplifications	: 3
s UNKNOWN
c Total CPU time (ms) : 1229.143
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.99 2/54 6969
Raw data (stat): 6969 (runsolver) R 6968 25568 25567 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780597800 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99971 s]
Raw data (loadavg): 0.87 0.97 0.99 2/63 6978
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18013 0 1 0 873 38 0 0 24 0 10 0 780597800 853667840 19358 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208415 19358 13086 16 0 208399 0
vsize: 833660
[startup+19.9998 s]
Raw data (loadavg): 0.89 0.97 0.99 2/63 6978
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18013 0 1 0 1769 39 0 0 20 0 10 0 780597800 853667840 19890 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 19890 13086 16 0 208399 0
vsize: 833660
[startup+30 s]
Raw data (loadavg): 0.91 0.97 0.99 2/63 6978
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18013 0 1 0 2657 39 0 0 19 0 10 0 780597800 853667840 20407 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208415 20407 13086 16 0 208399 0
vsize: 833660
[startup+40.0001 s]
Raw data (loadavg): 0.92 0.97 0.99 2/63 6978
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18013 0 1 0 3570 40 0 0 18 0 10 0 780597800 854003712 20792 4294967295 134512640 134569956 3221224368 3221214768 1131238331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208497 20792 13086 16 0 208481 0
vsize: 833988
[startup+50.0003 s]
Raw data (loadavg): 0.93 0.97 0.99 2/63 6978
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18013 0 1 0 4490 40 0 0 20 0 10 0 780597800 854003712 20964 4294967295 134512640 134569956 3221224368 3221214768 1131236600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208497 20964 13086 16 0 208481 0
vsize: 833988
[startup+60.0003 s]
Raw data (loadavg): 0.94 0.97 0.99 2/63 6978
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18013 0 1 0 5411 41 0 0 24 0 10 0 780597800 854003712 21095 4294967295 134512640 134569956 3221224368 3221214232 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208497 21095 13086 16 0 208481 0
vsize: 833988
[startup+70.0115 s]
Raw data (loadavg): 0.95 0.97 0.99 4/63 6978
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18022 0 1 0 6312 41 0 0 25 0 10 0 780597800 855134208 21570 4294967295 134512640 134569956 3221224368 3221214004 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208773 21570 13086 16 0 208757 0
vsize: 835092
[startup+80.0336 s]
Raw data (loadavg): 1.11 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18063 0 1 0 7118 43 0 0 25 0 11 0 780597800 861462528 26037 4294967295 134512640 134569956 3221224368 3221214640 1131387391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210318 26037 13086 16 0 210302 0
vsize: 841272
[startup+90.0336 s]
Raw data (loadavg): 1.09 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18065 0 1 0 8102 43 0 0 20 0 11 0 780597800 861290496 25943 4294967295 134512640 134569956 3221224368 3221214596 1130885154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 25943 13086 16 0 210260 0
vsize: 841104
[startup+100.033 s]
Raw data (loadavg): 1.08 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18065 0 1 0 9081 43 0 0 25 0 11 0 780597800 861290496 25935 4294967295 134512640 134569956 3221224368 3221214544 1131299412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210276 25935 13086 16 0 210260 0
vsize: 841104
[startup+110.033 s]
Raw data (loadavg): 1.06 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18065 0 1 0 10055 43 0 0 25 0 11 0 780597800 861290496 25935 4294967295 134512640 134569956 3221224368 3221214528 1131299890 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 25935 13086 16 0 210260 0
vsize: 841104
[startup+120.036 s]
Raw data (loadavg): 1.05 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) S 6968 25568 25567 0 -1 0 18065 0 1 0 11018 43 0 0 25 0 11 0 780597800 861290496 25935 4294967295 134512640 134569956 3221224368 3221213232 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 25935 13086 16 0 210260 0
vsize: 841104
[startup+130.036 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18065 0 1 0 11956 43 0 0 25 0 11 0 780597800 861290496 25968 4294967295 134512640 134569956 3221224368 3221214616 1131316403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 25968 13086 16 0 210260 0
vsize: 841104
[startup+140.037 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18065 0 1 0 12869 43 0 0 25 0 11 0 780597800 861290496 26119 4294967295 134512640 134569956 3221224368 3221214640 1131316573 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 26119 13086 16 0 210260 0
vsize: 841104
[startup+150.037 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18065 0 1 0 13812 44 0 0 25 0 11 0 780597800 861290496 26518 4294967295 134512640 134569956 3221224368 3221214792 1131356484 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 26518 13086 16 0 210260 0
vsize: 841104
[startup+160.037 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18065 0 1 0 14788 44 0 0 25 0 11 0 780597800 861290496 26883 4294967295 134512640 134569956 3221224368 3221214728 1131365926 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 26883 13086 16 0 210260 0
vsize: 841104
[startup+170.037 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18065 0 1 0 15781 44 0 0 20 0 11 0 780597800 861290496 26889 4294967295 134512640 134569956 3221224368 3221214624 1131389215 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 26889 13086 16 0 210260 0
vsize: 841104
[startup+180.037 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 16775 44 0 0 25 0 11 0 780597800 861290496 26894 4294967295 134512640 134569956 3221224368 3221214624 1131389253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 26894 13086 16 0 210260 0
vsize: 841104
[startup+190.037 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 17769 44 0 0 25 0 11 0 780597800 861290496 26899 4294967295 134512640 134569956 3221224368 3221214544 1131399250 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 26899 13086 16 0 210260 0
vsize: 841104
[startup+200.038 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 18762 44 0 0 25 0 11 0 780597800 861290496 26906 4294967295 134512640 134569956 3221224368 3221214752 1131231538 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 26906 13086 16 0 210260 0
vsize: 841104
[startup+210.037 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 19752 45 0 0 25 0 11 0 780597800 861290496 26917 4294967295 134512640 134569956 3221224368 3221214544 1131401303 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 26917 13086 16 0 210260 0
vsize: 841104
[startup+220.037 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 20745 45 0 0 24 0 11 0 780597800 861290496 26970 4294967295 134512640 134569956 3221224368 3221214544 1131399649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 26970 13086 16 0 210260 0
vsize: 841104
[startup+230.038 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 21740 45 0 0 25 0 11 0 780597800 861290496 26970 4294967295 134512640 134569956 3221224368 3221214624 1131389516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 26970 13086 16 0 210260 0
vsize: 841104
[startup+240.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 22734 45 0 0 25 0 11 0 780597800 861290496 26970 4294967295 134512640 134569956 3221224368 3221214728 1131365989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 26970 13086 16 0 210260 0
vsize: 841104
[startup+250.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 23724 45 0 0 24 0 11 0 780597800 861290496 26977 4294967295 134512640 134569956 3221224368 3221214728 1131366320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 26977 13086 16 0 210260 0
vsize: 841104
[startup+260.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 24717 46 0 0 25 0 11 0 780597800 861290496 27012 4294967295 134512640 134569956 3221224368 3221214624 1131389284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27012 13086 16 0 210260 0
vsize: 841104
[startup+270.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 25712 46 0 0 25 0 11 0 780597800 861290496 27030 4294967295 134512640 134569956 3221224368 3221214544 1131299501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27030 13086 16 0 210260 0
vsize: 841104
[startup+280.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 26705 46 0 0 24 0 11 0 780597800 861290496 27030 4294967295 134512640 134569956 3221224368 3221214640 1131387335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27030 13086 16 0 210260 0
vsize: 841104
[startup+290.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 27697 46 0 0 25 0 11 0 780597800 861290496 27037 4294967295 134512640 134569956 3221224368 3221214640 1131316499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27037 13086 16 0 210260 0
vsize: 841104
[startup+300.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 28689 46 0 0 25 0 11 0 780597800 861290496 27054 4294967295 134512640 134569956 3221224368 3221214624 1131389445 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27054 13086 16 0 210260 0
vsize: 841104
[startup+310.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 29683 46 0 0 25 0 11 0 780597800 861290496 27090 4294967295 134512640 134569956 3221224368 3221214544 1131299501 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210276 27090 13086 16 0 210260 0
vsize: 841104
[startup+320.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 30676 46 0 0 24 0 11 0 780597800 861290496 27090 4294967295 134512640 134569956 3221224368 3221214544 1131401319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27090 13086 16 0 210260 0
vsize: 841104
[startup+330.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 31668 46 0 0 25 0 11 0 780597800 861290496 27097 4294967295 134512640 134569956 3221224368 3221214728 1131365970 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27097 13086 16 0 210260 0
vsize: 841104
[startup+340.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 32661 47 0 0 25 0 11 0 780597800 861290496 27097 4294967295 134512640 134569956 3221224368 3221214624 1131389164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27097 13086 16 0 210260 0
vsize: 841104
[startup+350.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 33653 47 0 0 25 0 11 0 780597800 861290496 27150 4294967295 134512640 134569956 3221224368 3221214544 1131400434 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27150 13086 16 0 210260 0
vsize: 841104
[startup+360.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 34647 47 0 0 24 0 11 0 780597800 861290496 27150 4294967295 134512640 134569956 3221224368 3221214624 1131389170 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27150 13086 16 0 210260 0
vsize: 841104
[startup+370.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 35639 47 0 0 25 0 11 0 780597800 861290496 27150 4294967295 134512640 134569956 3221224368 3221214728 1131365989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27150 13086 16 0 210260 0
vsize: 841104
[startup+380.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 36631 47 0 0 25 0 11 0 780597800 861290496 27157 4294967295 134512640 134569956 3221224368 3221214568 1131354303 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27157 13086 16 0 210260 0
vsize: 841104
[startup+390.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 37623 47 0 0 25 0 11 0 780597800 861290496 27204 4294967295 134512640 134569956 3221224368 3221214624 1131389183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27204 13086 16 0 210260 0
vsize: 841104
[startup+400.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 38618 47 0 0 25 0 11 0 780597800 861290496 27213 4294967295 134512640 134569956 3221224368 3221214624 1131389209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210276 27213 13086 16 0 210260 0
vsize: 841104
[startup+410.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 39610 47 0 0 25 0 11 0 780597800 861290496 27213 4294967295 134512640 134569956 3221224368 3221214640 1131316267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27213 13086 16 0 210260 0
vsize: 841104
[startup+420.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 40601 48 0 0 25 0 11 0 780597800 861290496 27221 4294967295 134512640 134569956 3221224368 3221214544 1131299458 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27221 13086 16 0 210260 0
vsize: 841104
[startup+430.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 41594 48 0 0 25 0 11 0 780597800 861290496 27247 4294967295 134512640 134569956 3221224368 3221214544 1131400482 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27247 13086 16 0 210260 0
vsize: 841104
[startup+440.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 42589 48 0 0 25 0 11 0 780597800 861290496 27274 4294967295 134512640 134569956 3221224368 3221214544 1131299501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27274 13086 16 0 210260 0
vsize: 841104
[startup+450.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 43582 48 0 0 25 0 11 0 780597800 861290496 27274 4294967295 134512640 134569956 3221224368 3221214792 1131357036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27274 13086 16 0 210260 0
vsize: 841104
[startup+460.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 44572 48 0 0 25 0 11 0 780597800 861290496 27281 4294967295 134512640 134569956 3221224368 3221214640 1131316436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27281 13086 16 0 210260 0
vsize: 841104
[startup+470.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 45565 48 0 0 25 0 11 0 780597800 861290496 27299 4294967295 134512640 134569956 3221224368 3221214632 1131430213 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27299 13086 16 0 210260 0
vsize: 841104
[startup+480.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 46559 48 0 0 25 0 11 0 780597800 861290496 27334 4294967295 134512640 134569956 3221224368 3221214640 1131387239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27334 13086 16 0 210260 0
vsize: 841104
[startup+490.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 47553 48 0 0 25 0 11 0 780597800 861290496 27334 4294967295 134512640 134569956 3221224368 3221214328 1076461501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27334 13086 16 0 210260 0
vsize: 841104
[startup+500.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 48544 48 0 0 25 0 11 0 780597800 861290496 27341 4294967295 134512640 134569956 3221224368 3221214544 1131299717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27341 13086 16 0 210260 0
vsize: 841104
[startup+510.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 49535 48 0 0 25 0 11 0 780597800 861290496 27359 4294967295 134512640 134569956 3221224368 3221214544 1131299501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27359 13086 16 0 210260 0
vsize: 841104
[startup+520.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 50529 48 0 0 25 0 11 0 780597800 861290496 27394 4294967295 134512640 134569956 3221224368 3221214544 1131299717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27394 13086 16 0 210260 0
vsize: 841104
[startup+530.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 51524 48 0 0 25 0 11 0 780597800 861290496 27394 4294967295 134512640 134569956 3221224368 3221214544 1131299501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27394 13086 16 0 210260 0
vsize: 841104
[startup+540.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 52514 48 0 0 25 0 11 0 780597800 861290496 27401 4294967295 134512640 134569956 3221224368 3221214544 1131401303 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27401 13086 16 0 210260 0
vsize: 841104
[startup+550.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 53506 48 0 0 25 0 11 0 780597800 861290496 27410 4294967295 134512640 134569956 3221224368 3221214544 1131399567 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27410 13086 16 0 210260 0
vsize: 841104
[startup+560.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 54500 48 0 0 25 0 11 0 780597800 861290496 27453 4294967295 134512640 134569956 3221224368 3221214544 1131399490 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27453 13086 16 0 210260 0
vsize: 841104
[startup+570.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 55495 49 0 0 25 0 11 0 780597800 861290496 27453 4294967295 134512640 134569956 3221224368 3221214776 1131369064 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27453 13086 16 0 210260 0
vsize: 841104
[startup+580.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 56485 49 0 0 25 0 11 0 780597800 861290496 27461 4294967295 134512640 134569956 3221224368 3221214640 1131316216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27461 13086 16 0 210260 0
vsize: 841104
[startup+590.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 57476 49 0 0 24 0 11 0 780597800 861290496 27469 4294967295 134512640 134569956 3221224368 3221214640 1131387335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27469 13086 16 0 210260 0
vsize: 841104
[startup+600.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 58470 49 0 0 25 0 11 0 780597800 861290496 27513 4294967295 134512640 134569956 3221224368 3221214544 1131399494 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27513 13086 16 0 210260 0
vsize: 841104
[startup+610.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 59465 49 0 0 25 0 11 0 780597800 861290496 27513 4294967295 134512640 134569956 3221224368 3221214624 1131389860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27513 13086 16 0 210260 0
vsize: 841104
[startup+620.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 60456 49 0 0 25 0 11 0 780597800 861290496 27521 4294967295 134512640 134569956 3221224368 3221214788 1131348332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27521 13086 16 0 210260 0
vsize: 841104
[startup+630.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 61448 49 0 0 25 0 11 0 780597800 861290496 27521 4294967295 134512640 134569956 3221224368 3221214624 1131389136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27521 13086 16 0 210260 0
vsize: 841104
[startup+640.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 62441 49 0 0 25 0 11 0 780597800 861290496 27573 4294967295 134512640 134569956 3221224368 3221214624 1131389895 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27573 13086 16 0 210260 0
vsize: 841104
[startup+650.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 63436 49 0 0 25 0 11 0 780597800 861290496 27573 4294967295 134512640 134569956 3221224368 3221214624 1131389170 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27573 13086 16 0 210260 0
vsize: 841104
[startup+660.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 64426 50 0 0 25 0 11 0 780597800 861290496 27580 4294967295 134512640 134569956 3221224368 3221214640 1131316279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27580 13086 16 0 210260 0
vsize: 841104
[startup+670.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 65420 50 0 0 25 0 11 0 780597800 861290496 27580 4294967295 134512640 134569956 3221224368 3221214528 1131299371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27580 13086 16 0 210260 0
vsize: 841104
[startup+680.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 66413 50 0 0 25 0 11 0 780597800 861290496 27634 4294967295 134512640 134569956 3221224368 3221214624 1131389497 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27634 13086 16 0 210260 0
vsize: 841104
[startup+690.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 67407 50 0 0 25 0 11 0 780597800 861290496 27634 4294967295 134512640 134569956 3221224368 3221214856 1131539212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27634 13086 16 0 210260 0
vsize: 841104
[startup+700.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 68401 50 0 0 25 0 11 0 780597800 861290496 27641 4294967295 134512640 134569956 3221224368 3221214624 1131389219 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210276 27641 13086 16 0 210260 0
vsize: 841104
[startup+710.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 69393 50 0 0 25 0 11 0 780597800 861290496 27641 4294967295 134512640 134569956 3221224368 3221214544 1131399243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27641 13086 16 0 210260 0
vsize: 841104
[startup+720.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 70384 50 0 0 25 0 11 0 780597800 861290496 27667 4294967295 134512640 134569956 3221224368 3221214528 1131299458 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27667 13086 16 0 210260 0
vsize: 841104
[startup+730.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 71378 50 0 0 25 0 11 0 780597800 861290496 27684 4294967295 134512640 134569956 3221224368 3221214724 1131317567 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27684 13086 16 0 210260 0
vsize: 841104
[startup+740.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 72370 50 0 0 25 0 11 0 780597800 861290496 27693 4294967295 134512640 134569956 3221224368 3221214596 1130885120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27693 13086 16 0 210260 0
vsize: 841104
[startup+750.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 73361 50 0 0 25 0 11 0 780597800 861290496 27710 4294967295 134512640 134569956 3221224368 3221214624 1131389164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27710 13086 16 0 210260 0
vsize: 841104
[startup+760.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 74352 51 0 0 25 0 11 0 780597800 861290496 27736 4294967295 134512640 134569956 3221224368 3221214620 1131365907 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27736 13086 16 0 210260 0
vsize: 841104
[startup+770.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 75343 51 0 0 25 0 11 0 780597800 861290496 27762 4294967295 134512640 134569956 3221224368 3221214792 1131356460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27762 13086 16 0 210260 0
vsize: 841104
[startup+780.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 76335 51 0 0 25 0 11 0 780597800 861290496 27770 4294967295 134512640 134569956 3221224368 3221214620 1131220960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27770 13086 16 0 210260 0
vsize: 841104
[startup+790.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 77322 51 0 0 25 0 11 0 780597800 861290496 27788 4294967295 134512640 134569956 3221224368 3221214544 1131299501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27788 13086 16 0 210260 0
vsize: 841104
[startup+800.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 78311 51 0 0 25 0 11 0 780597800 861290496 27814 4294967295 134512640 134569956 3221224368 3221214360 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27814 13086 16 0 210260 0
vsize: 841104
[startup+810.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 79300 51 0 0 25 0 11 0 780597800 861290496 27822 4294967295 134512640 134569956 3221224368 3221214636 1131300199 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27822 13086 16 0 210260 0
vsize: 841104
[startup+820.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 80289 51 0 0 25 0 11 0 780597800 861290496 27848 4294967295 134512640 134569956 3221224368 3221214624 1131389275 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27848 13086 16 0 210260 0
vsize: 841104
[startup+830.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 81280 52 0 0 25 0 11 0 780597800 861290496 27919 4294967295 134512640 134569956 3221224368 3221214544 1131399223 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27919 13086 16 0 210260 0
vsize: 841104
[startup+840.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 82271 52 0 0 25 0 11 0 780597800 861290496 27937 4294967295 134512640 134569956 3221224368 3221214528 1131299458 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27937 13086 16 0 210260 0
vsize: 841104
[startup+850.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 83264 52 0 0 25 0 11 0 780597800 861290496 27963 4294967295 134512640 134569956 3221224368 3221214624 1131389117 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27963 13086 16 0 210260 0
vsize: 841104
[startup+860.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 84257 52 0 0 25 0 11 0 780597800 861290496 27972 4294967295 134512640 134569956 3221224368 3221214624 1131389170 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27972 13086 16 0 210260 0
vsize: 841104
[startup+870.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 85246 52 0 0 25 0 11 0 780597800 861290496 27989 4294967295 134512640 134569956 3221224368 3221214544 1131299501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 27989 13086 16 0 210260 0
vsize: 841104
[startup+880.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 86233 52 0 0 25 0 11 0 780597800 861290496 28006 4294967295 134512640 134569956 3221224368 3221214624 1131389219 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28006 13086 16 0 210260 0
vsize: 841104
[startup+890.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 87224 52 0 0 25 0 11 0 780597800 861290496 28023 4294967295 134512640 134569956 3221224368 3221214752 1131231509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28023 13086 16 0 210260 0
vsize: 841104
[startup+900.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 88210 52 0 0 25 0 11 0 780597800 861290496 28041 4294967295 134512640 134569956 3221224368 3221214624 1131389250 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28041 13086 16 0 210260 0
vsize: 841104
[startup+910.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 89200 52 0 0 25 0 11 0 780597800 861290496 28075 4294967295 134512640 134569956 3221224368 3221214624 1131389692 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28075 13086 16 0 210260 0
vsize: 841104
[startup+920.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 90190 53 0 0 25 0 11 0 780597800 861290496 28135 4294967295 134512640 134569956 3221224368 3221214728 1131365924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28135 13086 16 0 210260 0
vsize: 841104
[startup+930.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 91178 53 0 0 25 0 11 0 780597800 861290496 28154 4294967295 134512640 134569956 3221224368 3221214752 1131231520 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28154 13086 16 0 210260 0
vsize: 841104
[startup+940.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 92148 53 0 0 25 0 11 0 780597800 861290496 28183 4294967295 134512640 134569956 3221224368 3221214640 1131317027 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28183 13086 16 0 210260 0
vsize: 841104
[startup+950.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 93124 53 0 0 25 0 11 0 780597800 861290496 28217 4294967295 134512640 134569956 3221224368 3221214640 1131316233 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28217 13086 16 0 210260 0
vsize: 841104
[startup+960.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 94103 53 0 0 25 0 11 0 780597800 861290496 28393 4294967295 134512640 134569956 3221224368 3221214728 1131366107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28393 13086 16 0 210260 0
vsize: 841104
[startup+970.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 95096 54 0 0 25 0 11 0 780597800 861290496 28404 4294967295 134512640 134569956 3221224368 3221214640 1131316332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28404 13086 16 0 210260 0
vsize: 841104
[startup+980.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 96089 54 0 0 25 0 11 0 780597800 861290496 28417 4294967295 134512640 134569956 3221224368 3221214640 1131316275 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28417 13086 16 0 210260 0
vsize: 841104
[startup+990.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 97081 54 0 0 25 0 11 0 780597800 861290496 28430 4294967295 134512640 134569956 3221224368 3221214752 1131231485 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28430 13086 16 0 210260 0
vsize: 841104
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 98074 54 0 0 25 0 11 0 780597800 861290496 28443 4294967295 134512640 134569956 3221224368 3221214640 1131316279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28443 13086 16 0 210260 0
vsize: 841104
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 99065 54 0 0 25 0 11 0 780597800 861290496 28458 4294967295 134512640 134569956 3221224368 3221214640 1131317067 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28458 13086 16 0 210260 0
vsize: 841104
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 100057 54 0 0 25 0 11 0 780597800 861290496 28474 4294967295 134512640 134569956 3221224368 3221214624 1131389284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28474 13086 16 0 210260 0
vsize: 841104
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 101050 54 0 0 25 0 11 0 780597800 861290496 28482 4294967295 134512640 134569956 3221224368 3221214596 1130885144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28482 13086 16 0 210260 0
vsize: 841104
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 102042 55 0 0 25 0 11 0 780597800 861290496 28488 4294967295 134512640 134569956 3221224368 3221214544 1131402051 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28488 13086 16 0 210260 0
vsize: 841104
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 103036 55 0 0 25 0 11 0 780597800 861290496 28494 4294967295 134512640 134569956 3221224368 3221214600 1131221000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28494 13086 16 0 210260 0
vsize: 841104
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 104025 55 0 0 25 0 11 0 780597800 861290496 28504 4294967295 134512640 134569956 3221224368 3221214792 1131356484 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28504 13086 16 0 210260 0
vsize: 841104
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 105012 55 0 0 25 0 11 0 780597800 861290496 28565 4294967295 134512640 134569956 3221224368 3221214728 1131366244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28565 13086 16 0 210260 0
vsize: 841104
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 106006 55 0 0 25 0 11 0 780597800 861290496 28567 4294967295 134512640 134569956 3221224368 3221214544 1131399262 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28567 13086 16 0 210260 0
vsize: 841104
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 106999 55 0 0 25 0 11 0 780597800 861290496 28578 4294967295 134512640 134569956 3221224368 3221214544 1131299340 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28578 13086 16 0 210260 0
vsize: 841104
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 107989 55 0 0 24 0 11 0 780597800 861290496 28578 4294967295 134512640 134569956 3221224368 3221214620 1131353038 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28578 13086 16 0 210260 0
vsize: 841104
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 108981 55 0 0 25 0 11 0 780597800 861290496 28578 4294967295 134512640 134569956 3221224368 3221214528 1131299501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28578 13086 16 0 210260 0
vsize: 841104
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 109969 56 0 0 25 0 11 0 780597800 861290496 28596 4294967295 134512640 134569956 3221224368 3221214728 1131366390 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28596 13086 16 0 210260 0
vsize: 841104
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 110962 56 0 0 25 0 11 0 780597800 861290496 28632 4294967295 134512640 134569956 3221224368 3221214640 1131316549 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28632 13086 16 0 210260 0
vsize: 841104
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 111953 56 0 0 24 0 11 0 780597800 861290496 28632 4294967295 134512640 134569956 3221224368 3221214544 1131299544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28632 13086 16 0 210260 0
vsize: 841104
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 112943 56 0 0 25 0 11 0 780597800 861290496 28644 4294967295 134512640 134569956 3221224368 3221214640 1131317067 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28644 13086 16 0 210260 0
vsize: 841104
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 113933 56 0 0 25 0 11 0 780597800 861290496 28644 4294967295 134512640 134569956 3221224368 3221214640 1131387379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28644 13086 16 0 210260 0
vsize: 841104
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 114914 56 0 0 25 0 11 0 780597800 861290496 28644 4294967295 134512640 134569956 3221224368 3221214624 1131389624 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28644 13086 16 0 210260 0
vsize: 841104
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 115897 57 0 0 25 0 11 0 780597800 861290496 28680 4294967295 134512640 134569956 3221224368 3221214624 1131389874 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28680 13086 16 0 210260 0
vsize: 841104
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 116880 57 0 0 25 0 11 0 780597800 861290496 28730 4294967295 134512640 134569956 3221224368 3221214640 1131316332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28730 13086 16 0 210260 0
vsize: 841104
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 117865 57 0 0 25 0 11 0 780597800 861290496 28758 4294967295 134512640 134569956 3221224368 3221214640 1131316281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28758 13086 16 0 210260 0
vsize: 841104
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 118842 57 0 0 25 0 11 0 780597800 861290496 28802 4294967295 134512640 134569956 3221224368 3221214640 1131316191 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28802 13086 16 0 210260 0
vsize: 841104
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 119819 57 0 0 25 0 11 0 780597800 861290496 28864 4294967295 134512640 134569956 3221224368 3221214752 1131231612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28864 13086 16 0 210260 0
vsize: 841104
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 6979
Raw data (stat): 6969 (java) R 6968 25568 25567 0 -1 0 18066 0 1 0 120788 57 0 0 25 0 11 0 780597800 861290496 28890 4294967295 134512640 134569956 3221224368 3221214728 1131366305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210276 28890 13086 16 0 210260 0
vsize: 841104
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.17 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 6981
Raw data (stat): 6969 (java) Z 6968 25568 25567 0 -1 1036 18066 8732 1 0 120793 57 1939 28 25 0 1 0 780597800 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.17
CPU time (s): 1228.18
CPU user time (s): 1227.32
CPU system time (s): 0.861868
CPU usage (%): 99.8383
Max. virtual memory (Kb): 841272
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####