PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-modglob.opb
MD5SUM	4a035426d91356eed5e979934e763294
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	9818
Biggest coefficient in the objective function	22009559908352000000
Number of bits for the biggest coefficient in the objective function	65
Sum of the numbers in the objective function	1485172925553747165184
Number of bits of the sum of numbers in the objective function	71
Biggest number in a constraint	22009559908352000000
Number of bits of the biggest number in a constraint	65
Biggest sum of numbers in a constraint	1485172925553747165184
Number of bits of the biggest sum of numbers	71
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.086985
Number of variables	9818
Total number of constraints	389
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	98
Number of constraints which are nor clauses,nor cardinality constraints	291
Minimum length of a constraint	1
Maximum length of a constraint	270
Trace number 29662

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-05-25 10:10:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21063 boxname=wulflinc13 idbench=1051 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  4a035426d91356eed5e979934e763294  /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-modglob.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-modglob.opb
IDLAUNCH: 21063
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        656992 kB
Buffers:         34340 kB
Cached:         322800 kB
SwapCached:        608 kB
Active:          68064 kB
Inactive:       291688 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        656740 kB
SwapTotal:     2097136 kB
SwapFree:      2096148 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6156 kB
Slab:            12292 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 10:30:45 (client local time) WITH STATUS 143 IN 1235.51 SECONDS
stats: 21063 7 1235.51 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/wulflinc13/normalized-mps-v2-20-10-modglob.opb
c reading problem ... done. Time 34.851 ms.
c #vars     9818
c #constraints  384
c starts	: 3
c conflicts	: 392
c decisions	: 11558
c propagations	: 30839
c inspects	: 3011629
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 392
c root simplifications	: 390
s UNKNOWN
c Total CPU time (ms) : 1219.08
#### 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.94 1.00 0.99 2/54 11968
Raw data (stat): 11968 (runsolver) R 11967 1269 1268 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 779837154 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.99993 s]
Raw data (loadavg): 0.95 1.00 0.99 2/63 11977
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18013 0 1 0 865 42 0 0 25 0 10 0 779837154 853594112 19338 4294967295 134512640 134569956 3221224368 3221214648 1131182733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208397 19338 13086 16 0 208381 0
vsize: 833588
[startup+20.0011 s]
Raw data (loadavg): 0.96 1.00 0.99 2/63 11977
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18013 0 1 0 1763 43 0 0 25 0 10 0 779837154 853561344 19853 4294967295 134512640 134569956 3221224368 3221214416 1076461342 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 19853 13086 16 0 208373 0
vsize: 833556
[startup+30.0017 s]
Raw data (loadavg): 0.96 1.00 0.99 2/63 11977
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18013 0 1 0 2652 43 0 0 25 0 10 0 779837154 853561344 20362 4294967295 134512640 134569956 3221224368 3221214636 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 20362 13086 16 0 208373 0
vsize: 833556
[startup+40.0008 s]
Raw data (loadavg): 1.20 1.05 1.01 3/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18083 0 1 0 3515 44 0 0 25 0 11 0 779837154 862666752 23061 4294967295 134512640 134569956 3221224368 3221214632 1131352995 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210612 23061 13086 16 0 210596 0
vsize: 842448
[startup+50.002 s]
Raw data (loadavg): 1.24 1.06 1.02 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18094 0 1 0 4389 44 0 0 25 0 11 0 779837154 862187520 23374 4294967295 134512640 134569956 3221224368 3221214568 1131352934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210495 23374 13086 16 0 210479 0
vsize: 841980
[startup+60.0022 s]
Raw data (loadavg): 1.21 1.06 1.01 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 5303 45 0 0 25 0 11 0 779837154 861691904 24197 4294967295 134512640 134569956 3221224368 3221214568 1131353122 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24197 13086 16 0 210358 0
vsize: 841496
[startup+70.0029 s]
Raw data (loadavg): 1.17 1.06 1.01 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 6279 45 0 0 25 0 11 0 779837154 861691904 24201 4294967295 134512640 134569956 3221224368 3221214568 1131352995 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24201 13086 16 0 210358 0
vsize: 841496
[startup+80.004 s]
Raw data (loadavg): 1.15 1.06 1.01 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 7263 45 0 0 24 0 11 0 779837154 861691904 24201 4294967295 134512640 134569956 3221224368 3221214672 1131470236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24201 13086 16 0 210358 0
vsize: 841496
[startup+90.0036 s]
Raw data (loadavg): 1.12 1.05 1.01 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 8250 45 0 0 25 0 11 0 779837154 861691904 24279 4294967295 134512640 134569956 3221224368 3221214520 1131223005 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24279 13086 16 0 210358 0
vsize: 841496
[startup+100.004 s]
Raw data (loadavg): 1.10 1.05 1.01 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 9239 45 0 0 25 0 11 0 779837154 861691904 24318 4294967295 134512640 134569956 3221224368 3221214672 1131467309 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24318 13086 16 0 210358 0
vsize: 841496
[startup+110.004 s]
Raw data (loadavg): 1.09 1.05 1.01 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 10225 45 0 0 25 0 11 0 779837154 861691904 24362 4294967295 134512640 134569956 3221224368 3221214672 1131470092 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210374 24362 13086 16 0 210358 0
vsize: 841496
[startup+120.005 s]
Raw data (loadavg): 1.07 1.05 1.01 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 11217 46 0 0 25 0 11 0 779837154 861691904 24384 4294967295 134512640 134569956 3221224368 3221214672 1131466552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24384 13086 16 0 210358 0
vsize: 841496
[startup+130.005 s]
Raw data (loadavg): 1.06 1.05 1.01 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 12209 46 0 0 25 0 11 0 779837154 861691904 24405 4294967295 134512640 134569956 3221224368 3221214552 1131352891 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24405 13086 16 0 210358 0
vsize: 841496
[startup+140.005 s]
Raw data (loadavg): 1.05 1.04 1.01 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 13199 46 0 0 25 0 11 0 779837154 861691904 24422 4294967295 134512640 134569956 3221224368 3221214552 1131353221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24422 13086 16 0 210358 0
vsize: 841496
[startup+150.006 s]
Raw data (loadavg): 1.04 1.04 1.01 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 14189 46 0 0 25 0 11 0 779837154 861691904 24438 4294967295 134512640 134569956 3221224368 3221214552 1131352492 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24438 13086 16 0 210358 0
vsize: 841496
[startup+160.006 s]
Raw data (loadavg): 1.04 1.04 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 15181 46 0 0 25 0 11 0 779837154 861691904 24477 4294967295 134512640 134569956 3221224368 3221214440 1131270104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24477 13086 16 0 210358 0
vsize: 841496
[startup+170.007 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 16173 47 0 0 25 0 11 0 779837154 861691904 24494 4294967295 134512640 134569956 3221224368 3221214552 1131352646 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24494 13086 16 0 210358 0
vsize: 841496
[startup+180.007 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 17166 47 0 0 25 0 11 0 779837154 861691904 24509 4294967295 134512640 134569956 3221224368 3221214504 1131222957 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24509 13086 16 0 210358 0
vsize: 841496
[startup+190.007 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 18159 47 0 0 25 0 11 0 779837154 861691904 24524 4294967295 134512640 134569956 3221224368 3221214552 1131352881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24524 13086 16 0 210358 0
vsize: 841496
[startup+200.007 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 19152 47 0 0 25 0 11 0 779837154 861691904 24534 4294967295 134512640 134569956 3221224368 3221214552 1131353299 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24534 13086 16 0 210358 0
vsize: 841496
[startup+210.008 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 20146 47 0 0 25 0 11 0 779837154 861691904 24545 4294967295 134512640 134569956 3221224368 3221214656 1131470987 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24545 13086 16 0 210358 0
vsize: 841496
[startup+220.009 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 21139 47 0 0 25 0 11 0 779837154 861691904 24555 4294967295 134512640 134569956 3221224368 3221214656 1131465359 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24555 13086 16 0 210358 0
vsize: 841496
[startup+230.009 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 22133 47 0 0 25 0 11 0 779837154 861691904 24566 4294967295 134512640 134569956 3221224368 3221214552 1131352881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24566 13086 16 0 210358 0
vsize: 841496
[startup+240.008 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 23126 47 0 0 25 0 11 0 779837154 861691904 24574 4294967295 134512640 134569956 3221224368 3221214552 1131352481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24574 13086 16 0 210358 0
vsize: 841496
[startup+250.008 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 24120 48 0 0 25 0 11 0 779837154 861691904 24583 4294967295 134512640 134569956 3221224368 3221214552 1131352526 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24583 13086 16 0 210358 0
vsize: 841496
[startup+260.008 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 25113 48 0 0 25 0 11 0 779837154 861691904 24591 4294967295 134512640 134569956 3221224368 3221214552 1131352995 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24591 13086 16 0 210358 0
vsize: 841496
[startup+270.008 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 26107 48 0 0 25 0 11 0 779837154 861691904 24599 4294967295 134512640 134569956 3221224368 3221214656 1131466521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24599 13086 16 0 210358 0
vsize: 841496
[startup+280.009 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 27101 48 0 0 25 0 11 0 779837154 861691904 24608 4294967295 134512640 134569956 3221224368 3221214552 1131353194 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210374 24608 13086 16 0 210358 0
vsize: 841496
[startup+290.009 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 28095 48 0 0 25 0 11 0 779837154 861691904 24616 4294967295 134512640 134569956 3221224368 3221214744 1131535636 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210374 24616 13086 16 0 210358 0
vsize: 841496
[startup+300.009 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 29088 48 0 0 25 0 11 0 779837154 861691904 24624 4294967295 134512640 134569956 3221224368 3221214552 1131352514 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24624 13086 16 0 210358 0
vsize: 841496
[startup+310.009 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 30082 48 0 0 25 0 11 0 779837154 861691904 24633 4294967295 134512640 134569956 3221224368 3221214552 1131352941 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24633 13086 16 0 210358 0
vsize: 841496
[startup+320.01 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 31076 48 0 0 25 0 11 0 779837154 861691904 24639 4294967295 134512640 134569956 3221224368 3221214656 1131465306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24639 13086 16 0 210358 0
vsize: 841496
[startup+330.011 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 32069 49 0 0 25 0 11 0 779837154 861691904 24647 4294967295 134512640 134569956 3221224368 3221214280 1078033055 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24647 13086 16 0 210358 0
vsize: 841496
[startup+340.01 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 33062 49 0 0 25 0 11 0 779837154 861691904 24654 4294967295 134512640 134569956 3221224368 3221214656 1131470140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24654 13086 16 0 210358 0
vsize: 841496
[startup+350.011 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 34055 49 0 0 25 0 11 0 779837154 861691904 24663 4294967295 134512640 134569956 3221224368 3221214656 1131467489 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24663 13086 16 0 210358 0
vsize: 841496
[startup+360.011 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 35045 49 0 0 25 0 11 0 779837154 861691904 24672 4294967295 134512640 134569956 3221224368 3221214656 1131470044 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24672 13086 16 0 210358 0
vsize: 841496
[startup+370.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 36036 49 0 0 25 0 11 0 779837154 861691904 24679 4294967295 134512640 134569956 3221224368 3221214656 1131466552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24679 13086 16 0 210358 0
vsize: 841496
[startup+380.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 37027 50 0 0 25 0 11 0 779837154 861691904 24716 4294967295 134512640 134569956 3221224368 3221214536 1131494223 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210374 24716 13086 16 0 210358 0
vsize: 841496
[startup+390.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 38018 50 0 0 25 0 11 0 779837154 861691904 24734 4294967295 134512640 134569956 3221224368 3221214552 1131352995 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24734 13086 16 0 210358 0
vsize: 841496
[startup+400.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 39008 50 0 0 25 0 11 0 779837154 861691904 24751 4294967295 134512640 134569956 3221224368 3221214552 1131352477 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24751 13086 16 0 210358 0
vsize: 841496
[startup+410.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 40000 50 0 0 25 0 11 0 779837154 861691904 24763 4294967295 134512640 134569956 3221224368 3221214552 1131353108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24763 13086 16 0 210358 0
vsize: 841496
[startup+420.013 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 40993 50 0 0 25 0 11 0 779837154 861691904 24774 4294967295 134512640 134569956 3221224368 3221214504 1131223356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24774 13086 16 0 210358 0
vsize: 841496
[startup+430.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 41986 50 0 0 25 0 11 0 779837154 861691904 24784 4294967295 134512640 134569956 3221224368 3221214656 1131465313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24784 13086 16 0 210358 0
vsize: 841496
[startup+440.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 42979 51 0 0 25 0 11 0 779837154 861691904 24791 4294967295 134512640 134569956 3221224368 3221214656 1131465313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24791 13086 16 0 210358 0
vsize: 841496
[startup+450.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 43972 51 0 0 25 0 11 0 779837154 861691904 24797 4294967295 134512640 134569956 3221224368 3221214552 1131353103 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24797 13086 16 0 210358 0
vsize: 841496
[startup+460.015 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 44965 51 0 0 25 0 11 0 779837154 861691904 24805 4294967295 134512640 134569956 3221224368 3221214652 1131352460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24805 13086 16 0 210358 0
vsize: 841496
[startup+470.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 45959 51 0 0 25 0 11 0 779837154 861691904 24812 4294967295 134512640 134569956 3221224368 3221214552 1131353595 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24812 13086 16 0 210358 0
vsize: 841496
[startup+480.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 46951 51 0 0 25 0 11 0 779837154 861691904 24820 4294967295 134512640 134569956 3221224368 3221214552 1131352473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24820 13086 16 0 210358 0
vsize: 841496
[startup+490.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 47945 51 0 0 25 0 11 0 779837154 861691904 24824 4294967295 134512640 134569956 3221224368 3221214552 1131352485 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24824 13086 16 0 210358 0
vsize: 841496
[startup+500.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 48938 51 0 0 25 0 11 0 779837154 861691904 24831 4294967295 134512640 134569956 3221224368 3221214552 1131353501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24831 13086 16 0 210358 0
vsize: 841496
[startup+510.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 49931 51 0 0 25 0 11 0 779837154 861691904 24837 4294967295 134512640 134569956 3221224368 3221214504 1131223015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24837 13086 16 0 210358 0
vsize: 841496
[startup+520.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 50924 51 0 0 25 0 11 0 779837154 861691904 24841 4294967295 134512640 134569956 3221224368 3221214656 1131470215 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24841 13086 16 0 210358 0
vsize: 841496
[startup+530.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 51918 51 0 0 25 0 11 0 779837154 861691904 24849 4294967295 134512640 134569956 3221224368 3221214552 1131352941 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24849 13086 16 0 210358 0
vsize: 841496
[startup+540.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 52911 52 0 0 25 0 11 0 779837154 861691904 24855 4294967295 134512640 134569956 3221224368 3221214552 1131353136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24855 13086 16 0 210358 0
vsize: 841496
[startup+550.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 53904 52 0 0 25 0 11 0 779837154 861691904 24860 4294967295 134512640 134569956 3221224368 3221214656 1131466307 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24860 13086 16 0 210358 0
vsize: 841496
[startup+560.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 54897 52 0 0 25 0 11 0 779837154 861691904 24866 4294967295 134512640 134569956 3221224368 3221214656 1131468977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24866 13086 16 0 210358 0
vsize: 841496
[startup+570.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 55891 52 0 0 25 0 11 0 779837154 861691904 24870 4294967295 134512640 134569956 3221224368 3221214552 1131352941 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24870 13086 16 0 210358 0
vsize: 841496
[startup+580.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 56884 52 0 0 25 0 11 0 779837154 861691904 24876 4294967295 134512640 134569956 3221224368 3221214552 1131353479 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24876 13086 16 0 210358 0
vsize: 841496
[startup+590.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 57877 52 0 0 25 0 11 0 779837154 861691904 24881 4294967295 134512640 134569956 3221224368 3221214552 1131353546 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24881 13086 16 0 210358 0
vsize: 841496
[startup+600.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 58870 52 0 0 25 0 11 0 779837154 861691904 24885 4294967295 134512640 134569956 3221224368 3221214552 1131352692 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24885 13086 16 0 210358 0
vsize: 841496
[startup+610.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 59862 52 0 0 25 0 11 0 779837154 861691904 24894 4294967295 134512640 134569956 3221224368 3221214552 1131352941 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24894 13086 16 0 210358 0
vsize: 841496
[startup+620.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 60855 52 0 0 25 0 11 0 779837154 861691904 24900 4294967295 134512640 134569956 3221224368 3221214552 1131353085 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24900 13086 16 0 210358 0
vsize: 841496
[startup+630.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 61848 52 0 0 25 0 11 0 779837154 861691904 24904 4294967295 134512640 134569956 3221224368 3221214640 1131269286 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24904 13086 16 0 210358 0
vsize: 841496
[startup+640.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 62841 53 0 0 25 0 11 0 779837154 861691904 24909 4294967295 134512640 134569956 3221224368 3221214656 1131466385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24909 13086 16 0 210358 0
vsize: 841496
[startup+650.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 63834 53 0 0 25 0 11 0 779837154 861691904 24915 4294967295 134512640 134569956 3221224368 3221214552 1131352477 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24915 13086 16 0 210358 0
vsize: 841496
[startup+660.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 64827 53 0 0 25 0 11 0 779837154 861691904 24919 4294967295 134512640 134569956 3221224368 3221214552 1131352891 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24919 13086 16 0 210358 0
vsize: 841496
[startup+670.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 65820 53 0 0 25 0 11 0 779837154 861691904 24923 4294967295 134512640 134569956 3221224368 3221214656 1131465359 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210374 24923 13086 16 0 210358 0
vsize: 841496
[startup+680.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 66814 54 0 0 25 0 11 0 779837154 861691904 24930 4294967295 134512640 134569956 3221224368 3221214552 1131353914 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24930 13086 16 0 210358 0
vsize: 841496
[startup+690.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 67806 54 0 0 25 0 11 0 779837154 861691904 24934 4294967295 134512640 134569956 3221224368 3221214552 1131352943 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24934 13086 16 0 210358 0
vsize: 841496
[startup+700.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 68800 54 0 0 25 0 11 0 779837154 861691904 24938 4294967295 134512640 134569956 3221224368 3221214656 1131465359 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24938 13086 16 0 210358 0
vsize: 841496
[startup+710.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 69793 54 0 0 25 0 11 0 779837154 861691904 24942 4294967295 134512640 134569956 3221224368 3221214552 1131353108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24942 13086 16 0 210358 0
vsize: 841496
[startup+720.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 70785 54 0 0 25 0 11 0 779837154 861691904 24948 4294967295 134512640 134569956 3221224368 3221214656 1131470215 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24948 13086 16 0 210358 0
vsize: 841496
[startup+730.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 71778 54 0 0 25 0 11 0 779837154 861691904 24952 4294967295 134512640 134569956 3221224368 3221214504 1131222970 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24952 13086 16 0 210358 0
vsize: 841496
[startup+740.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 72771 54 0 0 25 0 11 0 779837154 861691904 24957 4294967295 134512640 134569956 3221224368 3221214552 1131352477 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24957 13086 16 0 210358 0
vsize: 841496
[startup+750.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 73764 55 0 0 25 0 11 0 779837154 861691904 24963 4294967295 134512640 134569956 3221224368 3221214656 1131466525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24963 13086 16 0 210358 0
vsize: 841496
[startup+760.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 74756 55 0 0 25 0 11 0 779837154 861691904 24968 4294967295 134512640 134569956 3221224368 3221214552 1131352931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24968 13086 16 0 210358 0
vsize: 841496
[startup+770.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 75748 55 0 0 25 0 11 0 779837154 861691904 24972 4294967295 134512640 134569956 3221224368 3221214552 1131352995 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24972 13086 16 0 210358 0
vsize: 841496
[startup+780.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 76741 55 0 0 25 0 11 0 779837154 861691904 24978 4294967295 134512640 134569956 3221224368 3221214552 1131352862 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24978 13086 16 0 210358 0
vsize: 841496
[startup+790.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 77734 55 0 0 25 0 11 0 779837154 861691904 24983 4294967295 134512640 134569956 3221224368 3221214552 1131352934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24983 13086 16 0 210358 0
vsize: 841496
[startup+800.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 78726 55 0 0 25 0 11 0 779837154 861691904 24989 4294967295 134512640 134569956 3221224368 3221214656 1131465359 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24989 13086 16 0 210358 0
vsize: 841496
[startup+810.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 79719 56 0 0 25 0 11 0 779837154 861691904 24994 4294967295 134512640 134569956 3221224368 3221214652 1131352460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24994 13086 16 0 210358 0
vsize: 841496
[startup+820.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 80711 56 0 0 25 0 11 0 779837154 861691904 24996 4294967295 134512640 134569956 3221224368 3221214552 1131353479 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 24996 13086 16 0 210358 0
vsize: 841496
[startup+830.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 81704 56 0 0 25 0 11 0 779837154 861691904 25002 4294967295 134512640 134569956 3221224368 3221214656 1131465123 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 25002 13086 16 0 210358 0
vsize: 841496
[startup+840.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 82696 56 0 0 25 0 11 0 779837154 861691904 25006 4294967295 134512640 134569956 3221224368 3221214552 1131353498 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210374 25006 13086 16 0 210358 0
vsize: 841496
[startup+850.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 83688 56 0 0 25 0 11 0 779837154 861691904 25011 4294967295 134512640 134569956 3221224368 3221214552 1131353567 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210374 25011 13086 16 0 210358 0
vsize: 841496
[startup+860.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 84681 56 0 0 25 0 11 0 779837154 861691904 25015 4294967295 134512640 134569956 3221224368 3221214552 1131352995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210374 25015 13086 16 0 210358 0
vsize: 841496
[startup+870.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 85673 56 0 0 25 0 11 0 779837154 861691904 25022 4294967295 134512640 134569956 3221224368 3221214552 1131353571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210374 25022 13086 16 0 210358 0
vsize: 841496
[startup+880.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 86665 57 0 0 25 0 11 0 779837154 861691904 25026 4294967295 134512640 134569956 3221224368 3221214656 1131466216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210374 25026 13086 16 0 210358 0
vsize: 841496
[startup+890.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 87657 57 0 0 25 0 11 0 779837154 861691904 25031 4294967295 134512640 134569956 3221224368 3221214552 1131353085 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210374 25031 13086 16 0 210358 0
vsize: 841496
[startup+900.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 88648 57 0 0 25 0 11 0 779837154 861691904 25035 4294967295 134512640 134569956 3221224368 3221214320 1131654532 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210374 25035 13086 16 0 210358 0
vsize: 841496
[startup+910.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 89640 58 0 0 25 0 11 0 779837154 861691904 25039 4294967295 134512640 134569956 3221224368 3221214552 1131352514 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210374 25039 13086 16 0 210358 0
vsize: 841496
[startup+920.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 90633 58 0 0 25 0 11 0 779837154 861691904 25047 4294967295 134512640 134569956 3221224368 3221214656 1131465337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210374 25047 13086 16 0 210358 0
vsize: 841496
[startup+930.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 91625 58 0 0 25 0 11 0 779837154 861691904 25051 4294967295 134512640 134569956 3221224368 3221214552 1131353118 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210374 25051 13086 16 0 210358 0
vsize: 841496
[startup+940.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 92617 58 0 0 25 0 11 0 779837154 861691904 25055 4294967295 134512640 134569956 3221224368 3221214652 1131353935 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210374 25055 13086 16 0 210358 0
vsize: 841496
[startup+950.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 93609 59 0 0 25 0 11 0 779837154 861691904 25057 4294967295 134512640 134569956 3221224368 3221214552 1131352514 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210374 25057 13086 16 0 210358 0
vsize: 841496
[startup+960.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 94600 59 0 0 25 0 11 0 779837154 861691904 25062 4294967295 134512640 134569956 3221224368 3221214552 1131353055 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210374 25062 13086 16 0 210358 0
vsize: 841496
[startup+970.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 95591 59 0 0 25 0 11 0 779837154 861691904 25066 4294967295 134512640 134569956 3221224368 3221214552 1131352878 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210374 25066 13086 16 0 210358 0
vsize: 841496
[startup+980.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 96583 60 0 0 25 0 11 0 779837154 861691904 25073 4294967295 134512640 134569956 3221224368 3221214656 1131470154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210374 25073 13086 16 0 210358 0
vsize: 841496
[startup+990.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 97575 60 0 0 25 0 11 0 779837154 861691904 25077 4294967295 134512640 134569956 3221224368 3221214656 1131465313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210374 25077 13086 16 0 210358 0
vsize: 841496
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 98566 61 0 0 25 0 11 0 779837154 861691904 25079 4294967295 134512640 134569956 3221224368 3221214552 1131352560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210374 25079 13086 16 0 210358 0
vsize: 841496
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 99559 61 0 0 25 0 11 0 779837154 861691904 25085 4294967295 134512640 134569956 3221224368 3221214552 1131353055 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210374 25085 13086 16 0 210358 0
vsize: 841496
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 100550 61 0 0 25 0 11 0 779837154 861691904 25087 4294967295 134512640 134569956 3221224368 3221214532 1131456201 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210374 25087 13086 16 0 210358 0
vsize: 841496
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 101542 62 0 0 25 0 11 0 779837154 861691904 25092 4294967295 134512640 134569956 3221224368 3221214504 1131223946 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210374 25092 13086 16 0 210358 0
vsize: 841496
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 102534 62 0 0 25 0 11 0 779837154 861691904 25096 4294967295 134512640 134569956 3221224368 3221214552 1131352560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210374 25096 13086 16 0 210358 0
vsize: 841496
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 103526 63 0 0 25 0 11 0 779837154 861691904 25100 4294967295 134512640 134569956 3221224368 3221214552 1131352995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210374 25100 13086 16 0 210358 0
vsize: 841496
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 104518 63 0 0 25 0 11 0 779837154 861691904 25104 4294967295 134512640 134569956 3221224368 3221214656 1131465359 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210374 25104 13086 16 0 210358 0
vsize: 841496
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 105510 63 0 0 25 0 11 0 779837154 861691904 25106 4294967295 134512640 134569956 3221224368 3221214552 1131353034 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210374 25106 13086 16 0 210358 0
vsize: 841496
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 106501 63 0 0 25 0 11 0 779837154 861691904 25111 4294967295 134512640 134569956 3221224368 3221214656 1131470044 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210374 25111 13086 16 0 210358 0
vsize: 841496
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 107493 64 0 0 25 0 11 0 779837154 861691904 25115 4294967295 134512640 134569956 3221224368 3221214552 1131353553 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210374 25115 13086 16 0 210358 0
vsize: 841496
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 108484 64 0 0 25 0 11 0 779837154 861691904 25119 4294967295 134512640 134569956 3221224368 3221214816 1131226329 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210374 25119 13086 16 0 210358 0
vsize: 841496
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 109476 64 0 0 25 0 11 0 779837154 861691904 25124 4294967295 134512640 134569956 3221224368 3221214552 1131352995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210374 25124 13086 16 0 210358 0
vsize: 841496
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 110468 65 0 0 25 0 11 0 779837154 861691904 25129 4294967295 134512640 134569956 3221224368 3221214552 1131352995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210374 25129 13086 16 0 210358 0
vsize: 841496
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 111459 65 0 0 25 0 11 0 779837154 861691904 25131 4294967295 134512640 134569956 3221224368 3221214552 1131352934 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210374 25131 13086 16 0 210358 0
vsize: 841496
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 112451 65 0 0 25 0 11 0 779837154 861691904 25135 4294967295 134512640 134569956 3221224368 3221214552 1131352485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210374 25135 13086 16 0 210358 0
vsize: 841496
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 113442 66 0 0 25 0 11 0 779837154 861691904 25139 4294967295 134512640 134569956 3221224368 3221214656 1131466580 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210374 25139 13086 16 0 210358 0
vsize: 841496
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 114434 66 0 0 25 0 11 0 779837154 861691904 25141 4294967295 134512640 134569956 3221224368 3221214552 1131352995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210374 25141 13086 16 0 210358 0
vsize: 841496
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 115425 67 0 0 25 0 11 0 779837154 861691904 25146 4294967295 134512640 134569956 3221224368 3221214656 1131465123 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210374 25146 13086 16 0 210358 0
vsize: 841496
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 116416 67 0 0 25 0 11 0 779837154 861691904 25152 4294967295 134512640 134569956 3221224368 3221214552 1131352995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210374 25152 13086 16 0 210358 0
vsize: 841496
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 117407 67 0 0 25 0 11 0 779837154 861691904 25154 4294967295 134512640 134569956 3221224368 3221214656 1131465359 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210374 25154 13086 16 0 210358 0
vsize: 841496
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 118398 67 0 0 25 0 11 0 779837154 861691904 25159 4294967295 134512640 134569956 3221224368 3221214552 1131353150 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210374 25159 13086 16 0 210358 0
vsize: 841496
[startup+1210.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 119387 68 0 0 25 0 11 0 779837154 861691904 25167 4294967295 134512640 134569956 3221224368 3221214656 1131465359 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210374 25167 13086 16 0 210358 0
vsize: 841496
[startup+1220.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 11978
Raw data (stat): 11968 (java) R 11967 1269 1268 0 -1 0 18098 0 1 0 120374 68 0 0 25 0 11 0 779837154 861691904 25171 4294967295 134512640 134569956 3221224368 3221214552 1131352477 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210374 25171 13086 16 0 210358 0
vsize: 841496
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.15 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 11980
Raw data (stat): 11968 (java) Z 11967 1269 1268 0 -1 1036 18098 14178 1 0 120379 73 3051 46 25 0 1 0 779837154 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): 1220.15
CPU time (s): 1235.51
CPU user time (s): 1234.31
CPU system time (s): 1.19882
CPU usage (%): 101.259
Max. virtual memory (Kb): 842448
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####