PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-etamacro.opb
MD5SUM	f6aee0205ed0fd82be74ca5b868634a5
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	979
Biggest coefficient in the objective function	25202799411200000
Number of bits for the biggest coefficient in the objective function	55
Sum of the numbers in the objective function	212191388834595325
Number of bits of the sum of numbers in the objective function	58
Biggest number in a constraint	25202799411200000
Number of bits of the biggest number in a constraint	55
Biggest sum of numbers in a constraint	212191388834595325
Number of bits of the biggest sum of numbers	58
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.478926
Number of variables	10627
Total number of constraints	535
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	535
Minimum length of a constraint	7
Maximum length of a constraint	357
Trace number 20009

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        614036 kB
Buffers:         21160 kB
Cached:         377048 kB
SwapCached:          0 kB
Active:         139352 kB
Inactive:       261620 kB
HighTotal:      131008 kB
HighFree:        22176 kB
LowTotal:       903652 kB
LowFree:        591860 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6824 kB
Slab:            13940 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 20:19:27 (client local time) WITH STATUS 143 IN 1270.04 SECONDS
stats: 15739 7 1270.04 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-etamacro.opb
c reading problem 
c [nbvar=10627]
c [nbconstr=535]
c time 40.759
c #vars     10627
c #clauses  759
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.67 0.91 0.90 2/54 25383
Raw data (stat): 25383 (runsolver) R 25382 30854 30853 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 489559980 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+10.0013 s]
Raw data (loadavg): 0.87 0.94 0.91 2/63 25392
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18005 0 1 0 858 42 0 0 25 0 10 0 489559980 855298048 19772 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208813 19772 13073 16 0 208797 0
vsize: 835252
[startup+20.0021 s]
Raw data (loadavg): 0.89 0.94 0.91 2/63 25392
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18005 0 1 0 1736 43 0 0 25 0 10 0 489559980 854986752 20284 4294967295 134512640 134569956 3221224400 3221214744 1131220225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208737 20284 13073 16 0 208721 0
vsize: 834948
[startup+30.0033 s]
Raw data (loadavg): 0.91 0.94 0.91 2/63 25392
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18005 0 1 0 2604 44 0 0 25 0 10 0 489559980 854986752 21099 4294967295 134512640 134569956 3221224400 3221214744 1131220225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208737 21099 13073 16 0 208721 0
vsize: 834948
[startup+40.0058 s]
Raw data (loadavg): 0.92 0.94 0.91 2/63 25392
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18005 0 1 0 3469 44 0 0 25 0 10 0 489559980 854986752 21464 4294967295 134512640 134569956 3221224400 3221214700 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208737 21464 13073 16 0 208721 0
vsize: 834948
[startup+50.0093 s]
Raw data (loadavg): 1.01 0.96 0.91 2/64 25393
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18077 0 1 0 4294 45 0 0 25 0 11 0 489559980 864051200 23810 4294967295 134512640 134569956 3221224400 3221214712 1131251702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210950 23810 13073 16 0 210934 0
vsize: 843800
[startup+60.0098 s]
Raw data (loadavg): 1.01 0.96 0.91 2/64 25393
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18077 0 1 0 5213 46 0 0 25 0 11 0 489559980 863776768 24009 4294967295 134512640 134569956 3221224400 3221214800 1131235242 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 24009 13073 16 0 210867 0
vsize: 843532
[startup+70.0105 s]
Raw data (loadavg): 1.01 0.96 0.91 2/64 25393
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18077 0 1 0 6139 46 0 0 25 0 11 0 489559980 863776768 24174 4294967295 134512640 134569956 3221224400 3221214840 1131181120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 24174 13073 16 0 210867 0
vsize: 843532
[startup+80.013 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 25393
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18077 0 1 0 7087 46 0 0 25 0 11 0 489559980 863776768 24624 4294967295 134512640 134569956 3221224400 3221214840 1131181141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 24624 13073 16 0 210867 0
vsize: 843532
[startup+90.0129 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 25393
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 8051 46 0 0 25 0 11 0 489559980 863776768 24683 4294967295 134512640 134569956 3221224400 3221214840 1131181145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 24683 13073 16 0 210867 0
vsize: 843532
[startup+100.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/67 25396
Raw data (stat): 25383 (java) S 25382 30854 30853 0 -1 0 18078 0 1 0 9022 47 0 0 25 0 11 0 489559980 863776768 24758 4294967295 134512640 134569956 3221224400 3221213440 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 24758 13073 16 0 210867 0
vsize: 843532
[startup+110.03 s]
Raw data (loadavg): 1.08 0.98 0.92 2/64 25446
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 9982 56 0 0 25 0 11 0 489559980 863776768 24884 4294967295 134512640 134569956 3221224400 3221214840 1131181120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 24884 13073 16 0 210867 0
vsize: 843532
[startup+120.029 s]
Raw data (loadavg): 1.06 0.98 0.92 2/64 25446
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 10955 57 0 0 25 0 11 0 489559980 863776768 25064 4294967295 134512640 134569956 3221224400 3221214800 1131235415 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 25064 13073 16 0 210867 0
vsize: 843532
[startup+130.03 s]
Raw data (loadavg): 1.05 0.98 0.92 2/64 25446
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 11925 57 0 0 24 0 11 0 489559980 863776768 25308 4294967295 134512640 134569956 3221224400 3221214896 1131321653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 25308 13073 16 0 210867 0
vsize: 843532
[startup+140.036 s]
Raw data (loadavg): 1.12 1.00 0.93 2/64 25446
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 12900 57 0 0 25 0 11 0 489559980 863776768 25518 4294967295 134512640 134569956 3221224400 3221214800 1131235320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 25518 13073 16 0 210867 0
vsize: 843532
[startup+150.037 s]
Raw data (loadavg): 1.10 1.00 0.93 2/64 25446
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 13876 58 0 0 25 0 11 0 489559980 863776768 25713 4294967295 134512640 134569956 3221224400 3221214312 1131330967 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 25713 13073 16 0 210867 0
vsize: 843532
[startup+160.037 s]
Raw data (loadavg): 1.08 1.00 0.93 2/64 25446
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 14852 58 0 0 25 0 11 0 489559980 863776768 25892 4294967295 134512640 134569956 3221224400 3221214800 1131235289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 25892 13073 16 0 210867 0
vsize: 843532
[startup+170.038 s]
Raw data (loadavg): 1.07 1.00 0.93 2/64 25446
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 15827 59 0 0 25 0 11 0 489559980 863776768 26061 4294967295 134512640 134569956 3221224400 3221214816 1131334487 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 26061 13073 16 0 210867 0
vsize: 843532
[startup+180.039 s]
Raw data (loadavg): 1.06 1.00 0.93 2/64 25448
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 16799 59 0 0 24 0 11 0 489559980 863776768 26259 4294967295 134512640 134569956 3221224400 3221214864 1131351821 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 26259 13073 16 0 210867 0
vsize: 843532
[startup+190.039 s]
Raw data (loadavg): 1.05 1.00 0.93 2/64 25448
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 17774 59 0 0 25 0 11 0 489559980 863776768 26415 4294967295 134512640 134569956 3221224400 3221214800 1131234877 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 26415 13073 16 0 210867 0
vsize: 843532
[startup+200.039 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 25448
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 18750 59 0 0 25 0 11 0 489559980 863776768 26596 4294967295 134512640 134569956 3221224400 3221214856 1131347244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 26596 13073 16 0 210867 0
vsize: 843532
[startup+210.04 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 25448
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 19725 59 0 0 25 0 11 0 489559980 863776768 26745 4294967295 134512640 134569956 3221224400 3221214840 1131181153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 26745 13073 16 0 210867 0
vsize: 843532
[startup+220.04 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 25448
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 20698 59 0 0 25 0 11 0 489559980 863776768 26886 4294967295 134512640 134569956 3221224400 3221214800 1131235289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 26886 13073 16 0 210867 0
vsize: 843532
[startup+230.041 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 25448
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 21668 59 0 0 25 0 11 0 489559980 863776768 27099 4294967295 134512640 134569956 3221224400 3221214800 1131235908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 27099 13073 16 0 210867 0
vsize: 843532
[startup+240.041 s]
Raw data (loadavg): 1.09 1.02 0.93 2/64 25448
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 22636 59 0 0 25 0 11 0 489559980 863776768 27364 4294967295 134512640 134569956 3221224400 3221214840 1131181249 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 27364 13073 16 0 210867 0
vsize: 843532
[startup+250.041 s]
Raw data (loadavg): 1.08 1.02 0.93 2/64 25448
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 23606 59 0 0 25 0 11 0 489559980 863776768 27653 4294967295 134512640 134569956 3221224400 3221214800 1131235511 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 27653 13073 16 0 210867 0
vsize: 843532
[startup+260.043 s]
Raw data (loadavg): 1.07 1.01 0.93 2/64 25448
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 24575 59 0 0 25 0 11 0 489559980 863776768 27923 4294967295 134512640 134569956 3221224400 3221214800 1131235917 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 27923 13073 16 0 210867 0
vsize: 843532
[startup+270.043 s]
Raw data (loadavg): 1.06 1.01 0.93 2/64 25448
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 25543 59 0 0 25 0 11 0 489559980 863776768 28168 4294967295 134512640 134569956 3221224400 3221214800 1131235289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 28168 13073 16 0 210867 0
vsize: 843532
[startup+280.044 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 25448
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 26512 59 0 0 25 0 11 0 489559980 863776768 28406 4294967295 134512640 134569956 3221224400 3221214800 1131235152 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 28406 13073 16 0 210867 0
vsize: 843532
[startup+290.044 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 25448
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 27481 59 0 0 25 0 11 0 489559980 863776768 28677 4294967295 134512640 134569956 3221224400 3221214840 1131181113 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 28677 13073 16 0 210867 0
vsize: 843532
[startup+300.044 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 25448
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 28450 59 0 0 25 0 11 0 489559980 863776768 28936 4294967295 134512640 134569956 3221224400 3221214184 1085679358 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 28936 13073 16 0 210867 0
vsize: 843532
[startup+310.044 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 25448
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 29418 59 0 0 24 0 11 0 489559980 863776768 29215 4294967295 134512640 134569956 3221224400 3221214800 1131234885 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 29215 13073 16 0 210867 0
vsize: 843532
[startup+320.044 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 25448
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 30389 59 0 0 25 0 11 0 489559980 863776768 29444 4294967295 134512640 134569956 3221224400 3221214672 1131251587 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 29444 13073 16 0 210867 0
vsize: 843532
[startup+330.045 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 25448
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 31359 59 0 0 25 0 11 0 489559980 863776768 29681 4294967295 134512640 134569956 3221224400 3221214800 1131235072 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 29681 13073 16 0 210867 0
vsize: 843532
[startup+340.045 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 25448
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 32328 59 0 0 25 0 11 0 489559980 863776768 29892 4294967295 134512640 134569956 3221224400 3221214840 1131181145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 29892 13073 16 0 210867 0
vsize: 843532
[startup+350.045 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 25448
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 33296 60 0 0 25 0 11 0 489559980 863776768 30150 4294967295 134512640 134569956 3221224400 3221214144 1131330481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 30150 13073 16 0 210867 0
vsize: 843532
[startup+360.046 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 25448
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 34263 60 0 0 25 0 11 0 489559980 863776768 30387 4294967295 134512640 134569956 3221224400 3221214840 1131416248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 30387 13073 16 0 210867 0
vsize: 843532
[startup+370.045 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 25448
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 35230 60 0 0 25 0 11 0 489559980 863776768 30644 4294967295 134512640 134569956 3221224400 3221214464 1131559986 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 30644 13073 16 0 210867 0
vsize: 843532
[startup+380.047 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 25448
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 36197 60 0 0 25 0 11 0 489559980 863776768 30935 4294967295 134512640 134569956 3221224400 3221214800 1131235441 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 30935 13073 16 0 210867 0
vsize: 843532
[startup+390.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 25448
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 37163 60 0 0 25 0 11 0 489559980 863776768 31166 4294967295 134512640 134569956 3221224400 3221214800 1131234967 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 31166 13073 16 0 210867 0
vsize: 843532
[startup+400.048 s]
Raw data (loadavg): 1.08 1.02 0.94 2/64 25448
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 38127 60 0 0 25 0 11 0 489559980 863776768 31488 4294967295 134512640 134569956 3221224400 3221214672 1131251741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 31488 13073 16 0 210867 0
vsize: 843532
[startup+410.048 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 39090 60 0 0 25 0 11 0 489559980 863776768 31717 4294967295 134512640 134569956 3221224400 3221214840 1131416181 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 31717 13073 16 0 210867 0
vsize: 843532
[startup+420.049 s]
Raw data (loadavg): 1.06 1.02 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 40054 60 0 0 25 0 11 0 489559980 863776768 31945 4294967295 134512640 134569956 3221224400 3221214840 1131181227 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 31945 13073 16 0 210867 0
vsize: 843532
[startup+430.05 s]
Raw data (loadavg): 1.05 1.01 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 41017 60 0 0 25 0 11 0 489559980 863776768 32226 4294967295 134512640 134569956 3221224400 3221214800 1131234910 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 32226 13073 16 0 210867 0
vsize: 843532
[startup+440.05 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 41985 60 0 0 25 0 11 0 489559980 863776768 32502 4294967295 134512640 134569956 3221224400 3221214840 1131181145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 32502 13073 16 0 210867 0
vsize: 843532
[startup+450.051 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 42954 60 0 0 25 0 11 0 489559980 863776768 32745 4294967295 134512640 134569956 3221224400 3221214800 1131235875 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 32745 13073 16 0 210867 0
vsize: 843532
[startup+460.051 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 43924 60 0 0 25 0 11 0 489559980 863776768 32965 4294967295 134512640 134569956 3221224400 3221214840 1131181145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 32965 13073 16 0 210867 0
vsize: 843532
[startup+470.052 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 44891 60 0 0 24 0 11 0 489559980 863776768 33196 4294967295 134512640 134569956 3221224400 3221214896 1131320682 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 33196 13073 16 0 210867 0
vsize: 843532
[startup+480.052 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 45861 61 0 0 25 0 11 0 489559980 863776768 33419 4294967295 134512640 134569956 3221224400 3221214840 1131181145 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 33419 13073 16 0 210867 0
vsize: 843532
[startup+490.053 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 46832 61 0 0 25 0 11 0 489559980 863776768 33612 4294967295 134512640 134569956 3221224400 3221214896 1131320709 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 33612 13073 16 0 210867 0
vsize: 843532
[startup+500.053 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 47803 61 0 0 25 0 11 0 489559980 863776768 33810 4294967295 134512640 134569956 3221224400 3221214800 1131235441 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 33810 13073 16 0 210867 0
vsize: 843532
[startup+510.053 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 48775 61 0 0 25 0 11 0 489559980 863776768 33999 4294967295 134512640 134569956 3221224400 3221214384 1131536124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 33999 13073 16 0 210867 0
vsize: 843532
[startup+520.054 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 49746 61 0 0 25 0 11 0 489559980 863776768 34194 4294967295 134512640 134569956 3221224400 3221214800 1131235286 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 34194 13073 16 0 210867 0
vsize: 843532
[startup+530.055 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 50718 61 0 0 25 0 11 0 489559980 863776768 34375 4294967295 134512640 134569956 3221224400 3221214896 1131320498 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 34375 13073 16 0 210867 0
vsize: 843532
[startup+540.056 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 51689 61 0 0 25 0 11 0 489559980 863776768 34558 4294967295 134512640 134569956 3221224400 3221214800 1131235286 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 34558 13073 16 0 210867 0
vsize: 843532
[startup+550.055 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 52655 62 0 0 25 0 11 0 489559980 863776768 34746 4294967295 134512640 134569956 3221224400 3221214840 1131181113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 34746 13073 16 0 210867 0
vsize: 843532
[startup+560.057 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) S 25382 30854 30853 0 -1 0 18078 0 1 0 53617 62 0 0 25 0 11 0 489559980 863776768 34948 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 34948 13073 16 0 210867 0
vsize: 843532
[startup+570.057 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 54579 63 0 0 25 0 11 0 489559980 863776768 35245 4294967295 134512640 134569956 3221224400 3221214616 1131330488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 35245 13073 16 0 210867 0
vsize: 843532
[startup+580.058 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 55541 64 0 0 25 0 11 0 489559980 863776768 35525 4294967295 134512640 134569956 3221224400 3221214240 1131330452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 35525 13073 16 0 210867 0
vsize: 843532
[startup+590.058 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 56505 64 0 0 25 0 11 0 489559980 863776768 35769 4294967295 134512640 134569956 3221224400 3221214800 1131235753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 35769 13073 16 0 210867 0
vsize: 843532
[startup+600.058 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 57467 64 0 0 25 0 11 0 489559980 863776768 36047 4294967295 134512640 134569956 3221224400 3221214888 1131423030 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 36047 13073 16 0 210867 0
vsize: 843532
[startup+610.059 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 58430 64 0 0 25 0 11 0 489559980 863776768 36320 4294967295 134512640 134569956 3221224400 3221214240 1131330452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 36320 13073 16 0 210867 0
vsize: 843532
[startup+620.059 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 59394 65 0 0 25 0 11 0 489559980 863776768 36542 4294967295 134512640 134569956 3221224400 3221214896 1131321015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 36542 13073 16 0 210867 0
vsize: 843532
[startup+630.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 60357 65 0 0 25 0 11 0 489559980 863776768 36815 4294967295 134512640 134569956 3221224400 3221214104 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 36815 13073 16 0 210867 0
vsize: 843532
[startup+640.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 61321 65 0 0 25 0 11 0 489559980 863776768 37075 4294967295 134512640 134569956 3221224400 3221214800 1131235487 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 37075 13073 16 0 210867 0
vsize: 843532
[startup+650.061 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 62282 66 0 0 24 0 11 0 489559980 863776768 37353 4294967295 134512640 134569956 3221224400 3221214840 1131181120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 37353 13073 16 0 210867 0
vsize: 843532
[startup+660.062 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 63248 66 0 0 25 0 11 0 489559980 863776768 37602 4294967295 134512640 134569956 3221224400 3221214800 1131235289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 37602 13073 16 0 210867 0
vsize: 843532
[startup+670.063 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 64214 67 0 0 25 0 11 0 489559980 863776768 37830 4294967295 134512640 134569956 3221224400 3221214800 1131235289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 37830 13073 16 0 210867 0
vsize: 843532
[startup+680.064 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 65181 67 0 0 25 0 11 0 489559980 863776768 38048 4294967295 134512640 134569956 3221224400 3221214840 1131181198 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 38048 13073 16 0 210867 0
vsize: 843532
[startup+690.065 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 66150 67 0 0 25 0 11 0 489559980 863776768 38247 4294967295 134512640 134569956 3221224400 3221214800 1131235441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 38247 13073 16 0 210867 0
vsize: 843532
[startup+700.065 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 67118 67 0 0 25 0 11 0 489559980 863776768 38435 4294967295 134512640 134569956 3221224400 3221214800 1131235223 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 38435 13073 16 0 210867 0
vsize: 843532
[startup+710.066 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 68085 68 0 0 25 0 11 0 489559980 863776768 38618 4294967295 134512640 134569956 3221224400 3221214392 1085632292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 38618 13073 16 0 210867 0
vsize: 843532
[startup+720.067 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 69050 68 0 0 25 0 11 0 489559980 863776768 38837 4294967295 134512640 134569956 3221224400 3221214912 1131411004 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 38837 13073 16 0 210867 0
vsize: 843532
[startup+730.067 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 70017 69 0 0 25 0 11 0 489559980 863776768 39022 4294967295 134512640 134569956 3221224400 3221214800 1131234910 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 39022 13073 16 0 210867 0
vsize: 843532
[startup+740.067 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 70982 69 0 0 25 0 11 0 489559980 863776768 39264 4294967295 134512640 134569956 3221224400 3221214432 1085679446 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 39264 13073 16 0 210867 0
vsize: 843532
[startup+750.068 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 71950 70 0 0 25 0 11 0 489559980 863776768 39445 4294967295 134512640 134569956 3221224400 3221214800 1131234881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 39445 13073 16 0 210867 0
vsize: 843532
[startup+760.069 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 72914 70 0 0 25 0 11 0 489559980 863776768 39643 4294967295 134512640 134569956 3221224400 3221214892 1131307406 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 39643 13073 16 0 210867 0
vsize: 843532
[startup+770.068 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 73879 71 0 0 25 0 11 0 489559980 863776768 39825 4294967295 134512640 134569956 3221224400 3221214840 1131181141 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 39825 13073 16 0 210867 0
vsize: 843532
[startup+780.068 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 74838 71 0 0 25 0 11 0 489559980 863776768 40086 4294967295 134512640 134569956 3221224400 3221214568 1131561062 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 40086 13073 16 0 210867 0
vsize: 843532
[startup+790.069 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 75795 71 0 0 25 0 11 0 489559980 863776768 40434 4294967295 134512640 134569956 3221224400 3221214800 1131235374 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 40434 13073 16 0 210867 0
vsize: 843532
[startup+800.069 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 76757 72 0 0 25 0 11 0 489559980 863776768 40724 4294967295 134512640 134569956 3221224400 3221214240 1131330513 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210883 40724 13073 16 0 210867 0
vsize: 843532
[startup+810.069 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 77714 72 0 0 25 0 11 0 489559980 863776768 41056 4294967295 134512640 134569956 3221224400 3221214800 1131235402 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 41056 13073 16 0 210867 0
vsize: 843532
[startup+820.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 78676 73 0 0 25 0 11 0 489559980 863776768 41363 4294967295 134512640 134569956 3221224400 3221214888 1131422919 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 41363 13073 16 0 210867 0
vsize: 843532
[startup+830.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 79634 73 0 0 25 0 11 0 489559980 863776768 41694 4294967295 134512640 134569956 3221224400 3221214840 1131181170 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 41694 13073 16 0 210867 0
vsize: 843532
[startup+840.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 80591 74 0 0 25 0 11 0 489559980 863776768 42010 4294967295 134512640 134569956 3221224400 3221214800 1131235289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 42010 13073 16 0 210867 0
vsize: 843532
[startup+850.069 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 81552 74 0 0 25 0 11 0 489559980 863776768 42233 4294967295 134512640 134569956 3221224400 3221214800 1131234877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 42233 13073 16 0 210867 0
vsize: 843532
[startup+860.071 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 82510 75 0 0 25 0 11 0 489559980 863776768 42547 4294967295 134512640 134569956 3221224400 3221214800 1131235511 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 42547 13073 16 0 210867 0
vsize: 843532
[startup+870.071 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) S 25382 30854 30853 0 -1 0 18078 0 1 0 83470 75 0 0 25 0 11 0 489559980 863776768 42856 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 42856 13073 16 0 210867 0
vsize: 843532
[startup+880.071 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 84433 76 0 0 25 0 11 0 489559980 863776768 43083 4294967295 134512640 134569956 3221224400 3221214800 1131235244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 43083 13073 16 0 210867 0
vsize: 843532
[startup+890.072 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 85392 77 0 0 25 0 11 0 489559980 863776768 43336 4294967295 134512640 134569956 3221224400 3221214800 1131234953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 43336 13073 16 0 210867 0
vsize: 843532
[startup+900.071 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 86357 77 0 0 25 0 11 0 489559980 863776768 43562 4294967295 134512640 134569956 3221224400 3221214288 1085679766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 43562 13073 16 0 210867 0
vsize: 843532
[startup+910.072 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 87317 77 0 0 25 0 11 0 489559980 863776768 43804 4294967295 134512640 134569956 3221224400 3221214800 1131234881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 43804 13073 16 0 210867 0
vsize: 843532
[startup+920.078 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 88277 78 0 0 25 0 11 0 489559980 863776768 44072 4294967295 134512640 134569956 3221224400 3221214800 1131236134 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 44072 13073 16 0 210867 0
vsize: 843532
[startup+930.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 89242 78 0 0 25 0 11 0 489559980 863776768 44295 4294967295 134512640 134569956 3221224400 3221214956 1131321950 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 44295 13073 16 0 210867 0
vsize: 843532
[startup+940.079 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 90200 79 0 0 25 0 11 0 489559980 863776768 44533 4294967295 134512640 134569956 3221224400 3221214784 1131251577 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 44533 13073 16 0 210867 0
vsize: 843532
[startup+950.079 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 91160 79 0 0 24 0 11 0 489559980 863776768 44781 4294967295 134512640 134569956 3221224400 3221214192 1131535968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 44781 13073 16 0 210867 0
vsize: 843532
[startup+960.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 92124 79 0 0 25 0 11 0 489559980 863776768 45009 4294967295 134512640 134569956 3221224400 3221214472 1131559994 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 45009 13073 16 0 210867 0
vsize: 843532
[startup+970.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 93084 80 0 0 25 0 11 0 489559980 863776768 45245 4294967295 134512640 134569956 3221224400 3221214800 1131235831 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 45245 13073 16 0 210867 0
vsize: 843532
[startup+980.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) S 25382 30854 30853 0 -1 0 18078 0 1 0 94042 80 0 0 25 0 11 0 489559980 863776768 45487 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 45487 13073 16 0 210867 0
vsize: 843532
[startup+990.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 95004 81 0 0 25 0 11 0 489559980 863776768 45731 4294967295 134512640 134569956 3221224400 3221214892 1131234867 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 45731 13073 16 0 210867 0
vsize: 843532
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 95961 81 0 0 25 0 11 0 489559980 863776768 45991 4294967295 134512640 134569956 3221224400 3221214892 1131416108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 45991 13073 16 0 210867 0
vsize: 843532
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 96923 81 0 0 25 0 11 0 489559980 863776768 46226 4294967295 134512640 134569956 3221224400 3221214800 1131235216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 46226 13073 16 0 210867 0
vsize: 843532
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 97881 81 0 0 25 0 11 0 489559980 863776768 46495 4294967295 134512640 134569956 3221224400 3221214036 1131330512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 46495 13073 16 0 210867 0
vsize: 843532
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 98837 82 0 0 25 0 11 0 489559980 863776768 46765 4294967295 134512640 134569956 3221224400 3221214800 1131235465 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 46765 13073 16 0 210867 0
vsize: 843532
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 99798 82 0 0 25 0 11 0 489559980 863776768 47006 4294967295 134512640 134569956 3221224400 3221214800 1131235242 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 47006 13073 16 0 210867 0
vsize: 843532
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 100755 83 0 0 25 0 11 0 489559980 863776768 47267 4294967295 134512640 134569956 3221224400 3221214840 1131181223 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 47267 13073 16 0 210867 0
vsize: 843532
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 101712 84 0 0 24 0 11 0 489559980 863776768 47525 4294967295 134512640 134569956 3221224400 3221214896 1131320831 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 47525 13073 16 0 210867 0
vsize: 843532
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 102674 84 0 0 25 0 11 0 489559980 863776768 47760 4294967295 134512640 134569956 3221224400 3221214800 1131235299 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 47760 13073 16 0 210867 0
vsize: 843532
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 103630 85 0 0 25 0 11 0 489559980 863776768 48028 4294967295 134512640 134569956 3221224400 3221214840 1131181249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 48028 13073 16 0 210867 0
vsize: 843532
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 104591 85 0 0 25 0 11 0 489559980 863776768 48260 4294967295 134512640 134569956 3221224400 3221214664 1131562908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 48260 13073 16 0 210867 0
vsize: 843532
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 105545 86 0 0 25 0 11 0 489559980 863776768 48653 4294967295 134512640 134569956 3221224400 3221214800 1131235242 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 48653 13073 16 0 210867 0
vsize: 843532
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 106501 86 0 0 24 0 11 0 489559980 863776768 48998 4294967295 134512640 134569956 3221224400 3221214800 1131235550 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 48998 13073 16 0 210867 0
vsize: 843532
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 107461 87 0 0 25 0 11 0 489559980 863776768 49331 4294967295 134512640 134569956 3221224400 3221214800 1131235072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 49331 13073 16 0 210867 0
vsize: 843532
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 108416 87 0 0 25 0 11 0 489559980 863776768 49704 4294967295 134512640 134569956 3221224400 3221214800 1131234877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 49704 13073 16 0 210867 0
vsize: 843532
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) S 25382 30854 30853 0 -1 0 18078 0 1 0 109376 88 0 0 25 0 11 0 489559980 863776768 50042 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 50042 13073 16 0 210867 0
vsize: 843532
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 110330 89 0 0 25 0 11 0 489559980 863776768 50399 4294967295 134512640 134569956 3221224400 3221214096 1131330551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 50399 13073 16 0 210867 0
vsize: 843532
[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 111285 89 0 0 25 0 11 0 489559980 863776768 50770 4294967295 134512640 134569956 3221224400 3221214800 1131235915 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 50770 13073 16 0 210867 0
vsize: 843532
[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 112244 89 0 0 25 0 11 0 489559980 863776768 51082 4294967295 134512640 134569956 3221224400 3221214840 1131181126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 51082 13073 16 0 210867 0
vsize: 843532
[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 113198 89 0 0 25 0 11 0 489559980 863776768 51498 4294967295 134512640 134569956 3221224400 3221214840 1131181120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 51498 13073 16 0 210867 0
vsize: 843532
[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 114152 90 0 0 24 0 11 0 489559980 863776768 51833 4294967295 134512640 134569956 3221224400 3221214800 1131235289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 51833 13073 16 0 210867 0
vsize: 843532
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 115110 91 0 0 25 0 11 0 489559980 863776768 52175 4294967295 134512640 134569956 3221224400 3221214840 1131181318 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 52175 13073 16 0 210867 0
vsize: 843532
[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 116063 91 0 0 25 0 11 0 489559980 863776768 52489 4294967295 134512640 134569956 3221224400 3221214720 1131357213 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 52489 13073 16 0 210867 0
vsize: 843532
[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 117022 91 0 0 25 0 11 0 489559980 863776768 52831 4294967295 134512640 134569956 3221224400 3221214888 1131422547 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 52831 13073 16 0 210867 0
vsize: 843532
[startup+1230.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 117977 92 0 0 25 0 11 0 489559980 863776768 53136 4294967295 134512640 134569956 3221224400 3221214832 1131250108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 53136 13073 16 0 210867 0
vsize: 843532
[startup+1240.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 118931 92 0 0 25 0 11 0 489559980 863776768 53468 4294967295 134512640 134569956 3221224400 3221214800 1131234881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 53468 13073 16 0 210867 0
vsize: 843532
[startup+1250.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 119888 93 0 0 22 0 11 0 489559980 863776768 53773 4294967295 134512640 134569956 3221224400 3221214800 1131235188 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 53773 13073 16 0 210867 0
vsize: 843532
[startup+1260.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 25450
Raw data (stat): 25383 (java) R 25382 30854 30853 0 -1 0 18078 0 1 0 120842 93 0 0 25 0 11 0 489559980 863776768 54069 4294967295 134512640 134569956 3221224400 3221214800 1131235072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210883 54069 13073 16 0 210867 0
vsize: 843532
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.24 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 25452
Raw data (stat): 25383 (java) Z 25382 30854 30853 0 -1 1036 18078 38636 1 0 120844 103 5953 102 25 0 1 0 489559980 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): 1260.24
CPU time (s): 1270.04
CPU user time (s): 1267.98
CPU system time (s): 2.05769
CPU usage (%): 100.778
Max. virtual memory (Kb): 843800
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####