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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-share2b.opb
MD5SUM	4012b33f10ee9cb79561239f68fdcd6b
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	870
Biggest coefficient in the objective function	204010946560
Number of bits for the biggest coefficient in the objective function	38
Sum of the numbers in the objective function	4534411718529
Number of bits of the sum of numbers in the objective function	43
Biggest number in a constraint	552977039360
Number of bits of the biggest number in a constraint	40
Biggest sum of numbers in a constraint	10976862656529
Number of bits of the biggest sum of numbers	44
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.220965
Number of variables	2370
Total number of constraints	96
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	96
Minimum length of a constraint	30
Maximum length of a constraint	360
Trace number 22669

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        778100 kB
Buffers:         14052 kB
Cached:         221096 kB
SwapCached:        336 kB
Active:          23784 kB
Inactive:       213456 kB
HighTotal:      131008 kB
HighFree:        99960 kB
LowTotal:       903652 kB
LowFree:        678140 kB
SwapTotal:     2097136 kB
SwapFree:      2095968 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5748 kB
Slab:            13564 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-22 03:51:08 (client local time) WITH STATUS 143 IN 1252.45 SECONDS
stats: 11384 7 1252.45 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-share2b.opb
c reading problem 
c [nbvar=2370]
c [nbconstr=96]
c time 4.933
c #vars     2370
c #clauses  110
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.73 0.94 0.97 2/54 2919
Raw data (stat): 2919 (runsolver) R 2918 30701 30700 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 492276572 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.0139 s]
Raw data (loadavg): 0.85 0.96 0.98 4/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18075 0 1 0 702 50 0 0 25 0 11 0 492276572 864026624 22117 4294967295 134512640 134569956 3221224400 3221213764 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210944 22117 13073 16 0 210928 0
vsize: 843776
[startup+20.0283 s]
Raw data (loadavg): 1.02 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18076 0 1 0 1609 50 0 0 25 0 11 0 492276572 863252480 22126 4294967295 134512640 134569956 3221224400 3221214744 1131282935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 22126 13073 16 0 210739 0
vsize: 843020
[startup+30.0285 s]
Raw data (loadavg): 1.02 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) S 2918 30701 30700 0 -1 0 18076 0 1 0 2522 51 0 0 25 0 11 0 492276572 863252480 22475 4294967295 134512640 134569956 3221224400 3221213352 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 22475 13073 16 0 210739 0
vsize: 843020
[startup+40.0279 s]
Raw data (loadavg): 1.01 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18077 0 1 0 3446 51 0 0 25 0 11 0 492276572 863252480 22843 4294967295 134512640 134569956 3221224400 3221214744 1131282889 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 22843 13073 16 0 210739 0
vsize: 843020
[startup+50.0285 s]
Raw data (loadavg): 1.01 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18077 0 1 0 4371 51 0 0 25 0 11 0 492276572 863252480 23240 4294967295 134512640 134569956 3221224400 3221214744 1131362681 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210755 23240 13073 16 0 210739 0
vsize: 843020
[startup+60.0282 s]
Raw data (loadavg): 1.01 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18077 0 1 0 5330 52 0 0 25 0 11 0 492276572 863252480 23343 4294967295 134512640 134569956 3221224400 3221214832 1131297713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 23343 13073 16 0 210739 0
vsize: 843020
[startup+70.0289 s]
Raw data (loadavg): 1.01 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18077 0 1 0 6289 52 0 0 24 0 11 0 492276572 863252480 23534 4294967295 134512640 134569956 3221224400 3221214832 1131297564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 23534 13073 16 0 210739 0
vsize: 843020
[startup+80.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18077 0 1 0 7262 52 0 0 25 0 11 0 492276572 863252480 23622 4294967295 134512640 134569956 3221224400 3221214832 1131297716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 23622 13073 16 0 210739 0
vsize: 843020
[startup+90.0297 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 8230 53 0 0 25 0 11 0 492276572 863252480 23693 4294967295 134512640 134569956 3221224400 3221214832 1131297625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 23693 13073 16 0 210739 0
vsize: 843020
[startup+100.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 9199 53 0 0 25 0 11 0 492276572 863252480 23794 4294967295 134512640 134569956 3221224400 3221214832 1131297245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 23794 13073 16 0 210739 0
vsize: 843020
[startup+110.031 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 10167 53 0 0 25 0 11 0 492276572 863252480 23890 4294967295 134512640 134569956 3221224400 3221214400 1085632310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 23890 13073 16 0 210739 0
vsize: 843020
[startup+120.032 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 11143 53 0 0 25 0 11 0 492276572 863252480 24016 4294967295 134512640 134569956 3221224400 3221214744 1131230204 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 24016 13073 16 0 210739 0
vsize: 843020
[startup+130.032 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 12122 54 0 0 25 0 11 0 492276572 863252480 24090 4294967295 134512640 134569956 3221224400 3221214608 1131311335 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 24090 13073 16 0 210739 0
vsize: 843020
[startup+140.032 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 13099 54 0 0 25 0 11 0 492276572 863252480 24148 4294967295 134512640 134569956 3221224400 3221214504 1131286107 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210755 24148 13073 16 0 210739 0
vsize: 843020
[startup+150.033 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 14078 54 0 0 25 0 11 0 492276572 863252480 24241 4294967295 134512640 134569956 3221224400 3221214728 1131287844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 24241 13073 16 0 210739 0
vsize: 843020
[startup+160.033 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 15057 55 0 0 25 0 11 0 492276572 863252480 24302 4294967295 134512640 134569956 3221224400 3221214744 1131283092 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 24302 13073 16 0 210739 0
vsize: 843020
[startup+170.033 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 16034 55 0 0 25 0 11 0 492276572 863252480 24365 4294967295 134512640 134569956 3221224400 3221214744 1131283171 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210755 24365 13073 16 0 210739 0
vsize: 843020
[startup+180.034 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 17015 55 0 0 25 0 11 0 492276572 863252480 24428 4294967295 134512640 134569956 3221224400 3221214832 1131297249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 24428 13073 16 0 210739 0
vsize: 843020
[startup+190.034 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 17991 56 0 0 25 0 11 0 492276572 863252480 24485 4294967295 134512640 134569956 3221224400 3221214744 1131282935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 24485 13073 16 0 210739 0
vsize: 843020
[startup+200.034 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 18967 56 0 0 25 0 11 0 492276572 863252480 24539 4294967295 134512640 134569956 3221224400 3221214828 1131229728 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210755 24539 13073 16 0 210739 0
vsize: 843020
[startup+210.034 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 19942 56 0 0 25 0 11 0 492276572 863252480 24587 4294967295 134512640 134569956 3221224400 3221214988 1130883310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 24587 13073 16 0 210739 0
vsize: 843020
[startup+220.035 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 20903 56 0 0 25 0 11 0 492276572 863252480 24693 4294967295 134512640 134569956 3221224400 3221214128 1085679759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 24693 13073 16 0 210739 0
vsize: 843020
[startup+230.034 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 21858 57 0 0 25 0 11 0 492276572 863252480 24774 4294967295 134512640 134569956 3221224400 3221214744 1131282988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210755 24774 13073 16 0 210739 0
vsize: 843020
[startup+240.035 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 22810 57 0 0 25 0 11 0 492276572 863252480 24817 4294967295 134512640 134569956 3221224400 3221214560 1131338153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 24817 13073 16 0 210739 0
vsize: 843020
[startup+250.036 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 23755 58 0 0 25 0 11 0 492276572 863252480 24915 4294967295 134512640 134569956 3221224400 3221214504 1131286307 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 24915 13073 16 0 210739 0
vsize: 843020
[startup+260.036 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 24696 58 0 0 25 0 11 0 492276572 863252480 25132 4294967295 134512640 134569956 3221224400 3221214832 1131297351 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210755 25132 13073 16 0 210739 0
vsize: 843020
[startup+270.037 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 25640 58 0 0 25 0 11 0 492276572 863252480 25319 4294967295 134512640 134569956 3221224400 3221214156 1131555472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210755 25319 13073 16 0 210739 0
vsize: 843020
[startup+280.037 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 26591 58 0 0 25 0 11 0 492276572 863252480 25563 4294967295 134512640 134569956 3221224400 3221214664 1131519955 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210755 25563 13073 16 0 210739 0
vsize: 843020
[startup+290.036 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 27540 58 0 0 25 0 11 0 492276572 863252480 25794 4294967295 134512640 134569956 3221224400 3221214848 1131179840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210755 25794 13073 16 0 210739 0
vsize: 843020
[startup+300.036 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 28476 58 0 0 25 0 11 0 492276572 863252480 25840 4294967295 134512640 134569956 3221224400 3221214896 1131300549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210755 25840 13073 16 0 210739 0
vsize: 843020
[startup+310.041 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) S 2918 30701 30700 0 -1 0 18078 0 1 0 29421 58 0 0 25 0 11 0 492276572 863252480 26012 4294967295 134512640 134569956 3221224400 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210755 26012 13073 16 0 210739 0
vsize: 843020
[startup+320.048 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 30363 58 0 0 25 0 11 0 492276572 863252480 26250 4294967295 134512640 134569956 3221224400 3221214584 1131455189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210755 26250 13073 16 0 210739 0
vsize: 843020
[startup+330.049 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 31320 58 0 0 25 0 11 0 492276572 863252480 26631 4294967295 134512640 134569956 3221224400 3221214848 1131179994 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210755 26631 13073 16 0 210739 0
vsize: 843020
[startup+340.048 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 32291 58 0 0 25 0 11 0 492276572 863252480 26746 4294967295 134512640 134569956 3221224400 3221214672 1131212842 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210755 26746 13073 16 0 210739 0
vsize: 843020
[startup+350.048 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 33262 58 0 0 25 0 11 0 492276572 863252480 26782 4294967295 134512640 134569956 3221224400 3221214848 1131179833 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210755 26782 13073 16 0 210739 0
vsize: 843020
[startup+360.048 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 34231 58 0 0 25 0 11 0 492276572 863252480 26842 4294967295 134512640 134569956 3221224400 3221214744 1131284377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210755 26842 13073 16 0 210739 0
vsize: 843020
[startup+370.049 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 35201 58 0 0 25 0 11 0 492276572 863252480 26934 4294967295 134512640 134569956 3221224400 3221214496 1131286165 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210755 26934 13073 16 0 210739 0
vsize: 843020
[startup+380.056 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 36173 58 0 0 25 0 11 0 492276572 863252480 27022 4294967295 134512640 134569956 3221224400 3221214832 1131297592 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210755 27022 13073 16 0 210739 0
vsize: 843020
[startup+390.059 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 37151 58 0 0 24 0 11 0 492276572 863252480 27146 4294967295 134512640 134569956 3221224400 3221214744 1131283171 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210755 27146 13073 16 0 210739 0
vsize: 843020
[startup+400.059 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 38135 58 0 0 25 0 11 0 492276572 863252480 27210 4294967295 134512640 134569956 3221224400 3221214744 1131229789 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210755 27210 13073 16 0 210739 0
vsize: 843020
[startup+410.058 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 39110 59 0 0 25 0 11 0 492276572 863252480 27290 4294967295 134512640 134569956 3221224400 3221214896 1131300549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210755 27290 13073 16 0 210739 0
vsize: 843020
[startup+420.059 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 40086 59 0 0 25 0 11 0 492276572 863252480 27338 4294967295 134512640 134569956 3221224400 3221214744 1131283163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 27338 13073 16 0 210739 0
vsize: 843020
[startup+430.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 41056 59 0 0 25 0 11 0 492276572 863252480 27374 4294967295 134512640 134569956 3221224400 3221214848 1131179843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 27374 13073 16 0 210739 0
vsize: 843020
[startup+440.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) S 2918 30701 30700 0 -1 0 18078 0 1 0 42023 59 0 0 25 0 11 0 492276572 863252480 27404 4294967295 134512640 134569956 3221224400 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 27404 13073 16 0 210739 0
vsize: 843020
[startup+450.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 42992 60 0 0 25 0 11 0 492276572 863252480 27512 4294967295 134512640 134569956 3221224400 3221214880 1131217031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 27512 13073 16 0 210739 0
vsize: 843020
[startup+460.061 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 43965 60 0 0 25 0 11 0 492276572 863252480 27579 4294967295 134512640 134569956 3221224400 3221214848 1131179857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 27579 13073 16 0 210739 0
vsize: 843020
[startup+470.062 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) S 2918 30701 30700 0 -1 0 18078 0 1 0 44937 60 0 0 25 0 11 0 492276572 863252480 27724 4294967295 134512640 134569956 3221224400 3221213576 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 27724 13073 16 0 210739 0
vsize: 843020
[startup+480.069 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 45919 61 0 0 25 0 11 0 492276572 863252480 27821 4294967295 134512640 134569956 3221224400 3221214128 1085679747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 27821 13073 16 0 210739 0
vsize: 843020
[startup+490.077 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 46894 61 0 0 25 0 11 0 492276572 863252480 27914 4294967295 134512640 134569956 3221224400 3221214664 1131519824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 27914 13073 16 0 210739 0
vsize: 843020
[startup+500.078 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 47871 62 0 0 25 0 11 0 492276572 863252480 27977 4294967295 134512640 134569956 3221224400 3221214744 1131282988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 27977 13073 16 0 210739 0
vsize: 843020
[startup+510.078 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 48851 62 0 0 25 0 11 0 492276572 863252480 28046 4294967295 134512640 134569956 3221224400 3221214744 1131282897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 28046 13073 16 0 210739 0
vsize: 843020
[startup+520.079 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 49832 62 0 0 25 0 11 0 492276572 863252480 28077 4294967295 134512640 134569956 3221224400 3221214208 1131555473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 28077 13073 16 0 210739 0
vsize: 843020
[startup+530.079 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 50808 62 0 0 25 0 11 0 492276572 863252480 28142 4294967295 134512640 134569956 3221224400 3221214680 1131283148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 28142 13073 16 0 210739 0
vsize: 843020
[startup+540.079 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 51785 63 0 0 25 0 11 0 492276572 863252480 28224 4294967295 134512640 134569956 3221224400 3221214768 1131297254 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 28224 13073 16 0 210739 0
vsize: 843020
[startup+550.08 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 52761 63 0 0 25 0 11 0 492276572 863252480 28255 4294967295 134512640 134569956 3221224400 3221214768 1131297685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 28255 13073 16 0 210739 0
vsize: 843020
[startup+560.081 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 53735 63 0 0 25 0 11 0 492276572 863252480 28308 4294967295 134512640 134569956 3221224400 3221214680 1131283155 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 28308 13073 16 0 210739 0
vsize: 843020
[startup+570.081 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 54715 64 0 0 25 0 11 0 492276572 863252480 28371 4294967295 134512640 134569956 3221224400 3221214680 1131284283 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 28371 13073 16 0 210739 0
vsize: 843020
[startup+580.082 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 55694 65 0 0 25 0 11 0 492276572 863252480 28430 4294967295 134512640 134569956 3221224400 3221214832 1131300832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 28430 13073 16 0 210739 0
vsize: 843020
[startup+590.081 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 56671 65 0 0 24 0 11 0 492276572 863252480 28524 4294967295 134512640 134569956 3221224400 3221214768 1131297264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 28524 13073 16 0 210739 0
vsize: 843020
[startup+600.082 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 57654 65 0 0 25 0 11 0 492276572 863252480 28565 4294967295 134512640 134569956 3221224400 3221214448 1131286107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 28565 13073 16 0 210739 0
vsize: 843020
[startup+610.083 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 58640 66 0 0 25 0 11 0 492276572 863252480 28591 4294967295 134512640 134569956 3221224400 3221214200 1131556860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 28591 13073 16 0 210739 0
vsize: 843020
[startup+620.083 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 59625 66 0 0 25 0 11 0 492276572 863252480 28613 4294967295 134512640 134569956 3221224400 3221214536 1131555533 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210755 28613 13073 16 0 210739 0
vsize: 843020
[startup+630.084 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 60598 66 0 0 25 0 11 0 492276572 863252480 28637 4294967295 134512640 134569956 3221224400 3221214736 1131282988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 28637 13073 16 0 210739 0
vsize: 843020
[startup+640.084 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 61573 67 0 0 25 0 11 0 492276572 863252480 28673 4294967295 134512640 134569956 3221224400 3221214296 1085679267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 28673 13073 16 0 210739 0
vsize: 843020
[startup+650.083 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 62539 67 0 0 25 0 11 0 492276572 863252480 28712 4294967295 134512640 134569956 3221224400 3221214272 1131556828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 28712 13073 16 0 210739 0
vsize: 843020
[startup+660.083 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 63506 67 0 0 25 0 11 0 492276572 863252480 28761 4294967295 134512640 134569956 3221224400 3221214824 1131297664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 28761 13073 16 0 210739 0
vsize: 843020
[startup+670.085 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 64476 68 0 0 25 0 11 0 492276572 863252480 28854 4294967295 134512640 134569956 3221224400 3221214888 1131301306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 28854 13073 16 0 210739 0
vsize: 843020
[startup+680.086 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 65450 68 0 0 25 0 11 0 492276572 863252480 28965 4294967295 134512640 134569956 3221224400 3221214736 1131282988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 28965 13073 16 0 210739 0
vsize: 843020
[startup+690.085 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 66425 68 0 0 25 0 11 0 492276572 863252480 29065 4294967295 134512640 134569956 3221224400 3221214736 1131282988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 29065 13073 16 0 210739 0
vsize: 843020
[startup+700.086 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 67406 69 0 0 25 0 11 0 492276572 863252480 29164 4294967295 134512640 134569956 3221224400 3221214840 1131179857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 29164 13073 16 0 210739 0
vsize: 843020
[startup+710.086 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 68391 70 0 0 25 0 11 0 492276572 863252480 29205 4294967295 134512640 134569956 3221224400 3221214256 1131549992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 29205 13073 16 0 210739 0
vsize: 843020
[startup+720.087 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 69376 70 0 0 25 0 11 0 492276572 863252480 29241 4294967295 134512640 134569956 3221224400 3221214888 1131300868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 29241 13073 16 0 210739 0
vsize: 843020
[startup+730.088 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 70362 70 0 0 25 0 11 0 492276572 863252480 29277 4294967295 134512640 134569956 3221224400 3221214840 1131179861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 29277 13073 16 0 210739 0
vsize: 843020
[startup+740.089 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 71344 71 0 0 25 0 11 0 492276572 863252480 29302 4294967295 134512640 134569956 3221224400 3221214824 1131297564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 29302 13073 16 0 210739 0
vsize: 843020
[startup+750.094 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 72329 71 0 0 25 0 11 0 492276572 863252480 29339 4294967295 134512640 134569956 3221224400 3221214840 1131179994 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 29339 13073 16 0 210739 0
vsize: 843020
[startup+760.094 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 73315 72 0 0 25 0 11 0 492276572 863252480 29372 4294967295 134512640 134569956 3221224400 3221214488 1131556713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 29372 13073 16 0 210739 0
vsize: 843020
[startup+770.095 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 74301 72 0 0 25 0 11 0 492276572 863252480 29408 4294967295 134512640 134569956 3221224400 3221214160 1131556828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 29408 13073 16 0 210739 0
vsize: 843020
[startup+780.095 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 75282 72 0 0 25 0 11 0 492276572 863252480 29429 4294967295 134512640 134569956 3221224400 3221214332 1131555472 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 29429 13073 16 0 210739 0
vsize: 843020
[startup+790.095 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 76262 72 0 0 25 0 11 0 492276572 863252480 29493 4294967295 134512640 134569956 3221224400 3221214168 1131555420 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210755 29493 13073 16 0 210739 0
vsize: 843020
[startup+800.096 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 77241 72 0 0 25 0 11 0 492276572 863252480 29519 4294967295 134512640 134569956 3221224400 3221214736 1131283026 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 29519 13073 16 0 210739 0
vsize: 843020
[startup+810.096 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 78214 73 0 0 25 0 11 0 492276572 863252480 29544 4294967295 134512640 134569956 3221224400 3221214888 1131300821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 29544 13073 16 0 210739 0
vsize: 843020
[startup+820.097 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 79177 73 0 0 25 0 11 0 492276572 863252480 29605 4294967295 134512640 134569956 3221224400 3221214464 1131286100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 29605 13073 16 0 210739 0
vsize: 843020
[startup+830.097 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 80133 74 0 0 25 0 11 0 492276572 863252480 29695 4294967295 134512640 134569956 3221224400 3221214080 1085679346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 29695 13073 16 0 210739 0
vsize: 843020
[startup+840.213 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 81098 74 0 0 25 0 11 0 492276572 863252480 29782 4294967295 134512640 134569956 3221224400 3221214824 1131297592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 29782 13073 16 0 210739 0
vsize: 843020
[startup+850.213 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 82048 75 0 0 25 0 11 0 492276572 863252480 29869 4294967295 134512640 134569956 3221224400 3221214632 1131519808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 29869 13073 16 0 210739 0
vsize: 843020
[startup+860.214 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 83002 75 0 0 25 0 11 0 492276572 863252480 29974 4294967295 134512640 134569956 3221224400 3221214632 1131519838 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 29974 13073 16 0 210739 0
vsize: 843020
[startup+870.214 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 83966 75 0 0 25 0 11 0 492276572 863252480 30076 4294967295 134512640 134569956 3221224400 3221214160 1131555533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 30076 13073 16 0 210739 0
vsize: 843020
[startup+880.214 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 84922 75 0 0 25 0 11 0 492276572 863252480 30196 4294967295 134512640 134569956 3221224400 3221214832 1131348307 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 30196 13073 16 0 210739 0
vsize: 843020
[startup+890.214 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 85880 75 0 0 25 0 11 0 492276572 863252480 30352 4294967295 134512640 134569956 3221224400 3221214632 1131519824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 30352 13073 16 0 210739 0
vsize: 843020
[startup+900.224 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 86833 75 0 0 25 0 11 0 492276572 863252480 30516 4294967295 134512640 134569956 3221224400 3221214632 1131519838 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 30516 13073 16 0 210739 0
vsize: 843020
[startup+910.327 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 87795 76 0 0 25 0 11 0 492276572 863252480 30687 4294967295 134512640 134569956 3221224400 3221214464 1131286979 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 30687 13073 16 0 210739 0
vsize: 843020
[startup+920.328 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 88764 76 0 0 25 0 11 0 492276572 863252480 30795 4294967295 134512640 134569956 3221224400 3221214720 1131287042 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 30795 13073 16 0 210739 0
vsize: 843020
[startup+930.329 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 89735 76 0 0 25 0 11 0 492276572 863252480 30888 4294967295 134512640 134569956 3221224400 3221214736 1131283171 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 30888 13073 16 0 210739 0
vsize: 843020
[startup+940.328 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 90700 77 0 0 25 0 11 0 492276572 863252480 30998 4294967295 134512640 134569956 3221224400 3221214824 1131297245 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 30998 13073 16 0 210739 0
vsize: 843020
[startup+950.329 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 91672 77 0 0 25 0 11 0 492276572 863252480 31064 4294967295 134512640 134569956 3221224400 3221214656 1131556650 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 31064 13073 16 0 210739 0
vsize: 843020
[startup+960.329 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 92636 78 0 0 25 0 11 0 492276572 863252480 31178 4294967295 134512640 134569956 3221224400 3221214776 1131362681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 31178 13073 16 0 210739 0
vsize: 843020
[startup+970.329 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 93601 78 0 0 25 0 11 0 492276572 863252480 31292 4294967295 134512640 134569956 3221224400 3221213996 1131555408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 31292 13073 16 0 210739 0
vsize: 843020
[startup+980.331 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 94566 79 0 0 24 0 11 0 492276572 863252480 31416 4294967295 134512640 134569956 3221224400 3221214464 1131286316 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210755 31416 13073 16 0 210739 0
vsize: 843020
[startup+990.331 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 95531 79 0 0 25 0 11 0 492276572 863252480 31505 4294967295 134512640 134569956 3221224400 3221214888 1131300534 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 31505 13073 16 0 210739 0
vsize: 843020
[startup+1000.33 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 96495 79 0 0 25 0 11 0 492276572 863252480 31579 4294967295 134512640 134569956 3221224400 3221214888 1131300811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 31579 13073 16 0 210739 0
vsize: 843020
[startup+1010.33 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 97458 79 0 0 25 0 11 0 492276572 863252480 31670 4294967295 134512640 134569956 3221224400 3221214464 1131286107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 31670 13073 16 0 210739 0
vsize: 843020
[startup+1020.33 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 98428 79 0 0 25 0 11 0 492276572 863252480 31773 4294967295 134512640 134569956 3221224400 3221214632 1131519824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 31773 13073 16 0 210739 0
vsize: 843020
[startup+1030.33 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 99391 80 0 0 25 0 11 0 492276572 863252480 31860 4294967295 134512640 134569956 3221224400 3221214464 1131286238 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 31860 13073 16 0 210739 0
vsize: 843020
[startup+1040.33 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 100360 80 0 0 25 0 11 0 492276572 863252480 31957 4294967295 134512640 134569956 3221224400 3221214736 1131282892 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 31957 13073 16 0 210739 0
vsize: 843020
[startup+1050.33 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) S 2918 30701 30700 0 -1 0 18078 0 1 0 101317 81 0 0 25 0 11 0 492276572 863252480 32094 4294967295 134512640 134569956 3221224400 3221213568 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 32094 13073 16 0 210739 0
vsize: 843020
[startup+1060.33 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 102285 81 0 0 25 0 11 0 492276572 863252480 32221 4294967295 134512640 134569956 3221224400 3221214888 1131300728 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 32221 13073 16 0 210739 0
vsize: 843020
[startup+1070.34 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 103256 81 0 0 25 0 11 0 492276572 863252480 32356 4294967295 134512640 134569956 3221224400 3221214840 1131179833 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 32356 13073 16 0 210739 0
vsize: 843020
[startup+1080.34 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 104226 81 0 0 25 0 11 0 492276572 863252480 32486 4294967295 134512640 134569956 3221224400 3221214736 1131283361 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 32486 13073 16 0 210739 0
vsize: 843020
[startup+1090.34 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 105198 81 0 0 25 0 11 0 492276572 863252480 32630 4294967295 134512640 134569956 3221224400 3221214736 1131283719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 32630 13073 16 0 210739 0
vsize: 843020
[startup+1100.34 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 106173 82 0 0 24 0 11 0 492276572 863252480 32725 4294967295 134512640 134569956 3221224400 3221214776 1131362859 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 32725 13073 16 0 210739 0
vsize: 843020
[startup+1110.34 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 107151 82 0 0 25 0 11 0 492276572 863252480 32763 4294967295 134512640 134569956 3221224400 3221214736 1131283814 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 32763 13073 16 0 210739 0
vsize: 843020
[startup+1120.34 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 108125 83 0 0 24 0 11 0 492276572 863252480 32818 4294967295 134512640 134569956 3221224400 3221214264 1131556872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 32818 13073 16 0 210739 0
vsize: 843020
[startup+1130.34 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 109106 83 0 0 25 0 11 0 492276572 863252480 32860 4294967295 134512640 134569956 3221224400 3221214736 1131284300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 32860 13073 16 0 210739 0
vsize: 843020
[startup+1140.34 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 110091 83 0 0 25 0 11 0 492276572 863252480 32903 4294967295 134512640 134569956 3221224400 3221214888 1131300769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 32903 13073 16 0 210739 0
vsize: 843020
[startup+1150.34 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 111074 84 0 0 25 0 11 0 492276572 863252480 32949 4294967295 134512640 134569956 3221224400 3221214824 1131297264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 32949 13073 16 0 210739 0
vsize: 843020
[startup+1160.34 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 112059 84 0 0 25 0 11 0 492276572 863252480 33000 4294967295 134512640 134569956 3221224400 3221214736 1131229760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210755 33000 13073 16 0 210739 0
vsize: 843020
[startup+1170.34 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 113041 84 0 0 25 0 11 0 492276572 863252480 33055 4294967295 134512640 134569956 3221224400 3221214160 1131555412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 33055 13073 16 0 210739 0
vsize: 843020
[startup+1180.34 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 114023 85 0 0 25 0 11 0 492276572 863252480 33118 4294967295 134512640 134569956 3221224400 3221214736 1131283687 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 33118 13073 16 0 210739 0
vsize: 843020
[startup+1190.35 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 115002 85 0 0 25 0 11 0 492276572 863252480 33168 4294967295 134512640 134569956 3221224400 3221214636 1131556617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 33168 13073 16 0 210739 0
vsize: 843020
[startup+1200.35 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 115988 85 0 0 25 0 11 0 492276572 863252480 33206 4294967295 134512640 134569956 3221224400 3221214552 1131555436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 33206 13073 16 0 210739 0
vsize: 843020
[startup+1210.35 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18078 0 1 0 116970 85 0 0 25 0 11 0 492276572 863252480 33233 4294967295 134512640 134569956 3221224400 3221214600 1131556808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 33233 13073 16 0 210739 0
vsize: 843020
[startup+1220.35 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18079 0 1 0 117952 86 0 0 25 0 11 0 492276572 863252480 33275 4294967295 134512640 134569956 3221224400 3221214544 1131556860 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 33275 13073 16 0 210739 0
vsize: 843020
[startup+1230.35 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18079 0 1 0 118933 86 0 0 25 0 11 0 492276572 863252480 33317 4294967295 134512640 134569956 3221224400 3221214696 1131559788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 33317 13073 16 0 210739 0
vsize: 843020
[startup+1240.35 s]
Raw data (loadavg): 1.00 0.99 0.99 2/64 2929
Raw data (stat): 2919 (java) R 2918 30701 30700 0 -1 0 18079 0 1 0 119919 86 0 0 25 0 11 0 492276572 863252480 33351 4294967295 134512640 134569956 3221224400 3221214888 1131301392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210755 33351 13073 16 0 210739 0
vsize: 843020
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.46 s]
Raw data (loadavg): 1.00 0.99 0.99 1/54 2931
Raw data (stat): 2919 (java) Z 2918 30701 30700 0 -1 1036 18079 18308 1 0 119921 92 5182 48 25 0 1 0 492276572 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): 1240.45
CPU time (s): 1252.45
CPU user time (s): 1251.03
CPU system time (s): 1.41778
CPU usage (%): 100.967
Max. virtual memory (Kb): 843776
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####