PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-usAbbrv.8.25_70.opb
MD5SUM	7f148daab2a076d0407e04408057198b
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	204800
Optimality of the best value was proved	NO
Number of terms in the objective function	135
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	1073849343
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	1024000000
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	2147557374
Number of bits of the biggest sum of numbers	32
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1201.26
Number of variables	20611
Total number of constraints	5602
Number of constraints which are clauses	563
Number of constraints which are cardinality constraints (but not clauses)	1681
Number of constraints which are nor clauses,nor cardinality constraints	3358
Minimum length of a constraint	1
Maximum length of a constraint	61
Trace number 20404

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        304176 kB
Buffers:         34100 kB
Cached:         673816 kB
SwapCached:        440 kB
Active:         125808 kB
Inactive:       584260 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        303924 kB
SwapTotal:     2097136 kB
SwapFree:      2095984 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            14728 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 21:09:19 (client local time) WITH STATUS 143 IN 1228.32 SECONDS
stats: 15323 7 1228.32 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-usAbbrv.8.25_70.opb
c reading problem 
c [nbvar=20611]
c [nbconstr=5602]
c time 128.583
c #vars     20611
c #clauses  3922
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=204800
c Current CPU time (ms) : 143.363
c starts	: 1
c conflicts	: 0
c decisions	: 7331
c propagations	: 20611
c inspects	: 75314
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
#### 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.78 0.91 0.89 2/54 17113
Raw data (stat): 17113 (runsolver) R 17112 29151 29150 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 489858595 1052672 99 4294967295 134512640 135381576 3221224416 3221219664 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.0007 s]
Raw data (loadavg): 0.81 0.91 0.89 2/63 17122
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18000 0 1 0 854 43 0 0 25 0 10 0 489858595 854945792 19471 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208727 19471 13073 16 0 208711 0
vsize: 834908
[startup+20.0015 s]
Raw data (loadavg): 0.84 0.92 0.89 2/63 17122
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18000 0 1 0 1753 43 0 0 25 0 10 0 489858595 857636864 20717 4294967295 134512640 134569956 3221224400 3221214488 1076461342 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209384 20717 13073 16 0 209368 0
vsize: 837536
[startup+30.0024 s]
Raw data (loadavg): 0.87 0.92 0.89 2/63 17122
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18001 0 1 0 2634 43 0 0 25 0 10 0 489858595 854458368 20600 4294967295 134512640 134569956 3221224400 3221214840 1131291591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208608 20600 13073 16 0 208592 0
vsize: 834432
[startup+40.0026 s]
Raw data (loadavg): 0.89 0.92 0.90 2/63 17122
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18001 0 1 0 3540 44 0 0 25 0 10 0 489858595 854458368 20891 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208608 20891 13073 16 0 208592 0
vsize: 834432
[startup+50.004 s]
Raw data (loadavg): 0.90 0.92 0.90 2/63 17122
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18001 0 1 0 4456 45 0 0 24 0 10 0 489858595 854458368 21061 4294967295 134512640 134569956 3221224400 3221214836 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208608 21061 13073 16 0 208592 0
vsize: 834432
[startup+60.0119 s]
Raw data (loadavg): 0.92 0.92 0.90 2/63 17122
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18001 0 1 0 5377 45 0 0 25 0 10 0 489858595 854458368 21190 4294967295 134512640 134569956 3221224400 3221214896 1131232161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208608 21190 13073 16 0 208592 0
vsize: 834432
[startup+70.0156 s]
Raw data (loadavg): 0.93 0.93 0.90 2/63 17122
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18001 0 1 0 6304 46 0 0 25 0 10 0 489858595 854458368 21384 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208608 21384 13073 16 0 208592 0
vsize: 834432
[startup+80.0164 s]
Raw data (loadavg): 0.94 0.93 0.90 2/63 17122
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18001 0 1 0 7239 46 0 0 25 0 10 0 489858595 854458368 21487 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208608 21487 13073 16 0 208592 0
vsize: 834432
[startup+90.0167 s]
Raw data (loadavg): 0.95 0.93 0.90 2/63 17122
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18001 0 1 0 8172 47 0 0 24 0 10 0 489858595 854458368 21585 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208608 21585 13073 16 0 208592 0
vsize: 834432
[startup+100.017 s]
Raw data (loadavg): 0.96 0.93 0.90 2/63 17122
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18001 0 1 0 9108 47 0 0 25 0 10 0 489858595 854458368 21671 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208608 21671 13073 16 0 208592 0
vsize: 834432
[startup+110.018 s]
Raw data (loadavg): 0.96 0.93 0.90 2/63 17122
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18001 0 1 0 10045 47 0 0 25 0 10 0 489858595 854458368 21752 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208608 21752 13073 16 0 208592 0
vsize: 834432
[startup+120.019 s]
Raw data (loadavg): 0.97 0.94 0.90 2/63 17122
Raw data (stat): 17113 (java) S 17112 29151 29150 0 -1 0 18001 0 1 0 10980 47 0 0 25 0 10 0 489858595 854458368 21829 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208608 21830 13073 16 0 208592 0
vsize: 834432
[startup+130.02 s]
Raw data (loadavg): 0.97 0.94 0.90 2/64 17123
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18030 0 1 0 11921 51 0 0 25 0 11 0 489858595 855117824 23629 4294967295 134512640 134569956 3221224400 3221214856 1131174134 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208769 23629 13073 16 0 208753 0
vsize: 835076
[startup+140.019 s]
Raw data (loadavg): 0.98 0.94 0.91 2/64 17123
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18030 0 1 0 12767 51 0 0 25 0 11 0 489858595 855117824 26295 4294967295 134512640 134569956 3221224400 3221214800 1131236382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208769 26295 13073 16 0 208753 0
vsize: 835076
[startup+150.02 s]
Raw data (loadavg): 1.13 0.97 0.92 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18031 3 1 0 13674 52 0 0 25 0 11 0 489858595 855117824 26341 4294967295 134512640 134569956 3221224400 3221214792 1131216064 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208769 26341 13073 16 0 208753 0
vsize: 835076
[startup+160.02 s]
Raw data (loadavg): 1.18 0.99 0.92 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18093 3 1 0 14588 52 0 0 25 0 11 0 489858595 868868096 29316 4294967295 134512640 134569956 3221224400 3221214504 1131394476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212126 29316 13073 16 0 212110 0
vsize: 848504
[startup+170.02 s]
Raw data (loadavg): 1.15 0.99 0.92 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18093 3 1 0 15566 52 0 0 25 0 11 0 489858595 868868096 29376 4294967295 134512640 134569956 3221224400 3221214504 1131394480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212126 29376 13073 16 0 212110 0
vsize: 848504
[startup+180.021 s]
Raw data (loadavg): 1.13 0.99 0.92 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18093 3 1 0 16549 53 0 0 25 0 11 0 489858595 868868096 29376 4294967295 134512640 134569956 3221224400 3221214600 1131594393 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 29376 13073 16 0 212110 0
vsize: 848504
[startup+190.022 s]
Raw data (loadavg): 1.11 0.99 0.92 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18093 3 1 0 17529 53 0 0 25 0 11 0 489858595 868868096 29376 4294967295 134512640 134569956 3221224400 3221214600 1131594406 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212126 29376 13073 16 0 212110 0
vsize: 848504
[startup+200.022 s]
Raw data (loadavg): 1.09 0.99 0.92 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18093 3 1 0 18508 53 0 0 25 0 11 0 489858595 868868096 29394 4294967295 134512640 134569956 3221224400 3221214600 1131594515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212126 29394 13073 16 0 212110 0
vsize: 848504
[startup+210.022 s]
Raw data (loadavg): 1.08 0.99 0.92 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18093 3 1 0 19489 53 0 0 25 0 11 0 489858595 868868096 29434 4294967295 134512640 134569956 3221224400 3221214600 1131594380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212126 29434 13073 16 0 212110 0
vsize: 848504
[startup+220.023 s]
Raw data (loadavg): 1.06 0.99 0.92 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18093 3 1 0 20473 54 0 0 25 0 11 0 489858595 868868096 29485 4294967295 134512640 134569956 3221224400 3221214600 1131594384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212126 29485 13073 16 0 212110 0
vsize: 848504
[startup+230.024 s]
Raw data (loadavg): 1.05 0.99 0.92 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18093 3 1 0 21460 54 0 0 25 0 11 0 489858595 868868096 29556 4294967295 134512640 134569956 3221224400 3221214600 1131594398 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212126 29556 13073 16 0 212110 0
vsize: 848504
[startup+240.027 s]
Raw data (loadavg): 1.05 0.99 0.92 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18093 3 1 0 22447 54 0 0 25 0 11 0 489858595 868868096 29746 4294967295 134512640 134569956 3221224400 3221214496 1131444631 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 29746 13073 16 0 212110 0
vsize: 848504
[startup+250.028 s]
Raw data (loadavg): 1.04 0.99 0.92 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18093 3 1 0 23440 54 0 0 25 0 11 0 489858595 868868096 29806 4294967295 134512640 134569956 3221224400 3221214600 1131594384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212126 29806 13073 16 0 212110 0
vsize: 848504
[startup+260.028 s]
Raw data (loadavg): 1.03 0.99 0.92 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18093 3 1 0 24436 55 0 0 25 0 11 0 489858595 868868096 29845 4294967295 134512640 134569956 3221224400 3221214496 1131280007 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212126 29845 13073 16 0 212110 0
vsize: 848504
[startup+270.028 s]
Raw data (loadavg): 1.03 0.99 0.92 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18093 3 1 0 25432 55 0 0 25 0 11 0 489858595 868868096 29857 4294967295 134512640 134569956 3221224400 3221214600 1131594380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212126 29857 13073 16 0 212110 0
vsize: 848504
[startup+280.029 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18093 3 1 0 26428 55 0 0 25 0 11 0 489858595 868868096 29859 4294967295 134512640 134569956 3221224400 3221214600 1131594384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212126 29859 13073 16 0 212110 0
vsize: 848504
[startup+290.03 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18093 3 1 0 27424 56 0 0 25 0 11 0 489858595 868868096 29862 4294967295 134512640 134569956 3221224400 3221214600 1131594380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212126 29862 13073 16 0 212110 0
vsize: 848504
[startup+300.031 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18093 3 1 0 28421 56 0 0 25 0 11 0 489858595 868868096 29863 4294967295 134512640 134569956 3221224400 3221214600 1131594398 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212126 29863 13073 16 0 212110 0
vsize: 848504
[startup+310.031 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18093 3 1 0 29418 56 0 0 25 0 11 0 489858595 868868096 29864 4294967295 134512640 134569956 3221224400 3221214600 1131594384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212126 29864 13073 16 0 212110 0
vsize: 848504
[startup+320.031 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18093 3 1 0 30414 57 0 0 25 0 11 0 489858595 868868096 29864 4294967295 134512640 134569956 3221224400 3221214496 1131279926 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212126 29864 13073 16 0 212110 0
vsize: 848504
[startup+330.032 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18093 3 1 0 31411 57 0 0 25 0 11 0 489858595 868868096 29866 4294967295 134512640 134569956 3221224400 3221214496 1131279945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212126 29866 13073 16 0 212110 0
vsize: 848504
[startup+340.032 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18093 3 1 0 32407 57 0 0 25 0 11 0 489858595 868868096 29866 4294967295 134512640 134569956 3221224400 3221214600 1131594380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212126 29866 13073 16 0 212110 0
vsize: 848504
[startup+350.033 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18093 3 1 0 33404 58 0 0 25 0 11 0 489858595 868868096 29866 4294967295 134512640 134569956 3221224400 3221214496 1131279886 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212126 29866 13073 16 0 212110 0
vsize: 848504
[startup+360.037 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18093 3 1 0 34401 58 0 0 25 0 11 0 489858595 868868096 29867 4294967295 134512640 134569956 3221224400 3221214496 1131280011 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212126 29867 13073 16 0 212110 0
vsize: 848504
[startup+370.037 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18093 3 1 0 35398 58 0 0 25 0 11 0 489858595 868868096 29868 4294967295 134512640 134569956 3221224400 3221214600 1131594393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212126 29868 13073 16 0 212110 0
vsize: 848504
[startup+380.037 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18093 3 1 0 36384 58 0 0 25 0 11 0 489858595 868868096 29873 4294967295 134512640 134569956 3221224400 3221214764 1130895490 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212126 29873 13073 16 0 212110 0
vsize: 848504
[startup+390.038 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18093 3 1 0 37379 59 0 0 25 0 11 0 489858595 868868096 29873 4294967295 134512640 134569956 3221224400 3221214640 1131594406 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212126 29873 13073 16 0 212110 0
vsize: 848504
[startup+400.039 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18093 3 1 0 38372 59 0 0 25 0 11 0 489858595 868868096 29873 4294967295 134512640 134569956 3221224400 3221214640 1131594406 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212126 29873 13073 16 0 212110 0
vsize: 848504
[startup+410.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18093 3 1 0 39364 60 0 0 25 0 11 0 489858595 868868096 29873 4294967295 134512640 134569956 3221224400 3221214640 1131594380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212126 29873 13073 16 0 212110 0
vsize: 848504
[startup+420.041 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18093 3 1 0 40356 60 0 0 25 0 11 0 489858595 868868096 29873 4294967295 134512640 134569956 3221224400 3221214640 1131594368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212126 29873 13073 16 0 212110 0
vsize: 848504
[startup+430.042 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18093 3 1 0 41347 60 0 0 25 0 11 0 489858595 868868096 29873 4294967295 134512640 134569956 3221224400 3221214640 1131594380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212126 29873 13073 16 0 212110 0
vsize: 848504
[startup+440.042 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18093 3 1 0 42339 61 0 0 25 0 11 0 489858595 868868096 29873 4294967295 134512640 134569956 3221224400 3221214536 1131279979 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212126 29873 13073 16 0 212110 0
vsize: 848504
[startup+450.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18093 3 1 0 43329 61 0 0 25 0 11 0 489858595 868868096 29873 4294967295 134512640 134569956 3221224400 3221214536 1131280042 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212126 29873 13073 16 0 212110 0
vsize: 848504
[startup+460.044 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18093 3 1 0 44319 62 0 0 25 0 11 0 489858595 868868096 29921 4294967295 134512640 134569956 3221224400 3221214528 1131486886 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212126 29921 13073 16 0 212110 0
vsize: 848504
[startup+470.044 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18093 3 1 0 45310 62 0 0 25 0 11 0 489858595 868868096 29988 4294967295 134512640 134569956 3221224400 3221214576 1131424153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212126 29988 13073 16 0 212110 0
vsize: 848504
[startup+480.045 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18093 3 1 0 46301 62 0 0 25 0 11 0 489858595 868868096 30172 4294967295 134512640 134569956 3221224400 3221214640 1131594380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212126 30172 13073 16 0 212110 0
vsize: 848504
[startup+490.046 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 47295 62 0 0 25 0 11 0 489858595 868868096 30211 4294967295 134512640 134569956 3221224400 3221214304 1131480360 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30211 13073 16 0 212110 0
vsize: 848504
[startup+500.046 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 48291 62 0 0 25 0 11 0 489858595 868868096 30211 4294967295 134512640 134569956 3221224400 3221214640 1131594402 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30211 13073 16 0 212110 0
vsize: 848504
[startup+510.046 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 49285 62 0 0 25 0 11 0 489858595 868868096 30211 4294967295 134512640 134569956 3221224400 3221214536 1131279755 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30211 13073 16 0 212110 0
vsize: 848504
[startup+520.046 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 50279 62 0 0 25 0 11 0 489858595 868868096 30211 4294967295 134512640 134569956 3221224400 3221214644 1131496243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30211 13073 16 0 212110 0
vsize: 848504
[startup+530.047 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 51272 62 0 0 25 0 11 0 489858595 868868096 30211 4294967295 134512640 134569956 3221224400 3221214536 1131279546 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212126 30211 13073 16 0 212110 0
vsize: 848504
[startup+540.047 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 52264 62 0 0 25 0 11 0 489858595 868868096 30211 4294967295 134512640 134569956 3221224400 3221214640 1131594388 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30211 13073 16 0 212110 0
vsize: 848504
[startup+550.048 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 53256 62 0 0 25 0 11 0 489858595 868868096 30211 4294967295 134512640 134569956 3221224400 3221214536 1131280007 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30211 13073 16 0 212110 0
vsize: 848504
[startup+560.048 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 54249 62 0 0 25 0 11 0 489858595 868868096 30211 4294967295 134512640 134569956 3221224400 3221214536 1131279913 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30211 13073 16 0 212110 0
vsize: 848504
[startup+570.048 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 55239 62 0 0 25 0 11 0 489858595 868868096 30294 4294967295 134512640 134569956 3221224400 3221214784 1131419808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30294 13073 16 0 212110 0
vsize: 848504
[startup+580.049 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 56234 62 0 0 25 0 11 0 489858595 868868096 30304 4294967295 134512640 134569956 3221224400 3221214536 1131279971 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30304 13073 16 0 212110 0
vsize: 848504
[startup+590.049 s]
Raw data (loadavg): 1.08 1.01 0.93 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 57226 62 0 0 25 0 11 0 489858595 868868096 30308 4294967295 134512640 134569956 3221224400 3221214680 1131279755 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30308 13073 16 0 212110 0
vsize: 848504
[startup+600.051 s]
Raw data (loadavg): 1.07 1.01 0.93 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 58221 62 0 0 25 0 11 0 489858595 868868096 30311 4294967295 134512640 134569956 3221224400 3221214640 1131594384 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30311 13073 16 0 212110 0
vsize: 848504
[startup+610.066 s]
Raw data (loadavg): 1.06 1.01 0.93 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 59215 63 0 0 25 0 11 0 489858595 868868096 30311 4294967295 134512640 134569956 3221224400 3221214392 1131328151 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30311 13073 16 0 212110 0
vsize: 848504
[startup+620.066 s]
Raw data (loadavg): 1.05 1.00 0.93 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 60204 63 0 0 25 0 11 0 489858595 868868096 30311 4294967295 134512640 134569956 3221224400 3221214680 1131430154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30311 13073 16 0 212110 0
vsize: 848504
[startup+630.067 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 61189 63 0 0 25 0 11 0 489858595 868868096 30311 4294967295 134512640 134569956 3221224400 3221214744 1131236437 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30311 13073 16 0 212110 0
vsize: 848504
[startup+640.067 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 62175 63 0 0 25 0 11 0 489858595 868868096 30311 4294967295 134512640 134569956 3221224400 3221214640 1131594368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30311 13073 16 0 212110 0
vsize: 848504
[startup+650.067 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 63169 63 0 0 25 0 11 0 489858595 868868096 30311 4294967295 134512640 134569956 3221224400 3221214640 1131594398 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30311 13073 16 0 212110 0
vsize: 848504
[startup+660.067 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 64166 63 0 0 25 0 11 0 489858595 868868096 30311 4294967295 134512640 134569956 3221224400 3221214536 1131279755 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30311 13073 16 0 212110 0
vsize: 848504
[startup+670.068 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 17124
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 65157 63 0 0 24 0 11 0 489858595 868868096 30311 4294967295 134512640 134569956 3221224400 3221214640 1131594368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30311 13073 16 0 212110 0
vsize: 848504
[startup+680.08 s]
Raw data (loadavg): 1.10 1.02 0.93 2/67 17162
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 66151 63 0 0 25 0 11 0 489858595 868868096 30311 4294967295 134512640 134569956 3221224400 3221214640 1131594368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30311 13073 16 0 212110 0
vsize: 848504
[startup+690.081 s]
Raw data (loadavg): 1.08 1.02 0.93 2/64 17177
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 67145 63 0 0 25 0 11 0 489858595 868868096 30311 4294967295 134512640 134569956 3221224400 3221214640 1131594532 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30311 13073 16 0 212110 0
vsize: 848504
[startup+700.083 s]
Raw data (loadavg): 1.07 1.01 0.93 2/64 17177
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 68139 63 0 0 25 0 11 0 489858595 868868096 30311 4294967295 134512640 134569956 3221224400 3221214640 1131594384 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30311 13073 16 0 212110 0
vsize: 848504
[startup+710.083 s]
Raw data (loadavg): 1.06 1.01 0.93 2/64 17177
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 69134 63 0 0 25 0 11 0 489858595 868868096 30460 4294967295 134512640 134569956 3221224400 3221214640 1131594368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30460 13073 16 0 212110 0
vsize: 848504
[startup+720.084 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 17177
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 70129 63 0 0 25 0 11 0 489858595 868868096 30473 4294967295 134512640 134569956 3221224400 3221214680 1131430127 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30473 13073 16 0 212110 0
vsize: 848504
[startup+730.085 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 17177
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 71120 64 0 0 25 0 11 0 489858595 868868096 30487 4294967295 134512640 134569956 3221224400 3221214640 1131594391 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30487 13073 16 0 212110 0
vsize: 848504
[startup+740.085 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 17177
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 72106 64 0 0 25 0 11 0 489858595 868868096 30568 4294967295 134512640 134569956 3221224400 3221214744 1131236703 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30568 13073 16 0 212110 0
vsize: 848504
[startup+750.086 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 17177
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 73101 64 0 0 25 0 11 0 489858595 868868096 30596 4294967295 134512640 134569956 3221224400 3221214784 1131420082 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30596 13073 16 0 212110 0
vsize: 848504
[startup+760.087 s]
Raw data (loadavg): 1.10 1.03 0.94 2/64 17179
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 74098 64 0 0 25 0 11 0 489858595 868868096 30605 4294967295 134512640 134569956 3221224400 3221214640 1131594368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30605 13073 16 0 212110 0
vsize: 848504
[startup+770.087 s]
Raw data (loadavg): 1.08 1.02 0.94 2/64 17179
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 75094 64 0 0 25 0 11 0 489858595 868868096 30607 4294967295 134512640 134569956 3221224400 3221214640 1131594368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30607 13073 16 0 212110 0
vsize: 848504
[startup+780.088 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 17179
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 76093 64 0 0 25 0 11 0 489858595 868868096 30607 4294967295 134512640 134569956 3221224400 3221214640 1131594380 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30607 13073 16 0 212110 0
vsize: 848504
[startup+790.089 s]
Raw data (loadavg): 1.06 1.02 0.94 2/64 17179
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 77089 64 0 0 25 0 11 0 489858595 868868096 30607 4294967295 134512640 134569956 3221224400 3221214568 1131550126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212126 30607 13073 16 0 212110 0
vsize: 848504
[startup+800.091 s]
Raw data (loadavg): 1.05 1.02 0.94 2/64 17179
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 78087 64 0 0 25 0 11 0 489858595 868868096 30607 4294967295 134512640 134569956 3221224400 3221214536 1131280315 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30607 13073 16 0 212110 0
vsize: 848504
[startup+810.092 s]
Raw data (loadavg): 1.04 1.02 0.94 2/64 17179
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 79084 64 0 0 25 0 11 0 489858595 868868096 30607 4294967295 134512640 134569956 3221224400 3221214536 1131280057 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30607 13073 16 0 212110 0
vsize: 848504
[startup+820.092 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 17179
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 80082 64 0 0 25 0 11 0 489858595 868868096 30607 4294967295 134512640 134569956 3221224400 3221214320 1131480260 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30607 13073 16 0 212110 0
vsize: 848504
[startup+830.093 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 17179
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 81072 64 0 0 25 0 11 0 489858595 868868096 30607 4294967295 134512640 134569956 3221224400 3221214744 1131236483 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30607 13073 16 0 212110 0
vsize: 848504
[startup+840.094 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 17179
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 82062 64 0 0 24 0 11 0 489858595 868868096 30658 4294967295 134512640 134569956 3221224400 3221214640 1131594380 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30658 13073 16 0 212110 0
vsize: 848504
[startup+850.095 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 17179
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 83058 64 0 0 24 0 11 0 489858595 868868096 30661 4294967295 134512640 134569956 3221224400 3221214536 1131279909 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30661 13073 16 0 212110 0
vsize: 848504
[startup+860.096 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 17179
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 84054 64 0 0 25 0 11 0 489858595 868868096 30676 4294967295 134512640 134569956 3221224400 3221214680 1131279936 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30676 13073 16 0 212110 0
vsize: 848504
[startup+870.096 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 17179
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 85049 65 0 0 25 0 11 0 489858595 868868096 30687 4294967295 134512640 134569956 3221224400 3221214784 1131419808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212126 30687 13073 16 0 212110 0
vsize: 848504
[startup+880.099 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 17179
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 86042 65 0 0 25 0 11 0 489858595 868868096 30708 4294967295 134512640 134569956 3221224400 3221214640 1131594402 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30708 13073 16 0 212110 0
vsize: 848504
[startup+890.116 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 17179
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 87037 65 0 0 25 0 11 0 489858595 868868096 30708 4294967295 134512640 134569956 3221224400 3221214680 1131430102 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30708 13073 16 0 212110 0
vsize: 848504
[startup+900.118 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 17179
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 88031 65 0 0 25 0 11 0 489858595 868868096 30732 4294967295 134512640 134569956 3221224400 3221214688 1131236374 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30732 13073 16 0 212110 0
vsize: 848504
[startup+910.118 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 17179
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 89026 65 0 0 25 0 11 0 489858595 868868096 30737 4294967295 134512640 134569956 3221224400 3221214536 1131279945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30737 13073 16 0 212110 0
vsize: 848504
[startup+920.118 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 17179
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 90020 65 0 0 25 0 11 0 489858595 868868096 30769 4294967295 134512640 134569956 3221224400 3221214640 1131594384 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30769 13073 16 0 212110 0
vsize: 848504
[startup+930.119 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 17179
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 91013 65 0 0 25 0 11 0 489858595 868868096 30789 4294967295 134512640 134569956 3221224400 3221214536 1131280098 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30789 13073 16 0 212110 0
vsize: 848504
[startup+940.12 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 17179
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 92008 65 0 0 25 0 11 0 489858595 868868096 30794 4294967295 134512640 134569956 3221224400 3221214536 1131280007 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30794 13073 16 0 212110 0
vsize: 848504
[startup+950.119 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 17179
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 93003 65 0 0 25 0 11 0 489858595 868868096 30796 4294967295 134512640 134569956 3221224400 3221214536 1131279899 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30796 13073 16 0 212110 0
vsize: 848504
[startup+960.123 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 17179
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 93998 65 0 0 25 0 11 0 489858595 868868096 30797 4294967295 134512640 134569956 3221224400 3221214424 1131562042 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30797 13073 16 0 212110 0
vsize: 848504
[startup+970.124 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 17179
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 94991 65 0 0 25 0 11 0 489858595 868868096 30798 4294967295 134512640 134569956 3221224400 3221214744 1131235971 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30798 13073 16 0 212110 0
vsize: 848504
[startup+980.125 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 17179
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 95984 65 0 0 25 0 11 0 489858595 868868096 30798 4294967295 134512640 134569956 3221224400 3221214580 1080203664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30798 13073 16 0 212110 0
vsize: 848504
[startup+990.125 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 17179
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 96982 65 0 0 25 0 11 0 489858595 868868096 30798 4294967295 134512640 134569956 3221224400 3221214640 1131594402 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30798 13073 16 0 212110 0
vsize: 848504
[startup+1000.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 17179
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 97978 65 0 0 25 0 11 0 489858595 868868096 30798 4294967295 134512640 134569956 3221224400 3221214640 1131594388 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30798 13073 16 0 212110 0
vsize: 848504
[startup+1010.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 17179
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 98976 65 0 0 25 0 11 0 489858595 868868096 30798 4294967295 134512640 134569956 3221224400 3221214640 1131594391 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30798 13073 16 0 212110 0
vsize: 848504
[startup+1020.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 17179
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 99973 65 0 0 25 0 11 0 489858595 868868096 30798 4294967295 134512640 134569956 3221224400 3221214612 1131496243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30798 13073 16 0 212110 0
vsize: 848504
[startup+1030.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 17181
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 100971 65 0 0 25 0 11 0 489858595 868868096 30798 4294967295 134512640 134569956 3221224400 3221214640 1131594384 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30798 13073 16 0 212110 0
vsize: 848504
[startup+1040.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 17181
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 101967 65 0 0 25 0 11 0 489858595 868868096 30798 4294967295 134512640 134569956 3221224400 3221214640 1131594483 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30798 13073 16 0 212110 0
vsize: 848504
[startup+1050.13 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 17181
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 102965 65 0 0 25 0 11 0 489858595 868868096 30798 4294967295 134512640 134569956 3221224400 3221214640 1131594411 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30798 13073 16 0 212110 0
vsize: 848504
[startup+1060.13 s]
Raw data (loadavg): 1.06 1.02 0.94 2/64 17181
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 103953 65 0 0 25 0 11 0 489858595 868868096 30798 4294967295 134512640 134569956 3221224400 3221214744 1131237015 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30798 13073 16 0 212110 0
vsize: 848504
[startup+1070.13 s]
Raw data (loadavg): 1.05 1.01 0.94 2/64 17181
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 104944 66 0 0 25 0 11 0 489858595 868868096 30798 4294967295 134512640 134569956 3221224400 3221214616 1131600844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212126 30798 13073 16 0 212110 0
vsize: 848504
[startup+1080.13 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 17181
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 105939 66 0 0 25 0 11 0 489858595 868868096 30938 4294967295 134512640 134569956 3221224400 3221214640 1131594380 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30938 13073 16 0 212110 0
vsize: 848504
[startup+1090.13 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 17181
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 106935 66 0 0 25 0 11 0 489858595 868868096 30939 4294967295 134512640 134569956 3221224400 3221214640 1131594391 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30939 13073 16 0 212110 0
vsize: 848504
[startup+1100.13 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 17181
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 107929 66 0 0 25 0 11 0 489858595 868868096 30958 4294967295 134512640 134569956 3221224400 3221214640 1131594534 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30958 13073 16 0 212110 0
vsize: 848504
[startup+1110.13 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 17181
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 108924 66 0 0 25 0 11 0 489858595 868868096 30984 4294967295 134512640 134569956 3221224400 3221214536 1131279945 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30984 13073 16 0 212110 0
vsize: 848504
[startup+1120.13 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 17181
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 109918 66 0 0 25 0 11 0 489858595 868868096 30988 4294967295 134512640 134569956 3221224400 3221214784 1131419971 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30988 13073 16 0 212110 0
vsize: 848504
[startup+1130.13 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 17181
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 110912 66 0 0 25 0 11 0 489858595 868868096 30988 4294967295 134512640 134569956 3221224400 3221214744 1131505786 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30988 13073 16 0 212110 0
vsize: 848504
[startup+1140.13 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 17181
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 111904 66 0 0 24 0 11 0 489858595 868868096 30988 4294967295 134512640 134569956 3221224400 3221214536 1131280042 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30988 13073 16 0 212110 0
vsize: 848504
[startup+1150.13 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 17181
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 112898 66 0 0 25 0 11 0 489858595 868868096 30999 4294967295 134512640 134569956 3221224400 3221214536 1131279502 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 30999 13073 16 0 212110 0
vsize: 848504
[startup+1160.13 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 17181
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 113892 66 0 0 25 0 11 0 489858595 868868096 31057 4294967295 134512640 134569956 3221224400 3221214784 1131420078 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 31057 13073 16 0 212110 0
vsize: 848504
[startup+1170.13 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 17181
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 114886 66 0 0 25 0 11 0 489858595 868868096 31094 4294967295 134512640 134569956 3221224400 3221214640 1131594515 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 31094 13073 16 0 212110 0
vsize: 848504
[startup+1180.13 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 17181
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 115879 66 0 0 25 0 11 0 489858595 868868096 31099 4294967295 134512640 134569956 3221224400 3221214512 1131424183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 31099 13073 16 0 212110 0
vsize: 848504
[startup+1190.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 17181
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 116870 67 0 0 25 0 11 0 489858595 868868096 31101 4294967295 134512640 134569956 3221224400 3221214744 1131236209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 31101 13073 16 0 212110 0
vsize: 848504
[startup+1200.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 17181
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 117862 67 0 0 25 0 11 0 489858595 868868096 31101 4294967295 134512640 134569956 3221224400 3221214640 1131594532 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 31101 13073 16 0 212110 0
vsize: 848504
[startup+1210.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 17181
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 118859 67 0 0 25 0 11 0 489858595 868868096 31101 4294967295 134512640 134569956 3221224400 3221214640 1131594398 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 31101 13073 16 0 212110 0
vsize: 848504
[startup+1220.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 17181
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 119855 67 0 0 25 0 11 0 489858595 868868096 31101 4294967295 134512640 134569956 3221224400 3221214640 1131594368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 31101 13073 16 0 212110 0
vsize: 848504
[startup+1230.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 17181
Raw data (stat): 17113 (java) R 17112 29151 29150 0 -1 0 18094 3 1 0 120849 67 0 0 25 0 11 0 489858595 868868096 31101 4294967295 134512640 134569956 3221224400 3221214640 1131594384 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212126 31101 13073 16 0 212110 0
vsize: 848504
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.2 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 17183
Raw data (stat): 17113 (java) Z 17112 29151 29150 0 -1 1036 18094 9251 1 0 120850 67 1892 22 25 0 1 0 489858595 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.2
CPU time (s): 1228.32
CPU user time (s): 1227.42
CPU system time (s): 0.896863
CPU usage (%): 99.8469
Max. virtual memory (Kb): 848504
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####