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/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x26.opb
MD5SUM	8d2dfe2bd5f05783f4ac50ee4efdfe60
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	10203871
Optimality of the best value was proved	NO
Number of terms in the objective function	8060
Biggest coefficient in the objective function	5368709120
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	1599918681646
Number of bits of the sum of numbers in the objective function	41
Biggest number in a constraint	5368709120
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	1599918681646
Number of bits of the biggest sum of numbers	41
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1224.74
Number of variables	8060
Total number of constraints	296
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	296
Minimum length of a constraint	31
Maximum length of a constraint	780
Trace number 13675

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-04-20 21:23:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14257 boxname=wulflinc24 idbench=1097 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  8d2dfe2bd5f05783f4ac50ee4efdfe60  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-ran10x26.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-ran10x26.opb
IDLAUNCH: 14257
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        581552 kB
Buffers:         35188 kB
Cached:         379660 kB
SwapCached:        292 kB
Active:          91768 kB
Inactive:       325388 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        581300 kB
SwapTotal:     2097892 kB
SwapFree:      2097036 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6060 kB
Slab:            30376 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-20 21:43:25 (client local time) WITH STATUS 143 IN 1216.62 SECONDS
stats: 14257 7 1216.62 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-ran10x26.opb
c reading problem 
c [nbvar=8060]
c [nbconstr=296]
c time 24.294
c #vars     8060
c #clauses  333
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
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=10175489
c Current CPU time (ms) : 80.67
c starts	: 1
c conflicts	: 8
c decisions	: 3156
c propagations	: 22958
c inspects	: 19722
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 8
c root simplifications	: 9
#### 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.73 0.87 0.88 2/54 19378
Raw data (stat): 19378 (runsolver) R 19377 28546 28545 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 539644614 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99994 s]
Raw data (loadavg): 0.77 0.87 0.89 2/63 19387
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 17971 0 1 0 898 38 0 0 25 0 10 0 539644614 853499904 19107 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208374 19107 13073 16 0 208358 0
vsize: 833496
[startup+20.0001 s]
Raw data (loadavg): 0.81 0.87 0.89 2/63 19387
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 17972 0 1 0 1790 39 0 0 25 0 10 0 539644614 853999616 19717 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208496 19717 13073 16 0 208480 0
vsize: 833984
[startup+30.0003 s]
Raw data (loadavg): 0.98 0.91 0.90 2/64 19388
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18092 0 1 0 2495 40 0 0 22 0 11 0 539644614 864452608 23564 4294967295 134512640 134569956 3221224400 3221214680 1131277153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211048 23564 13073 16 0 211032 0
vsize: 844192
[startup+39.9999 s]
Raw data (loadavg): 0.98 0.91 0.90 2/64 19388
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18093 0 1 0 3370 41 0 0 25 0 11 0 539644614 864419840 23462 4294967295 134512640 134569956 3221224400 3221214632 1131375124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 23462 13073 16 0 211024 0
vsize: 844160
[startup+50.0153 s]
Raw data (loadavg): 0.99 0.92 0.90 2/64 19388
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18093 0 1 0 4267 41 0 0 25 0 11 0 539644614 864419840 23592 4294967295 134512640 134569956 3221224400 3221214680 1131277726 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 23592 13073 16 0 211024 0
vsize: 844160
[startup+60.0154 s]
Raw data (loadavg): 0.99 0.92 0.90 2/64 19388
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18093 0 1 0 5187 42 0 0 25 0 11 0 539644614 864419840 24349 4294967295 134512640 134569956 3221224400 3221214680 1131277521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 24349 13073 16 0 211024 0
vsize: 844160
[startup+70.0259 s]
Raw data (loadavg): 0.99 0.92 0.90 2/64 19388
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18093 0 1 0 6175 42 0 0 25 0 11 0 539644614 864419840 24378 4294967295 134512640 134569956 3221224400 3221214680 1131277565 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 24378 13073 16 0 211024 0
vsize: 844160
[startup+80.1297 s]
Raw data (loadavg): 0.99 0.92 0.90 2/64 19388
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18094 0 1 0 7171 43 0 0 25 0 11 0 539644614 864419840 24404 4294967295 134512640 134569956 3221224400 3221214680 1131277312 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 24404 13073 16 0 211024 0
vsize: 844160
[startup+90.1294 s]
Raw data (loadavg): 0.99 0.92 0.90 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18094 4 1 0 8133 43 0 0 25 0 11 0 539644614 864419840 24423 4294967295 134512640 134569956 3221224400 3221214680 1131277153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 24423 13073 16 0 211024 0
vsize: 844160
[startup+100.131 s]
Raw data (loadavg): 0.99 0.93 0.90 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18094 4 1 0 9099 43 0 0 25 0 11 0 539644614 864419840 24445 4294967295 134512640 134569956 3221224400 3221214472 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 24445 13073 16 0 211024 0
vsize: 844160
[startup+110.131 s]
Raw data (loadavg): 0.99 0.93 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18094 4 1 0 10065 43 0 0 25 0 11 0 539644614 864419840 24451 4294967295 134512640 134569956 3221224400 3221214592 1131509554 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 24451 13073 16 0 211024 0
vsize: 844160
[startup+120.131 s]
Raw data (loadavg): 0.99 0.93 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18094 4 1 0 11055 44 0 0 25 0 11 0 539644614 864419840 24652 4294967295 134512640 134569956 3221224400 3221214368 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 24652 13073 16 0 211024 0
vsize: 844160
[startup+130.141 s]
Raw data (loadavg): 0.99 0.93 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18094 4 1 0 12034 44 0 0 24 0 11 0 539644614 864419840 24663 4294967295 134512640 134569956 3221224400 3221214368 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 24663 13073 16 0 211024 0
vsize: 844160
[startup+140.145 s]
Raw data (loadavg): 0.99 0.93 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18094 4 1 0 12993 45 0 0 25 0 11 0 539644614 864419840 24664 4294967295 134512640 134569956 3221224400 3221214424 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 24664 13073 16 0 211024 0
vsize: 844160
[startup+150.149 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18094 4 1 0 13947 45 0 0 25 0 11 0 539644614 864419840 24665 4294967295 134512640 134569956 3221224400 3221214504 1131358110 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 24665 13073 16 0 211024 0
vsize: 844160
[startup+160.15 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18095 4 1 0 14914 45 0 0 25 0 11 0 539644614 864419840 24781 4294967295 134512640 134569956 3221224400 3221214408 1131350905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 24781 13073 16 0 211024 0
vsize: 844160
[startup+170.149 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18095 4 1 0 15898 46 0 0 24 0 11 0 539644614 864419840 24863 4294967295 134512640 134569956 3221224400 3221214608 1131507564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 24863 13073 16 0 211024 0
vsize: 844160
[startup+180.149 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18095 4 1 0 16886 46 0 0 25 0 11 0 539644614 864419840 24864 4294967295 134512640 134569956 3221224400 3221214608 1131507555 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 24864 13073 16 0 211024 0
vsize: 844160
[startup+190.151 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18095 4 1 0 17875 46 0 0 25 0 11 0 539644614 864419840 24866 4294967295 134512640 134569956 3221224400 3221214408 1131351557 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 24866 13073 16 0 211024 0
vsize: 844160
[startup+200.151 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18095 4 1 0 18866 46 0 0 25 0 11 0 539644614 864419840 24998 4294967295 134512640 134569956 3221224400 3221214608 1131507564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 24998 13073 16 0 211024 0
vsize: 844160
[startup+210.151 s]
Raw data (loadavg): 0.99 0.94 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18095 4 1 0 19865 46 0 0 25 0 11 0 539644614 864419840 25002 4294967295 134512640 134569956 3221224400 3221214488 1131358205 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25002 13073 16 0 211024 0
vsize: 844160
[startup+220.152 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18095 4 1 0 20863 46 0 0 25 0 11 0 539644614 864419840 25003 4294967295 134512640 134569956 3221224400 3221214392 1131350583 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25003 13073 16 0 211024 0
vsize: 844160
[startup+230.152 s]
Raw data (loadavg): 1.07 0.96 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18095 4 1 0 21861 47 0 0 25 0 11 0 539644614 864419840 25003 4294967295 134512640 134569956 3221224400 3221214584 1131561260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25003 13073 16 0 211024 0
vsize: 844160
[startup+240.152 s]
Raw data (loadavg): 1.06 0.96 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18095 4 1 0 22859 47 0 0 25 0 11 0 539644614 864419840 25003 4294967295 134512640 134569956 3221224400 3221214408 1131350753 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25003 13073 16 0 211024 0
vsize: 844160
[startup+250.154 s]
Raw data (loadavg): 1.05 0.96 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18095 4 1 0 23858 47 0 0 25 0 11 0 539644614 864419840 25003 4294967295 134512640 134569956 3221224400 3221214408 1131351404 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 25003 13073 16 0 211024 0
vsize: 844160
[startup+260.154 s]
Raw data (loadavg): 1.04 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18095 4 1 0 24854 47 0 0 25 0 11 0 539644614 864419840 25005 4294967295 134512640 134569956 3221224400 3221214648 1131352243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25005 13073 16 0 211024 0
vsize: 844160
[startup+270.154 s]
Raw data (loadavg): 1.03 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18095 4 1 0 25838 47 0 0 25 0 11 0 539644614 864419840 25005 4294967295 134512640 134569956 3221224400 3221214408 1131350833 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25005 13073 16 0 211024 0
vsize: 844160
[startup+280.155 s]
Raw data (loadavg): 1.03 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18095 4 1 0 26817 48 0 0 25 0 11 0 539644614 864419840 25005 4294967295 134512640 134569956 3221224400 3221214408 1131350675 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25005 13073 16 0 211024 0
vsize: 844160
[startup+290.155 s]
Raw data (loadavg): 1.02 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18095 4 1 0 27799 48 0 0 25 0 11 0 539644614 864419840 25005 4294967295 134512640 134569956 3221224400 3221214408 1131350675 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25005 13073 16 0 211024 0
vsize: 844160
[startup+300.156 s]
Raw data (loadavg): 1.02 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18095 4 1 0 28781 48 0 0 25 0 11 0 539644614 864419840 25052 4294967295 134512640 134569956 3221224400 3221214392 1131350905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25052 13073 16 0 211024 0
vsize: 844160
[startup+310.157 s]
Raw data (loadavg): 1.02 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18095 4 1 0 29770 49 0 0 25 0 11 0 539644614 864419840 25052 4294967295 134512640 134569956 3221224400 3221214592 1131546343 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25052 13073 16 0 211024 0
vsize: 844160
[startup+320.157 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18095 4 1 0 30758 49 0 0 25 0 11 0 539644614 864419840 25052 4294967295 134512640 134569956 3221224400 3221214604 1131426028 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 25052 13073 16 0 211024 0
vsize: 844160
[startup+330.157 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18095 4 1 0 31752 49 0 0 25 0 11 0 539644614 864419840 25179 4294967295 134512640 134569956 3221224400 3221214608 1131507564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 25179 13073 16 0 211024 0
vsize: 844160
[startup+340.157 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18095 4 1 0 32750 49 0 0 25 0 11 0 539644614 864419840 25187 4294967295 134512640 134569956 3221224400 3221214408 1131351470 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 25187 13073 16 0 211024 0
vsize: 844160
[startup+350.157 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18095 4 1 0 33749 49 0 0 25 0 11 0 539644614 864419840 25187 4294967295 134512640 134569956 3221224400 3221214408 1131351555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 25187 13073 16 0 211024 0
vsize: 844160
[startup+360.158 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18095 4 1 0 34748 49 0 0 25 0 11 0 539644614 864419840 25187 4294967295 134512640 134569956 3221224400 3221214504 1131358211 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25187 13073 16 0 211024 0
vsize: 844160
[startup+370.158 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18095 4 1 0 35746 50 0 0 25 0 11 0 539644614 864419840 25187 4294967295 134512640 134569956 3221224400 3221214408 1131350893 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 25187 13073 16 0 211024 0
vsize: 844160
[startup+380.158 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18095 4 1 0 36745 50 0 0 25 0 11 0 539644614 864419840 25187 4294967295 134512640 134569956 3221224400 3221214608 1131507652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 25187 13073 16 0 211024 0
vsize: 844160
[startup+390.158 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18095 4 1 0 37743 50 0 0 25 0 11 0 539644614 864419840 25187 4294967295 134512640 134569956 3221224400 3221214408 1131350675 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 25187 13073 16 0 211024 0
vsize: 844160
[startup+400.159 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18095 4 1 0 38738 50 0 0 25 0 11 0 539644614 864419840 25187 4294967295 134512640 134569956 3221224400 3221214584 1131559952 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25187 13073 16 0 211024 0
vsize: 844160
[startup+410.159 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18095 4 1 0 39727 50 0 0 25 0 11 0 539644614 864419840 25187 4294967295 134512640 134569956 3221224400 3221214392 1131350583 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25187 13073 16 0 211024 0
vsize: 844160
[startup+420.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18095 4 1 0 40715 50 0 0 25 0 11 0 539644614 864419840 25187 4294967295 134512640 134569956 3221224400 3221214608 1131507555 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25187 13073 16 0 211024 0
vsize: 844160
[startup+430.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18095 4 1 0 41706 50 0 0 25 0 11 0 539644614 864419840 25187 4294967295 134512640 134569956 3221224400 3221214392 1131350583 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25187 13073 16 0 211024 0
vsize: 844160
[startup+440.159 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18095 4 1 0 42695 51 0 0 25 0 11 0 539644614 864419840 25187 4294967295 134512640 134569956 3221224400 3221214392 1131350905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25187 13073 16 0 211024 0
vsize: 844160
[startup+450.161 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18095 4 1 0 43683 51 0 0 25 0 11 0 539644614 864419840 25188 4294967295 134512640 134569956 3221224400 3221214696 1131636537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25188 13073 16 0 211024 0
vsize: 844160
[startup+460.161 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 44672 52 0 0 24 0 11 0 539644614 864419840 25273 4294967295 134512640 134569956 3221224400 3221214776 1131390246 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25273 13073 16 0 211024 0
vsize: 844160
[startup+470.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 45661 52 0 0 24 0 11 0 539644614 864419840 25273 4294967295 134512640 134569956 3221224400 3221214184 1077558849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25273 13073 16 0 211024 0
vsize: 844160
[startup+480.162 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 46649 52 0 0 25 0 11 0 539644614 864419840 25273 4294967295 134512640 134569956 3221224400 3221214776 1131389176 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25273 13073 16 0 211024 0
vsize: 844160
[startup+490.162 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 47630 52 0 0 25 0 11 0 539644614 864419840 25273 4294967295 134512640 134569956 3221224400 3221214680 1131277330 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25273 13073 16 0 211024 0
vsize: 844160
[startup+500.163 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 48620 52 0 0 25 0 11 0 539644614 864419840 25335 4294967295 134512640 134569956 3221224400 3221214728 1131244960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25335 13073 16 0 211024 0
vsize: 844160
[startup+510.163 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 49613 52 0 0 25 0 11 0 539644614 864419840 25351 4294967295 134512640 134569956 3221224400 3221214776 1131390312 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25351 13073 16 0 211024 0
vsize: 844160
[startup+520.163 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 50606 52 0 0 25 0 11 0 539644614 864419840 25364 4294967295 134512640 134569956 3221224400 3221214728 1131244953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25364 13073 16 0 211024 0
vsize: 844160
[startup+530.164 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 51599 53 0 0 25 0 11 0 539644614 864419840 25380 4294967295 134512640 134569956 3221224400 3221214680 1131277521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25380 13073 16 0 211024 0
vsize: 844160
[startup+540.165 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 52595 53 0 0 25 0 11 0 539644614 864419840 25382 4294967295 134512640 134569956 3221224400 3221214696 1131636512 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25382 13073 16 0 211024 0
vsize: 844160
[startup+550.165 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 53593 53 0 0 25 0 11 0 539644614 864419840 25383 4294967295 134512640 134569956 3221224400 3221214496 1131350905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25383 13073 16 0 211024 0
vsize: 844160
[startup+560.166 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 54590 54 0 0 25 0 11 0 539644614 864419840 25384 4294967295 134512640 134569956 3221224400 3221214496 1131350940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 25384 13073 16 0 211024 0
vsize: 844160
[startup+570.165 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 55587 54 0 0 25 0 11 0 539644614 864419840 25392 4294967295 134512640 134569956 3221224400 3221214696 1131636637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 25392 13073 16 0 211024 0
vsize: 844160
[startup+580.165 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 56586 54 0 0 25 0 11 0 539644614 864419840 25399 4294967295 134512640 134569956 3221224400 3221214696 1131636524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25399 13073 16 0 211024 0
vsize: 844160
[startup+590.166 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 57583 54 0 0 25 0 11 0 539644614 864419840 25401 4294967295 134512640 134569956 3221224400 3221214696 1131636537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25401 13073 16 0 211024 0
vsize: 844160
[startup+600.167 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 58581 55 0 0 25 0 11 0 539644614 864419840 25403 4294967295 134512640 134569956 3221224400 3221214592 1131358152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 25403 13073 16 0 211024 0
vsize: 844160
[startup+610.167 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 59578 55 0 0 25 0 11 0 539644614 864419840 25405 4294967295 134512640 134569956 3221224400 3221214592 1131358146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25405 13073 16 0 211024 0
vsize: 844160
[startup+620.166 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 60574 55 0 0 25 0 11 0 539644614 864419840 25405 4294967295 134512640 134569956 3221224400 3221214680 1131277565 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25405 13073 16 0 211024 0
vsize: 844160
[startup+630.167 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 61569 55 0 0 25 0 11 0 539644614 864419840 25408 4294967295 134512640 134569956 3221224400 3221214496 1131352348 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25408 13073 16 0 211024 0
vsize: 844160
[startup+640.168 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 62563 56 0 0 25 0 11 0 539644614 864419840 25413 4294967295 134512640 134569956 3221224400 3221214496 1131350583 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25413 13073 16 0 211024 0
vsize: 844160
[startup+650.168 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 63559 56 0 0 25 0 11 0 539644614 864419840 25417 4294967295 134512640 134569956 3221224400 3221214496 1131352225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25417 13073 16 0 211024 0
vsize: 844160
[startup+660.175 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 64556 56 0 0 25 0 11 0 539644614 864419840 25425 4294967295 134512640 134569956 3221224400 3221214496 1131350753 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25425 13073 16 0 211024 0
vsize: 844160
[startup+670.175 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 65553 56 0 0 25 0 11 0 539644614 864419840 25445 4294967295 134512640 134569956 3221224400 3221214560 1131311571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25445 13073 16 0 211024 0
vsize: 844160
[startup+680.175 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 66550 57 0 0 25 0 11 0 539644614 864419840 25445 4294967295 134512640 134569956 3221224400 3221214496 1131352318 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25445 13073 16 0 211024 0
vsize: 844160
[startup+690.176 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 67547 57 0 0 25 0 11 0 539644614 864419840 25445 4294967295 134512640 134569956 3221224400 3221214496 1131350583 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25445 13073 16 0 211024 0
vsize: 844160
[startup+700.177 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 68543 58 0 0 25 0 11 0 539644614 864419840 25445 4294967295 134512640 134569956 3221224400 3221214496 1131352343 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25445 13073 16 0 211024 0
vsize: 844160
[startup+710.177 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 69539 58 0 0 25 0 11 0 539644614 864419840 25445 4294967295 134512640 134569956 3221224400 3221214584 1131560219 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25445 13073 16 0 211024 0
vsize: 844160
[startup+720.177 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 70536 58 0 0 25 0 11 0 539644614 864419840 25445 4294967295 134512640 134569956 3221224400 3221214584 1131559988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25445 13073 16 0 211024 0
vsize: 844160
[startup+730.179 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 71533 58 0 0 25 0 11 0 539644614 864419840 25472 4294967295 134512640 134569956 3221224400 3221214496 1131350753 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25472 13073 16 0 211024 0
vsize: 844160
[startup+740.179 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 72531 59 0 0 25 0 11 0 539644614 864419840 25472 4294967295 134512640 134569956 3221224400 3221214496 1131350583 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25472 13073 16 0 211024 0
vsize: 844160
[startup+750.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 73527 59 0 0 25 0 11 0 539644614 864419840 25472 4294967295 134512640 134569956 3221224400 3221214496 1131350940 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25472 13073 16 0 211024 0
vsize: 844160
[startup+760.181 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 74524 59 0 0 25 0 11 0 539644614 864419840 25472 4294967295 134512640 134569956 3221224400 3221214496 1131350738 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25472 13073 16 0 211024 0
vsize: 844160
[startup+770.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 75520 59 0 0 25 0 11 0 539644614 864419840 25472 4294967295 134512640 134569956 3221224400 3221214496 1131544643 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25472 13073 16 0 211024 0
vsize: 844160
[startup+780.18 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 76516 60 0 0 25 0 11 0 539644614 864419840 25472 4294967295 134512640 134569956 3221224400 3221214496 1131350583 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25472 13073 16 0 211024 0
vsize: 844160
[startup+790.181 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 77514 60 0 0 25 0 11 0 539644614 864419840 25500 4294967295 134512640 134569956 3221224400 3221214696 1131636512 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25500 13073 16 0 211024 0
vsize: 844160
[startup+800.181 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 78512 60 0 0 25 0 11 0 539644614 864419840 25500 4294967295 134512640 134569956 3221224400 3221214744 1131473701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25500 13073 16 0 211024 0
vsize: 844160
[startup+810.181 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 79508 60 0 0 25 0 11 0 539644614 864419840 25500 4294967295 134512640 134569956 3221224400 3221214496 1131350701 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 25500 13073 16 0 211024 0
vsize: 844160
[startup+820.181 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 80504 60 0 0 25 0 11 0 539644614 864419840 25500 4294967295 134512640 134569956 3221224400 3221214584 1131562002 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25500 13073 16 0 211024 0
vsize: 844160
[startup+830.181 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 81500 61 0 0 25 0 11 0 539644614 864419840 25500 4294967295 134512640 134569956 3221224400 3221214592 1131358030 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25500 13073 16 0 211024 0
vsize: 844160
[startup+840.182 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 82497 61 0 0 25 0 11 0 539644614 864419840 25500 4294967295 134512640 134569956 3221224400 3221214584 1131559988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25500 13073 16 0 211024 0
vsize: 844160
[startup+850.182 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 83494 61 0 0 25 0 11 0 539644614 864419840 25521 4294967295 134512640 134569956 3221224400 3221214696 1131634851 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25521 13073 16 0 211024 0
vsize: 844160
[startup+860.182 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 84492 61 0 0 25 0 11 0 539644614 864419840 25529 4294967295 134512640 134569956 3221224400 3221214672 1131426097 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25529 13073 16 0 211024 0
vsize: 844160
[startup+870.182 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 85489 61 0 0 25 0 11 0 539644614 864419840 25529 4294967295 134512640 134569956 3221224400 3221214496 1131350675 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25529 13073 16 0 211024 0
vsize: 844160
[startup+880.183 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 86485 62 0 0 25 0 11 0 539644614 864419840 25529 4294967295 134512640 134569956 3221224400 3221214628 1131513511 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25529 13073 16 0 211024 0
vsize: 844160
[startup+890.182 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 87481 62 0 0 25 0 11 0 539644614 864419840 25529 4294967295 134512640 134569956 3221224400 3221214696 1131636528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25529 13073 16 0 211024 0
vsize: 844160
[startup+900.184 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 88478 62 0 0 25 0 11 0 539644614 864419840 25529 4294967295 134512640 134569956 3221224400 3221214496 1131350926 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25529 13073 16 0 211024 0
vsize: 844160
[startup+910.184 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 89474 62 0 0 25 0 11 0 539644614 864419840 25529 4294967295 134512640 134569956 3221224400 3221214584 1131560216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25529 13073 16 0 211024 0
vsize: 844160
[startup+920.183 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 90471 63 0 0 25 0 11 0 539644614 864419840 25559 4294967295 134512640 134569956 3221224400 3221214584 1131561285 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 25559 13073 16 0 211024 0
vsize: 844160
[startup+930.183 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 91470 63 0 0 25 0 11 0 539644614 864419840 25559 4294967295 134512640 134569956 3221224400 3221214584 1131560323 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25559 13073 16 0 211024 0
vsize: 844160
[startup+940.184 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 92467 63 0 0 25 0 11 0 539644614 864419840 25559 4294967295 134512640 134569956 3221224400 3221214496 1131350753 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25559 13073 16 0 211024 0
vsize: 844160
[startup+950.184 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 93462 63 0 0 25 0 11 0 539644614 864419840 25559 4294967295 134512640 134569956 3221224400 3221214696 1131634851 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25559 13073 16 0 211024 0
vsize: 844160
[startup+960.185 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 94459 63 0 0 25 0 11 0 539644614 864419840 25559 4294967295 134512640 134569956 3221224400 3221214584 1131559991 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25559 13073 16 0 211024 0
vsize: 844160
[startup+970.185 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 95455 63 0 0 25 0 11 0 539644614 864419840 25559 4294967295 134512640 134569956 3221224400 3221214584 1131560309 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25559 13073 16 0 211024 0
vsize: 844160
[startup+980.186 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 96452 64 0 0 25 0 11 0 539644614 864419840 25559 4294967295 134512640 134569956 3221224400 3221214496 1131350675 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25559 13073 16 0 211024 0
vsize: 844160
[startup+990.186 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 97450 64 0 0 25 0 11 0 539644614 864419840 25588 4294967295 134512640 134569956 3221224400 3221214496 1131351006 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25588 13073 16 0 211024 0
vsize: 844160
[startup+1000.19 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 98445 64 0 0 25 0 11 0 539644614 864419840 25588 4294967295 134512640 134569956 3221224400 3221214584 1131560309 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25588 13073 16 0 211024 0
vsize: 844160
[startup+1010.19 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 99441 64 0 0 25 0 11 0 539644614 864419840 25588 4294967295 134512640 134569956 3221224400 3221214496 1131352359 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25588 13073 16 0 211024 0
vsize: 844160
[startup+1020.19 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 100437 65 0 0 25 0 11 0 539644614 864419840 25588 4294967295 134512640 134569956 3221224400 3221214696 1131636537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25588 13073 16 0 211024 0
vsize: 844160
[startup+1030.19 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 101433 65 0 0 25 0 11 0 539644614 864419840 25588 4294967295 134512640 134569956 3221224400 3221214584 1131560219 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25588 13073 16 0 211024 0
vsize: 844160
[startup+1040.19 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 102430 65 0 0 25 0 11 0 539644614 864419840 25609 4294967295 134512640 134569956 3221224400 3221214696 1131636532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 25609 13073 16 0 211024 0
vsize: 844160
[startup+1050.19 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 103428 65 0 0 25 0 11 0 539644614 864419840 25618 4294967295 134512640 134569956 3221224400 3221214496 1131350606 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25618 13073 16 0 211024 0
vsize: 844160
[startup+1060.19 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 104427 66 0 0 25 0 11 0 539644614 864419840 25618 4294967295 134512640 134569956 3221224400 3221214624 1131414709 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25618 13073 16 0 211024 0
vsize: 844160
[startup+1070.19 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 105422 66 0 0 25 0 11 0 539644614 864419840 25618 4294967295 134512640 134569956 3221224400 3221214592 1131358105 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25618 13073 16 0 211024 0
vsize: 844160
[startup+1080.19 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 106418 66 0 0 25 0 11 0 539644614 864419840 25618 4294967295 134512640 134569956 3221224400 3221214584 1131559991 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25618 13073 16 0 211024 0
vsize: 844160
[startup+1090.19 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 107415 66 0 0 25 0 11 0 539644614 864419840 25618 4294967295 134512640 134569956 3221224400 3221214496 1131351545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25618 13073 16 0 211024 0
vsize: 844160
[startup+1100.19 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 108412 67 0 0 25 0 11 0 539644614 864419840 25618 4294967295 134512640 134569956 3221224400 3221214696 1131634853 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25618 13073 16 0 211024 0
vsize: 844160
[startup+1110.19 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 109409 67 0 0 25 0 11 0 539644614 864419840 25640 4294967295 134512640 134569956 3221224400 3221214584 1131559991 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25640 13073 16 0 211024 0
vsize: 844160
[startup+1120.19 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 110408 67 0 0 25 0 11 0 539644614 864419840 25648 4294967295 134512640 134569956 3221224400 3221214696 1131636543 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25648 13073 16 0 211024 0
vsize: 844160
[startup+1130.19 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 111403 68 0 0 25 0 11 0 539644614 864419840 25648 4294967295 134512640 134569956 3221224400 3221214776 1131391791 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25648 13073 16 0 211024 0
vsize: 844160
[startup+1140.2 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 112394 68 0 0 25 0 11 0 539644614 864419840 25648 4294967295 134512640 134569956 3221224400 3221214584 1131562532 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25648 13073 16 0 211024 0
vsize: 844160
[startup+1150.2 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 113389 68 0 0 25 0 11 0 539644614 864419840 25648 4294967295 134512640 134569956 3221224400 3221214408 1078830833 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25648 13073 16 0 211024 0
vsize: 844160
[startup+1160.2 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 114384 69 0 0 25 0 11 0 539644614 864419840 25648 4294967295 134512640 134569956 3221224400 3221214696 1131636512 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25648 13073 16 0 211024 0
vsize: 844160
[startup+1170.2 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 115378 69 0 0 25 0 11 0 539644614 864419840 25648 4294967295 134512640 134569956 3221224400 3221214584 1131560234 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25648 13073 16 0 211024 0
vsize: 844160
[startup+1180.2 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 116372 69 0 0 24 0 11 0 539644614 864419840 25648 4294967295 134512640 134569956 3221224400 3221214680 1131277662 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25648 13073 16 0 211024 0
vsize: 844160
[startup+1190.2 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 117366 70 0 0 25 0 11 0 539644614 864419840 25666 4294967295 134512640 134569956 3221224400 3221214696 1131634851 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25666 13073 16 0 211024 0
vsize: 844160
[startup+1200.2 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 118357 70 0 0 25 0 11 0 539644614 864419840 25708 4294967295 134512640 134569956 3221224400 3221214680 1131277565 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25708 13073 16 0 211024 0
vsize: 844160
[startup+1210.2 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 119347 70 0 0 25 0 11 0 539644614 864419840 25708 4294967295 134512640 134569956 3221224400 3221214680 1131277784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 25708 13073 16 0 211024 0
vsize: 844160
[startup+1220.2 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 19389
Raw data (stat): 19378 (java) R 19377 28546 28545 0 -1 0 18096 4 1 0 120341 70 0 0 25 0 11 0 539644614 864419840 25712 4294967295 134512640 134569956 3221224400 3221214696 1131634874 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 25712 13073 16 0 211024 0
vsize: 844160
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.26 s]
Raw data (loadavg): 1.00 0.97 0.91 1/54 19391
Raw data (stat): 19378 (java) Z 19377 28546 28545 0 -1 1036 18096 4822 1 0 120342 70 1230 18 25 0 1 0 539644614 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1220.26
CPU time (s): 1216.62
CPU user time (s): 1215.72
CPU system time (s): 0.896863
CPU usage (%): 99.7015
Max. virtual memory (Kb): 844192
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####