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/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.6.accl.ucl.opb
MD5SUM	f306f9e77db4c563a096b79aebdedeaa
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	71
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	261
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	23621
Total number of constraints	67526
Number of constraints which are clauses	65126
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	2400
Minimum length of a constraint	1
Maximum length of a constraint	13
Trace number 4465

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-04-13 17:30:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2691 boxname=wulflinc26 idbench=299 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  f306f9e77db4c563a096b79aebdedeaa  /oldhome/oroussel/tmp/wulflinc26/normalized-ooo.burch_dill.6.accl.ucl.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc26/normalized-ooo.burch_dill.6.accl.ucl.opb
IDLAUNCH: 2691
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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:        862352 kB
Buffers:         32768 kB
Cached:          98920 kB
SwapCached:       2476 kB
Active:          46888 kB
Inactive:        90116 kB
HighTotal:      131008 kB
HighFree:        29008 kB
LowTotal:       903652 kB
LowFree:        833344 kB
SwapTotal:     2097892 kB
SwapFree:      2095416 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6944 kB
Slab:            29720 kB
Committed_AS:    63612 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 17:51:34 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2691 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc26/normalized-ooo.burch_dill.6.accl.ucl.opb
c reading problem 
c [nbvar=23621]
c [nbconstr=67526]
c time 242.369
c #vars     23621
c #clauses  67526
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.90 0.97 0.99 2/54 23617
Raw data (stat): 23617 (runsolver) R 23616 22612 22611 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477770171 1052672 99 4294967295 134512640 135381576 3221224416 3221219664 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10 s]
Raw data (loadavg): 0.91 0.97 0.99 2/63 23626
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18011 0 1 0 817 40 0 0 25 0 10 0 477770171 855957504 20586 4294967295 134512640 134569956 3221224400 3221205976 1073953089 0 2147483391 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208974 20586 13073 16 0 208958 0
vsize: 835896
[startup+19.9998 s]
Raw data (loadavg): 0.92 0.97 0.99 2/63 23626
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18011 0 1 0 1683 40 0 0 25 0 10 0 477770171 855957504 21426 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208974 21426 13073 16 0 208958 0
vsize: 835896
[startup+30.0003 s]
Raw data (loadavg): 0.94 0.97 0.99 2/63 23626
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18011 0 1 0 2538 41 0 0 25 0 10 0 477770171 855957504 22016 4294967295 134512640 134569956 3221224400 3221214628 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208974 22016 13073 16 0 208958 0
vsize: 835896
[startup+39.9999 s]
Raw data (loadavg): 0.94 0.97 0.99 2/63 23626
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18011 0 1 0 3396 41 0 0 25 0 10 0 477770171 855957504 22478 4294967295 134512640 134569956 3221224400 3221214808 1131317828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208974 22478 13073 16 0 208958 0
vsize: 835896
[startup+50.0026 s]
Raw data (loadavg): 0.95 0.97 0.99 2/63 23626
Raw data (stat): 23617 (java) S 23616 22612 22611 0 -1 0 18011 0 1 0 4260 41 0 0 25 0 10 0 477770171 855957504 22856 4294967295 134512640 134569956 3221224400 3221213764 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208974 22856 13073 16 0 208958 0
vsize: 835896
[startup+60.0023 s]
Raw data (loadavg): 0.96 0.97 0.99 2/63 23626
Raw data (stat): 23617 (java) S 23616 22612 22611 0 -1 0 18011 0 1 0 5112 42 0 0 25 0 10 0 477770171 855957504 23193 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208974 23193 13073 16 0 208958 0
vsize: 835896
[startup+70.002 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 23626
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18011 0 1 0 5968 42 0 0 25 0 10 0 477770171 855957504 23519 4294967295 134512640 134569956 3221224400 3221214736 1131304451 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208974 23519 13073 16 0 208958 0
vsize: 835896
[startup+80.0028 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 23626
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18011 0 1 0 6829 42 0 0 25 0 10 0 477770171 855957504 23936 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208974 23936 13073 16 0 208958 0
vsize: 835896
[startup+90.0025 s]
Raw data (loadavg): 0.97 0.97 0.99 2/63 23626
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18011 0 1 0 7697 42 0 0 25 0 10 0 477770171 855957504 24187 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208974 24187 13073 16 0 208958 0
vsize: 835896
[startup+100.107 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 23626
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18011 0 1 0 8578 42 0 0 25 0 10 0 477770171 855957504 24520 4294967295 134512640 134569956 3221224400 3221214184 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208974 24520 13073 16 0 208958 0
vsize: 835896
[startup+110.107 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 23626
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18011 0 1 0 9455 42 0 0 21 0 10 0 477770171 855957504 24777 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208974 24777 13073 16 0 208958 0
vsize: 835896
[startup+120.11 s]
Raw data (loadavg): 0.98 0.97 0.99 2/63 23626
Raw data (stat): 23617 (java) S 23616 22612 22611 0 -1 0 18011 0 1 0 10330 42 0 0 21 0 10 0 477770171 855957504 25027 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208974 25027 13073 16 0 208958 0
vsize: 835896
[startup+130.114 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 23626
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18011 0 1 0 11208 43 0 0 16 0 10 0 477770171 855957504 25272 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208974 25272 13073 16 0 208958 0
vsize: 835896
[startup+140.114 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 23626
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18011 0 1 0 12095 43 0 0 17 0 10 0 477770171 855957504 25494 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208974 25494 13073 16 0 208958 0
vsize: 835896
[startup+150.114 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 23626
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18011 0 1 0 12972 43 0 0 17 0 10 0 477770171 855957504 25703 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208974 25703 13073 16 0 208958 0
vsize: 835896
[startup+160.114 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 23626
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18011 0 1 0 13850 43 0 0 17 0 10 0 477770171 855957504 25905 4294967295 134512640 134569956 3221224400 3221214716 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208974 25905 13073 16 0 208958 0
vsize: 835896
[startup+170.114 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 23626
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18011 0 1 0 14732 43 0 0 18 0 10 0 477770171 855957504 26199 4294967295 134512640 134569956 3221224400 3221214628 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208974 26199 13073 16 0 208958 0
vsize: 835896
[startup+180.115 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 23626
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18011 0 1 0 15625 43 0 0 21 0 10 0 477770171 855957504 26389 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208974 26389 13073 16 0 208958 0
vsize: 835896
[startup+190.117 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 23626
Raw data (stat): 23617 (java) S 23616 22612 22611 0 -1 0 18011 0 1 0 16512 43 0 0 22 0 10 0 477770171 855957504 26579 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208974 26579 13073 16 0 208958 0
vsize: 835896
[startup+200.117 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 23626
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18011 0 1 0 17407 43 0 0 17 0 10 0 477770171 855957504 26769 4294967295 134512640 134569956 3221224400 3221214584 1131155880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208974 26769 13073 16 0 208958 0
vsize: 835896
[startup+210.117 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 23626
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18011 0 1 0 18304 44 0 0 20 0 10 0 477770171 855957504 26942 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208974 26942 13073 16 0 208958 0
vsize: 835896
[startup+220.117 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 23626
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18011 0 1 0 19201 44 0 0 23 0 10 0 477770171 855957504 27112 4294967295 134512640 134569956 3221224400 3221214584 1131155709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208974 27112 13073 16 0 208958 0
vsize: 835896
[startup+230.117 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 23626
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18011 0 1 0 20094 44 0 0 17 0 10 0 477770171 855957504 27288 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208974 27288 13073 16 0 208958 0
vsize: 835896
[startup+240.117 s]
Raw data (loadavg): 0.99 0.97 0.99 2/63 23626
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18011 0 1 0 20999 44 0 0 18 0 10 0 477770171 855957504 27437 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208974 27437 13073 16 0 208958 0
vsize: 835896
[startup+250.116 s]
Raw data (loadavg): 0.99 0.97 0.99 3/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18083 0 1 0 21878 44 0 0 25 0 11 0 477770171 865284096 30517 4294967295 134512640 134569956 3221224400 3221214856 1131385663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211251 30517 13073 16 0 211235 0
vsize: 845004
[startup+260.116 s]
Raw data (loadavg): 1.07 0.99 0.99 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18084 0 1 0 22869 44 0 0 25 0 11 0 477770171 862793728 30104 4294967295 134512640 134569956 3221224400 3221214856 1131385652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210643 30104 13073 16 0 210627 0
vsize: 842572
[startup+270.116 s]
Raw data (loadavg): 1.06 0.99 0.99 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18084 0 1 0 23868 44 0 0 25 0 11 0 477770171 862793728 30104 4294967295 134512640 134569956 3221224400 3221214864 1131385652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210643 30104 13073 16 0 210627 0
vsize: 842572
[startup+280.116 s]
Raw data (loadavg): 1.05 0.99 0.99 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18084 0 1 0 24830 45 0 0 25 0 11 0 477770171 858689536 30347 4294967295 134512640 134569956 3221224400 3221214856 1131385632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 30347 13073 16 0 209625 0
vsize: 838564
[startup+290.116 s]
Raw data (loadavg): 1.04 0.99 0.99 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18084 0 1 0 25799 45 0 0 25 0 11 0 477770171 858689536 30347 4294967295 134512640 134569956 3221224400 3221214864 1131385660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 30347 13073 16 0 209625 0
vsize: 838564
[startup+300.116 s]
Raw data (loadavg): 1.03 0.99 0.99 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18084 0 1 0 26799 45 0 0 25 0 11 0 477770171 858689536 30347 4294967295 134512640 134569956 3221224400 3221214864 1131385591 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 30347 13073 16 0 209625 0
vsize: 838564
[startup+310.115 s]
Raw data (loadavg): 1.03 0.99 0.99 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18084 0 1 0 27797 45 0 0 25 0 11 0 477770171 858689536 30347 4294967295 134512640 134569956 3221224400 3221214864 1131385580 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 30347 13073 16 0 209625 0
vsize: 838564
[startup+320.115 s]
Raw data (loadavg): 1.02 0.99 0.99 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18084 0 1 0 28764 45 0 0 25 0 11 0 477770171 858689536 30655 4294967295 134512640 134569956 3221224400 3221214752 1131495523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 30655 13073 16 0 209625 0
vsize: 838564
[startup+330.115 s]
Raw data (loadavg): 1.02 0.99 0.99 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18084 0 1 0 29764 45 0 0 25 0 11 0 477770171 858689536 30655 4294967295 134512640 134569956 3221224400 3221214864 1131385806 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 30655 13073 16 0 209625 0
vsize: 838564
[startup+340.114 s]
Raw data (loadavg): 1.02 0.99 0.99 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18084 0 1 0 30740 45 0 0 25 0 11 0 477770171 858689536 30655 4294967295 134512640 134569956 3221224400 3221214752 1131396847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 30655 13073 16 0 209625 0
vsize: 838564
[startup+350.114 s]
Raw data (loadavg): 1.01 0.99 0.99 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18084 0 1 0 31688 45 0 0 25 0 11 0 477770171 858689536 30765 4294967295 134512640 134569956 3221224400 3221214864 1131385648 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 30765 13073 16 0 209625 0
vsize: 838564
[startup+360.115 s]
Raw data (loadavg): 1.01 0.99 0.99 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18084 0 1 0 32655 45 0 0 25 0 11 0 477770171 858689536 30987 4294967295 134512640 134569956 3221224400 3221214864 1131385652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 30987 13073 16 0 209625 0
vsize: 838564
[startup+370.114 s]
Raw data (loadavg): 1.01 0.99 0.99 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18085 0 1 0 33618 45 0 0 25 0 11 0 477770171 858689536 31199 4294967295 134512640 134569956 3221224400 3221214872 1131385652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 31199 13073 16 0 209625 0
vsize: 838564
[startup+380.114 s]
Raw data (loadavg): 1.01 0.99 0.99 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18085 0 1 0 34618 45 0 0 25 0 11 0 477770171 858689536 31199 4294967295 134512640 134569956 3221224400 3221214872 1131385591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 31199 13073 16 0 209625 0
vsize: 838564
[startup+390.115 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18085 0 1 0 35583 45 0 0 25 0 11 0 477770171 858689536 32159 4294967295 134512640 134569956 3221224400 3221214688 1131464018 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 32159 13073 16 0 209625 0
vsize: 838564
[startup+400.114 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18085 0 1 0 36582 46 0 0 25 0 11 0 477770171 858689536 32160 4294967295 134512640 134569956 3221224400 3221214760 1131396840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 32160 13073 16 0 209625 0
vsize: 838564
[startup+410.114 s]
Raw data (loadavg): 1.08 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18085 0 1 0 37562 46 0 0 25 0 11 0 477770171 858689536 32160 4294967295 134512640 134569956 3221224400 3221214872 1131385591 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 32160 13073 16 0 209625 0
vsize: 838564
[startup+420.114 s]
Raw data (loadavg): 1.06 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18085 0 1 0 38542 46 0 0 25 0 11 0 477770171 858689536 32160 4294967295 134512640 134569956 3221224400 3221214872 1131385835 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 32160 13073 16 0 209625 0
vsize: 838564
[startup+430.114 s]
Raw data (loadavg): 1.05 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18085 0 1 0 39541 46 0 0 25 0 11 0 477770171 858689536 32160 4294967295 134512640 134569956 3221224400 3221214872 1131385568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 32160 13073 16 0 209625 0
vsize: 838564
[startup+440.114 s]
Raw data (loadavg): 1.05 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18085 0 1 0 40519 46 0 0 25 0 11 0 477770171 858689536 32160 4294967295 134512640 134569956 3221224400 3221214872 1131385580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 32160 13073 16 0 209625 0
vsize: 838564
[startup+450.114 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18085 0 1 0 41518 46 0 0 25 0 11 0 477770171 858689536 32160 4294967295 134512640 134569956 3221224400 3221214872 1131385806 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 32160 13073 16 0 209625 0
vsize: 838564
[startup+460.114 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18085 0 1 0 42487 46 0 0 25 0 11 0 477770171 858689536 32162 4294967295 134512640 134569956 3221224400 3221214872 1131385591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 32162 13073 16 0 209625 0
vsize: 838564
[startup+470.114 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18085 0 1 0 43488 46 0 0 25 0 11 0 477770171 858689536 32162 4294967295 134512640 134569956 3221224400 3221214760 1131396840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 32162 13073 16 0 209625 0
vsize: 838564
[startup+480.114 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 44455 46 0 0 25 0 11 0 477770171 858689536 32377 4294967295 134512640 134569956 3221224400 3221214556 1130886722 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 32377 13073 16 0 209625 0
vsize: 838564
[startup+490.113 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 45456 46 0 0 25 0 11 0 477770171 858689536 32377 4294967295 134512640 134569956 3221224400 3221214872 1131385799 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 32377 13073 16 0 209625 0
vsize: 838564
[startup+500.113 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 46426 46 0 0 25 0 11 0 477770171 858689536 33087 4294967295 134512640 134569956 3221224400 3221214872 1131385652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 33087 13073 16 0 209625 0
vsize: 838564
[startup+510.113 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 47426 46 0 0 25 0 11 0 477770171 858689536 33087 4294967295 134512640 134569956 3221224400 3221214872 1131385632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 33087 13073 16 0 209625 0
vsize: 838564
[startup+520.112 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 48426 46 0 0 25 0 11 0 477770171 858689536 33087 4294967295 134512640 134569956 3221224400 3221214896 1131419452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 33087 13073 16 0 209625 0
vsize: 838564
[startup+530.113 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 49364 46 0 0 25 0 11 0 477770171 858689536 33490 4294967295 134512640 134569956 3221224400 3221214872 1131385821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 33490 13073 16 0 209625 0
vsize: 838564
[startup+540.113 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 50364 46 0 0 25 0 11 0 477770171 858689536 33490 4294967295 134512640 134569956 3221224400 3221214872 1131385632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 33490 13073 16 0 209625 0
vsize: 838564
[startup+550.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 51334 46 0 0 25 0 11 0 477770171 858689536 33973 4294967295 134512640 134569956 3221224400 3221214872 1131385663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 33973 13073 16 0 209625 0
vsize: 838564
[startup+560.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 52334 46 0 0 25 0 11 0 477770171 858689536 33973 4294967295 134512640 134569956 3221224400 3221214872 1131385810 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 33973 13073 16 0 209625 0
vsize: 838564
[startup+570.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 53314 47 0 0 25 0 11 0 477770171 858689536 33973 4294967295 134512640 134569956 3221224400 3221214872 1131385663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 33973 13073 16 0 209625 0
vsize: 838564
[startup+580.113 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 54312 47 0 0 25 0 11 0 477770171 858689536 33973 4294967295 134512640 134569956 3221224400 3221214872 1131385663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 33973 13073 16 0 209625 0
vsize: 838564
[startup+590.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 55291 47 0 0 25 0 11 0 477770171 858689536 33973 4294967295 134512640 134569956 3221224400 3221214672 1131196809 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 33973 13073 16 0 209625 0
vsize: 838564
[startup+600.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 56264 47 0 0 25 0 11 0 477770171 858689536 34294 4294967295 134512640 134569956 3221224400 3221214872 1131385825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 34294 13073 16 0 209625 0
vsize: 838564
[startup+610.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 57264 47 0 0 25 0 11 0 477770171 858689536 34294 4294967295 134512640 134569956 3221224400 3221214872 1131385648 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 34294 13073 16 0 209625 0
vsize: 838564
[startup+620.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 58264 47 0 0 25 0 11 0 477770171 858689536 34294 4294967295 134512640 134569956 3221224400 3221214872 1131385648 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 34294 13073 16 0 209625 0
vsize: 838564
[startup+630.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 59241 47 0 0 25 0 11 0 477770171 858689536 34294 4294967295 134512640 134569956 3221224400 3221214872 1131385568 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 34294 13073 16 0 209625 0
vsize: 838564
[startup+640.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 60240 47 0 0 25 0 11 0 477770171 858689536 34294 4294967295 134512640 134569956 3221224400 3221214872 1131385580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 34294 13073 16 0 209625 0
vsize: 838564
[startup+650.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 61213 47 0 0 25 0 11 0 477770171 858689536 34294 4294967295 134512640 134569956 3221224400 3221214872 1131385591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 34294 13073 16 0 209625 0
vsize: 838564
[startup+660.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 62213 47 0 0 25 0 11 0 477770171 858689536 34294 4294967295 134512640 134569956 3221224400 3221214852 1080204256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 34294 13073 16 0 209625 0
vsize: 838564
[startup+670.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 63181 47 0 0 25 0 11 0 477770171 858689536 34710 4294967295 134512640 134569956 3221224400 3221214872 1131385632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 34710 13073 16 0 209625 0
vsize: 838564
[startup+680.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 64180 47 0 0 25 0 11 0 477770171 858689536 34710 4294967295 134512640 134569956 3221224400 3221214872 1131385806 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 34710 13073 16 0 209625 0
vsize: 838564
[startup+690.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 65155 47 0 0 25 0 11 0 477770171 858689536 34877 4294967295 134512640 134569956 3221224400 3221214760 1131496826 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 34877 13073 16 0 209625 0
vsize: 838564
[startup+700.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 66155 47 0 0 25 0 11 0 477770171 858689536 34877 4294967295 134512640 134569956 3221224400 3221214736 1131279524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 34877 13073 16 0 209625 0
vsize: 838564
[startup+710.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 67129 48 0 0 25 0 11 0 477770171 858689536 35059 4294967295 134512640 134569956 3221224400 3221214872 1131385663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 35059 13073 16 0 209625 0
vsize: 838564
[startup+720.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 68129 48 0 0 25 0 11 0 477770171 858689536 35059 4294967295 134512640 134569956 3221224400 3221214872 1131385810 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 35059 13073 16 0 209625 0
vsize: 838564
[startup+730.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 69106 48 0 0 25 0 11 0 477770171 858689536 35264 4294967295 134512640 134569956 3221224400 3221214872 1131385656 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 35264 13073 16 0 209625 0
vsize: 838564
[startup+740.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 70079 48 0 0 25 0 11 0 477770171 858689536 35264 4294967295 134512640 134569956 3221224400 3221214872 1131385810 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 35264 13073 16 0 209625 0
vsize: 838564
[startup+750.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 71079 48 0 0 25 0 11 0 477770171 858689536 35264 4294967295 134512640 134569956 3221224400 3221214872 1131385652 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 35264 13073 16 0 209625 0
vsize: 838564
[startup+760.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 72078 48 0 0 25 0 11 0 477770171 858689536 35264 4294967295 134512640 134569956 3221224400 3221214672 1131197157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 35264 13073 16 0 209625 0
vsize: 838564
[startup+770.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 73078 48 0 0 25 0 11 0 477770171 858689536 35264 4294967295 134512640 134569956 3221224400 3221214872 1131385632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 35264 13073 16 0 209625 0
vsize: 838564
[startup+780.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 74049 48 0 0 25 0 11 0 477770171 858689536 35606 4294967295 134512640 134569956 3221224400 3221214872 1131385799 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 35606 13073 16 0 209625 0
vsize: 838564
[startup+790.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 75049 48 0 0 25 0 11 0 477770171 858689536 35606 4294967295 134512640 134569956 3221224400 3221214872 1131385799 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 35606 13073 16 0 209625 0
vsize: 838564
[startup+800.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 76049 48 0 0 25 0 11 0 477770171 858689536 35606 4294967295 134512640 134569956 3221224400 3221214872 1131385663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 35606 13073 16 0 209625 0
vsize: 838564
[startup+810.113 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 77024 48 0 0 25 0 11 0 477770171 858689536 35753 4294967295 134512640 134569956 3221224400 3221214736 1131138841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 35753 13073 16 0 209625 0
vsize: 838564
[startup+820.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 78024 48 0 0 25 0 11 0 477770171 858689536 35753 4294967295 134512640 134569956 3221224400 3221214872 1131385652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 35753 13073 16 0 209625 0
vsize: 838564
[startup+830.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 79024 48 0 0 25 0 11 0 477770171 858689536 35753 4294967295 134512640 134569956 3221224400 3221214872 1131385583 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 35753 13073 16 0 209625 0
vsize: 838564
[startup+840.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 80000 48 0 0 25 0 11 0 477770171 858689536 35753 4294967295 134512640 134569956 3221224400 3221214872 1131385652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 35753 13073 16 0 209625 0
vsize: 838564
[startup+850.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 81000 49 0 0 25 0 11 0 477770171 858689536 35753 4294967295 134512640 134569956 3221224400 3221214872 1131385591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 35753 13073 16 0 209625 0
vsize: 838564
[startup+860.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 81971 49 0 0 25 0 11 0 477770171 858689536 36039 4294967295 134512640 134569956 3221224400 3221214872 1131385663 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 36039 13073 16 0 209625 0
vsize: 838564
[startup+870.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 82971 49 0 0 25 0 11 0 477770171 858689536 36039 4294967295 134512640 134569956 3221224400 3221214760 1131396890 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 36039 13073 16 0 209625 0
vsize: 838564
[startup+880.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 83943 49 0 0 25 0 11 0 477770171 858689536 36123 4294967295 134512640 134569956 3221224400 3221214872 1131385663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 36123 13073 16 0 209625 0
vsize: 838564
[startup+890.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 84943 49 0 0 25 0 11 0 477770171 858689536 36123 4294967295 134512640 134569956 3221224400 3221214872 1131385652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 36123 13073 16 0 209625 0
vsize: 838564
[startup+900.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 85916 49 0 0 25 0 11 0 477770171 858689536 36340 4294967295 134512640 134569956 3221224400 3221214872 1131385632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 36340 13073 16 0 209625 0
vsize: 838564
[startup+910.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 86916 49 0 0 25 0 11 0 477770171 858689536 36340 4294967295 134512640 134569956 3221224400 3221214872 1131385652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 36340 13073 16 0 209625 0
vsize: 838564
[startup+920.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 87892 49 0 0 25 0 11 0 477770171 858689536 36798 4294967295 134512640 134569956 3221224400 3221214720 1131454494 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 36798 13073 16 0 209625 0
vsize: 838564
[startup+930.113 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 88893 49 0 0 25 0 11 0 477770171 858689536 36798 4294967295 134512640 134569956 3221224400 3221214888 1131192089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 36798 13073 16 0 209625 0
vsize: 838564
[startup+940.113 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 89893 49 0 0 25 0 11 0 477770171 858689536 36798 4294967295 134512640 134569956 3221224400 3221214872 1131385825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 36798 13073 16 0 209625 0
vsize: 838564
[startup+950.113 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 90866 49 0 0 25 0 11 0 477770171 858689536 36864 4294967295 134512640 134569956 3221224400 3221214872 1131385580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 36864 13073 16 0 209625 0
vsize: 838564
[startup+960.113 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 91866 49 0 0 25 0 11 0 477770171 858689536 36864 4294967295 134512640 134569956 3221224400 3221214848 1131477420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 36864 13073 16 0 209625 0
vsize: 838564
[startup+970.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 92834 49 0 0 25 0 11 0 477770171 858689536 37318 4294967295 134512640 134569956 3221224400 3221214872 1131385568 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 37318 13073 16 0 209625 0
vsize: 838564
[startup+980.113 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 93833 50 0 0 25 0 11 0 477770171 858689536 37318 4294967295 134512640 134569956 3221224400 3221214720 1131454464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 37318 13073 16 0 209625 0
vsize: 838564
[startup+990.114 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 94832 50 0 0 25 0 11 0 477770171 858689536 37318 4294967295 134512640 134569956 3221224400 3221214872 1131385580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 37318 13073 16 0 209625 0
vsize: 838564
[startup+1000.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 95808 50 0 0 25 0 11 0 477770171 858689536 37585 4294967295 134512640 134569956 3221224400 3221214720 1131454480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 37585 13073 16 0 209625 0
vsize: 838564
[startup+1010.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 96808 50 0 0 25 0 11 0 477770171 858689536 37585 4294967295 134512640 134569956 3221224400 3221214872 1131385568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 37585 13073 16 0 209625 0
vsize: 838564
[startup+1020.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 97764 50 0 0 25 0 11 0 477770171 858689536 38179 4294967295 134512640 134569956 3221224400 3221214872 1131385665 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 38179 13073 16 0 209625 0
vsize: 838564
[startup+1030.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 98764 50 0 0 25 0 11 0 477770171 858689536 38179 4294967295 134512640 134569956 3221224400 3221214872 1131385648 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 38179 13073 16 0 209625 0
vsize: 838564
[startup+1040.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 99763 51 0 0 25 0 11 0 477770171 858689536 38179 4294967295 134512640 134569956 3221224400 3221214872 1131385591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 38179 13073 16 0 209625 0
vsize: 838564
[startup+1050.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 100736 51 0 0 25 0 11 0 477770171 858689536 38179 4294967295 134512640 134569956 3221224400 3221214872 1131385821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 38179 13073 16 0 209625 0
vsize: 838564
[startup+1060.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 101736 51 0 0 25 0 11 0 477770171 858689536 38179 4294967295 134512640 134569956 3221224400 3221214872 1131385583 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 38179 13073 16 0 209625 0
vsize: 838564
[startup+1070.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 102736 51 0 0 25 0 11 0 477770171 858689536 38179 4294967295 134512640 134569956 3221224400 3221214872 1131385821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 38179 13073 16 0 209625 0
vsize: 838564
[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 103707 51 0 0 25 0 11 0 477770171 858689536 38903 4294967295 134512640 134569956 3221224400 3221214872 1131385821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 38903 13073 16 0 209625 0
vsize: 838564
[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 104707 51 0 0 25 0 11 0 477770171 858689536 38903 4294967295 134512640 134569956 3221224400 3221214872 1131385648 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 38903 13073 16 0 209625 0
vsize: 838564
[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 105682 51 0 0 25 0 11 0 477770171 858689536 38903 4294967295 134512640 134569956 3221224400 3221214872 1131385810 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 38903 13073 16 0 209625 0
vsize: 838564
[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) S 23616 22612 22611 0 -1 0 18086 0 1 0 106659 51 0 0 25 0 11 0 477770171 858689536 39208 4294967295 134512640 134569956 3221224400 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 39208 13073 16 0 209625 0
vsize: 838564
[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 107654 51 0 0 25 0 11 0 477770171 858689536 39219 4294967295 134512640 134569956 3221224400 3221214872 1131385644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 39219 13073 16 0 209625 0
vsize: 838564
[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 108628 51 0 0 25 0 11 0 477770171 858689536 39736 4294967295 134512640 134569956 3221224400 3221214872 1131385833 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 39736 13073 16 0 209625 0
vsize: 838564
[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 109627 51 0 0 25 0 11 0 477770171 858689536 39736 4294967295 134512640 134569956 3221224400 3221214872 1131385580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 39736 13073 16 0 209625 0
vsize: 838564
[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 110607 52 0 0 25 0 11 0 477770171 858689536 39737 4294967295 134512640 134569956 3221224400 3221214872 1131385583 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 39737 13073 16 0 209625 0
vsize: 838564
[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 111606 52 0 0 25 0 11 0 477770171 858689536 39737 4294967295 134512640 134569956 3221224400 3221214872 1131385652 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 39737 13073 16 0 209625 0
vsize: 838564
[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 112585 52 0 0 25 0 11 0 477770171 858689536 40076 4294967295 134512640 134569956 3221224400 3221214872 1131385810 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 40076 13073 16 0 209625 0
vsize: 838564
[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 113585 52 0 0 25 0 11 0 477770171 858689536 40076 4294967295 134512640 134569956 3221224400 3221214872 1131385591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 40076 13073 16 0 209625 0
vsize: 838564
[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 114585 52 0 0 25 0 11 0 477770171 858689536 40076 4294967295 134512640 134569956 3221224400 3221214872 1131385583 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 40076 13073 16 0 209625 0
vsize: 838564
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 115568 52 0 0 25 0 11 0 477770171 858689536 40076 4294967295 134512640 134569956 3221224400 3221214872 1131385632 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 40076 13073 16 0 209625 0
vsize: 838564
[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 116548 52 0 0 25 0 11 0 477770171 858689536 40276 4294967295 134512640 134569956 3221224400 3221214720 1131454489 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 40276 13073 16 0 209625 0
vsize: 838564
[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 117548 53 0 0 25 0 11 0 477770171 858689536 40276 4294967295 134512640 134569956 3221224400 3221214872 1131385817 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 40276 13073 16 0 209625 0
vsize: 838564
[startup+1230.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 118547 53 0 0 25 0 11 0 477770171 858689536 40276 4294967295 134512640 134569956 3221224400 3221214872 1131385585 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209641 40276 13073 16 0 209625 0
vsize: 838564
[startup+1240.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 119529 53 0 0 25 0 11 0 477770171 858689536 40522 4294967295 134512640 134569956 3221224400 3221214760 1131396861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 40522 13073 16 0 209625 0
vsize: 838564
[startup+1250.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 23627
Raw data (stat): 23617 (java) R 23616 22612 22611 0 -1 0 18086 0 1 0 120529 53 0 0 25 0 11 0 477770171 858689536 40522 4294967295 134512640 134569956 3221224400 3221214872 1131385835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209641 40522 13073 16 0 209625 0
vsize: 838564
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.2 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 23629
Raw data (stat): 23617 (java) Z 23616 22612 22611 0 -1 1036 18086 21017 1 0 120529 53 4196 48 25 0 1 0 477770171 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): 1250.2
CPU time (s): 1248.28
CPU user time (s): 1247.26
CPU system time (s): 1.02284
CPU usage (%): 99.8467
Max. virtual memory (Kb): 845004
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####