PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0201.opb
MD5SUM	ffa3a55eb53181880328dd1b84f91e66
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1523
Optimality of the best value was proved	NO
Number of terms in the objective function	201
Biggest coefficient in the objective function	1920
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	19980
Number of bits of the sum of numbers in the objective function	15
Biggest number in a constraint	1920
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	19980
Number of bits of the biggest sum of numbers	15
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02184
Number of variables	201
Total number of constraints	334
Number of constraints which are clauses	20
Number of constraints which are cardinality constraints (but not clauses)	227
Number of constraints which are nor clauses,nor cardinality constraints	87
Minimum length of a constraint	1
Maximum length of a constraint	67
Trace number 19042

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-04-21 17:41:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17117 boxname=wulflinc7 idbench=1317 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  ffa3a55eb53181880328dd1b84f91e66  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-p0201.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-p0201.opb
IDLAUNCH: 17117
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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		: 451.050
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:        765228 kB
Buffers:         14052 kB
Cached:         234048 kB
SwapCached:        304 kB
Active:          22956 kB
Inactive:       227680 kB
HighTotal:      131008 kB
HighFree:        68376 kB
LowTotal:       903652 kB
LowFree:        696852 kB
SwapTotal:     2097136 kB
SwapFree:      2096520 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6448 kB
Slab:            13096 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 18:02:23 (client local time) WITH STATUS 143 IN 1248.18 SECONDS
stats: 17117 7 1248.18 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-p0201.opb
c reading problem 
c [nbvar=201]
c [nbconstr=334]
c time 1.942
c #vars     201
c #clauses  133
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=2222
c Current CPU time (ms) : 2.352
c starts	: 1
c conflicts	: 3
c decisions	: 52
c propagations	: 231
c inspects	: 704
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 3
c root simplifications	: 1
c 
c CURRENT OPTIMUM=1659
c Current CPU time (ms) : 31.997
c starts	: 3
c conflicts	: 176
c decisions	: 950
c propagations	: 3942
c inspects	: 43058
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 176
c root simplifications	: 3
c 
c CURRENT OPTIMUM=1635
c Current CPU time (ms) : 43.427
c starts	: 4
c conflicts	: 232
c decisions	: 1297
c propagations	: 5773
c inspects	: 73305
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 232
c root simplifications	: 8
c 
c CURRENT OPTIMUM=1623
c Current CPU time (ms) : 47.272
c starts	: 5
c conflicts	: 241
c decisions	: 1482
c propagations	: 6421
c inspects	: 79468
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 241
c root simplifications	: 11
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.90 0.93 0.90 2/54 12442
Raw data (stat): 12442 (runsolver) R 12441 22932 22931 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 488744361 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99973 s]
Raw data (loadavg): 1.07 0.96 0.91 4/64 12459
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 17995 3 78 0 363 49 0 0 25 0 11 0 488744361 865132544 21144 4294967295 134512640 134569956 3221224400 3221214656 1131259209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211214 21144 13073 16 0 211198 0
vsize: 844856
[startup+20.0009 s]
Raw data (loadavg): 1.06 0.97 0.91 2/64 12459
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18000 3 78 0 1265 50 0 0 25 0 11 0 488744361 863137792 21290 4294967295 134512640 134569956 3221224400 3221214552 1131215669 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210727 21290 13073 16 0 210711 0
vsize: 842908
[startup+30.0013 s]
Raw data (loadavg): 1.05 0.97 0.91 2/64 12459
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18001 3 78 0 2221 50 0 0 25 0 11 0 488744361 863137792 21542 4294967295 134512640 134569956 3221224400 3221214520 1131491430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210727 21542 13073 16 0 210711 0
vsize: 842908
[startup+40.0004 s]
Raw data (loadavg): 1.12 0.98 0.92 2/64 12460
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18001 3 78 0 3161 50 0 0 25 0 11 0 488744361 863137792 21792 4294967295 134512640 134569956 3221224400 3221214792 1131217840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210727 21792 13073 16 0 210711 0
vsize: 842908
[startup+50.002 s]
Raw data (loadavg): 1.10 0.98 0.92 2/64 12461
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18001 3 78 0 4115 50 0 0 25 0 11 0 488744361 863137792 22126 4294967295 134512640 134569956 3221224400 3221214792 1131217213 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210727 22126 13073 16 0 210711 0
vsize: 842908
[startup+60.0023 s]
Raw data (loadavg): 1.08 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18001 3 78 0 5080 50 0 0 25 0 11 0 488744361 863137792 22281 4294967295 134512640 134569956 3221224400 3221214792 1131217879 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210727 22281 13073 16 0 210711 0
vsize: 842908
[startup+70.0034 s]
Raw data (loadavg): 1.07 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 6048 51 0 0 25 0 11 0 488744361 863137792 22369 4294967295 134512640 134569956 3221224400 3221214896 1131226389 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210727 22369 13073 16 0 210711 0
vsize: 842908
[startup+80.0045 s]
Raw data (loadavg): 1.06 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 7022 51 0 0 25 0 11 0 488744361 863137792 22464 4294967295 134512640 134569956 3221224400 3221214792 1131218133 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210727 22464 13073 16 0 210711 0
vsize: 842908
[startup+90.0042 s]
Raw data (loadavg): 1.05 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 7995 51 0 0 25 0 11 0 488744361 863137792 22573 4294967295 134512640 134569956 3221224400 3221214896 1131226377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 22573 13073 16 0 210711 0
vsize: 842908
[startup+100.004 s]
Raw data (loadavg): 1.04 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 8969 51 0 0 25 0 11 0 488744361 863137792 22645 4294967295 134512640 134569956 3221224400 3221214736 1131279946 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 22645 13073 16 0 210711 0
vsize: 842908
[startup+110.006 s]
Raw data (loadavg): 1.03 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 9942 52 0 0 24 0 11 0 488744361 863137792 22710 4294967295 134512640 134569956 3221224400 3221214896 1131226704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 22710 13073 16 0 210711 0
vsize: 842908
[startup+120.007 s]
Raw data (loadavg): 1.03 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 10914 52 0 0 25 0 11 0 488744361 863137792 22788 4294967295 134512640 134569956 3221224400 3221214728 1131332657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 22788 13073 16 0 210711 0
vsize: 842908
[startup+130.007 s]
Raw data (loadavg): 1.02 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 11882 53 0 0 25 0 11 0 488744361 863137792 22879 4294967295 134512640 134569956 3221224400 3221214736 1131283748 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210727 22879 13073 16 0 210711 0
vsize: 842908
[startup+140.007 s]
Raw data (loadavg): 1.02 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 12851 53 0 0 25 0 11 0 488744361 863137792 22980 4294967295 134512640 134569956 3221224400 3221214792 1131217588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 22980 13073 16 0 210711 0
vsize: 842908
[startup+150.008 s]
Raw data (loadavg): 1.02 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 13819 54 0 0 25 0 11 0 488744361 863137792 23104 4294967295 134512640 134569956 3221224400 3221214316 1131525632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 23104 13073 16 0 210711 0
vsize: 842908
[startup+160.008 s]
Raw data (loadavg): 1.01 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 14791 54 0 0 25 0 11 0 488744361 863137792 23210 4294967295 134512640 134569956 3221224400 3221214896 1131226875 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 23210 13073 16 0 210711 0
vsize: 842908
[startup+170.01 s]
Raw data (loadavg): 1.01 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 15767 54 0 0 24 0 11 0 488744361 863137792 23290 4294967295 134512640 134569956 3221224400 3221214792 1131217905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 23290 13073 16 0 210711 0
vsize: 842908
[startup+180.01 s]
Raw data (loadavg): 1.01 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) S 12441 22932 22931 0 -1 0 18002 3 78 0 16739 55 0 0 25 0 11 0 488744361 863137792 23378 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 23378 13073 16 0 210711 0
vsize: 842908
[startup+190.01 s]
Raw data (loadavg): 1.01 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 17716 55 0 0 25 0 11 0 488744361 863137792 23459 4294967295 134512640 134569956 3221224400 3221214784 1131409065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 23459 13073 16 0 210711 0
vsize: 842908
[startup+200.011 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 18690 55 0 0 25 0 11 0 488744361 863137792 23532 4294967295 134512640 134569956 3221224400 3221214792 1131217619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 23532 13073 16 0 210711 0
vsize: 842908
[startup+210.012 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 19665 55 0 0 25 0 11 0 488744361 863137792 23605 4294967295 134512640 134569956 3221224400 3221214792 1131217619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 23605 13073 16 0 210711 0
vsize: 842908
[startup+220.013 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 20638 56 0 0 25 0 11 0 488744361 863137792 23675 4294967295 134512640 134569956 3221224400 3221214792 1131217230 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 23675 13073 16 0 210711 0
vsize: 842908
[startup+230.013 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 21612 57 0 0 25 0 11 0 488744361 863137792 23768 4294967295 134512640 134569956 3221224400 3221214688 1131446059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 23768 13073 16 0 210711 0
vsize: 842908
[startup+240.014 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 22588 57 0 0 25 0 11 0 488744361 863137792 23840 4294967295 134512640 134569956 3221224400 3221214792 1131217435 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 23840 13073 16 0 210711 0
vsize: 842908
[startup+250.014 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 23565 58 0 0 24 0 11 0 488744361 863137792 23935 4294967295 134512640 134569956 3221224400 3221214792 1131217619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 23935 13073 16 0 210711 0
vsize: 842908
[startup+260.015 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 24544 58 0 0 25 0 11 0 488744361 863137792 24004 4294967295 134512640 134569956 3221224400 3221214792 1131217213 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 24004 13073 16 0 210711 0
vsize: 842908
[startup+270.016 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 25523 59 0 0 25 0 11 0 488744361 863137792 24061 4294967295 134512640 134569956 3221224400 3221214792 1131217358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 24061 13073 16 0 210711 0
vsize: 842908
[startup+280.016 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 26502 59 0 0 25 0 11 0 488744361 863137792 24131 4294967295 134512640 134569956 3221224400 3221214536 1131480844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 24131 13073 16 0 210711 0
vsize: 842908
[startup+290.017 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 27481 59 0 0 25 0 11 0 488744361 863137792 24180 4294967295 134512640 134569956 3221224400 3221214792 1131217217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 24180 13073 16 0 210711 0
vsize: 842908
[startup+300.018 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 28458 60 0 0 25 0 11 0 488744361 863137792 24257 4294967295 134512640 134569956 3221224400 3221214792 1131217246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 24257 13073 16 0 210711 0
vsize: 842908
[startup+310.018 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 29436 61 0 0 25 0 11 0 488744361 863137792 24315 4294967295 134512640 134569956 3221224400 3221214792 1131217619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 24315 13073 16 0 210711 0
vsize: 842908
[startup+320.018 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 30413 61 0 0 25 0 11 0 488744361 863137792 24405 4294967295 134512640 134569956 3221224400 3221214792 1131217228 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 24405 13073 16 0 210711 0
vsize: 842908
[startup+330.018 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 31390 62 0 0 25 0 11 0 488744361 863137792 24484 4294967295 134512640 134569956 3221224400 3221214792 1131217619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 24484 13073 16 0 210711 0
vsize: 842908
[startup+340.018 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 32367 63 0 0 25 0 11 0 488744361 863137792 24546 4294967295 134512640 134569956 3221224400 3221214848 1131173818 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 24546 13073 16 0 210711 0
vsize: 842908
[startup+350.019 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 33344 63 0 0 25 0 11 0 488744361 863137792 24620 4294967295 134512640 134569956 3221224400 3221214896 1131226688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 24620 13073 16 0 210711 0
vsize: 842908
[startup+360.019 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 34321 64 0 0 25 0 11 0 488744361 863137792 24676 4294967295 134512640 134569956 3221224400 3221214848 1131173777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 24676 13073 16 0 210711 0
vsize: 842908
[startup+370.018 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 35296 64 0 0 25 0 11 0 488744361 863137792 24767 4294967295 134512640 134569956 3221224400 3221214848 1131409052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 24767 13073 16 0 210711 0
vsize: 842908
[startup+380.019 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 36273 64 0 0 25 0 11 0 488744361 863137792 24844 4294967295 134512640 134569956 3221224400 3221214792 1131217616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 24844 13073 16 0 210711 0
vsize: 842908
[startup+390.019 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 37251 65 0 0 25 0 11 0 488744361 863137792 24935 4294967295 134512640 134569956 3221224400 3221214544 1131267127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 24935 13073 16 0 210711 0
vsize: 842908
[startup+400.02 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 38226 65 0 0 25 0 11 0 488744361 863137792 25026 4294967295 134512640 134569956 3221224400 3221214792 1131218476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 25026 13073 16 0 210711 0
vsize: 842908
[startup+410.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 39203 65 0 0 18 0 11 0 488744361 863137792 25124 4294967295 134512640 134569956 3221224400 3221214792 1131217303 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 25124 13073 16 0 210711 0
vsize: 842908
[startup+420.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 40184 66 0 0 25 0 11 0 488744361 863137792 25215 4294967295 134512640 134569956 3221224400 3221214872 1131313457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 25215 13073 16 0 210711 0
vsize: 842908
[startup+430.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 41162 66 0 0 25 0 11 0 488744361 863137792 25303 4294967295 134512640 134569956 3221224400 3221214792 1131217228 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 25303 13073 16 0 210711 0
vsize: 842908
[startup+440.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 42139 66 0 0 25 0 11 0 488744361 863137792 25364 4294967295 134512640 134569956 3221224400 3221214792 1131217209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 25364 13073 16 0 210711 0
vsize: 842908
[startup+450.023 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 43117 67 0 0 25 0 11 0 488744361 863137792 25445 4294967295 134512640 134569956 3221224400 3221214736 1131280422 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 25445 13073 16 0 210711 0
vsize: 842908
[startup+460.023 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 44096 67 0 0 25 0 11 0 488744361 863137792 25518 4294967295 134512640 134569956 3221224400 3221214792 1131217592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 25518 13073 16 0 210711 0
vsize: 842908
[startup+470.024 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 45075 68 0 0 24 0 11 0 488744361 863137792 25585 4294967295 134512640 134569956 3221224400 3221214792 1131217480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 25585 13073 16 0 210711 0
vsize: 842908
[startup+480.024 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 46056 68 0 0 24 0 11 0 488744361 863137792 25635 4294967295 134512640 134569956 3221224400 3221214688 1131456165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 25635 13073 16 0 210711 0
vsize: 842908
[startup+490.024 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 47036 69 0 0 25 0 11 0 488744361 863137792 25711 4294967295 134512640 134569956 3221224400 3221214792 1131217347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 25711 13073 16 0 210711 0
vsize: 842908
[startup+500.025 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 48017 69 0 0 25 0 11 0 488744361 863137792 25770 4294967295 134512640 134569956 3221224400 3221214648 1131418700 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 25770 13073 16 0 210711 0
vsize: 842908
[startup+510.026 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 48994 70 0 0 24 0 11 0 488744361 863137792 25831 4294967295 134512640 134569956 3221224400 3221214848 1131173777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 25831 13073 16 0 210711 0
vsize: 842908
[startup+520.025 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 49973 70 0 0 25 0 11 0 488744361 863137792 25908 4294967295 134512640 134569956 3221224400 3221214892 1131173740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 25908 13073 16 0 210711 0
vsize: 842908
[startup+530.025 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 50951 71 0 0 25 0 11 0 488744361 863137792 25999 4294967295 134512640 134569956 3221224400 3221214792 1131217221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 25999 13073 16 0 210711 0
vsize: 842908
[startup+540.026 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 51930 71 0 0 25 0 11 0 488744361 863137792 26057 4294967295 134512640 134569956 3221224400 3221214848 1131173760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 26057 13073 16 0 210711 0
vsize: 842908
[startup+550.026 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 52908 71 0 0 25 0 11 0 488744361 863137792 26128 4294967295 134512640 134569956 3221224400 3221214896 1131226707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 26128 13073 16 0 210711 0
vsize: 842908
[startup+560.026 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 53886 72 0 0 25 0 11 0 488744361 863137792 26195 4294967295 134512640 134569956 3221224400 3221214792 1131217289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 26195 13073 16 0 210711 0
vsize: 842908
[startup+570.026 s]
Raw data (loadavg): 1.00 0.98 0.92 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 54863 72 0 0 25 0 11 0 488744361 863137792 26265 4294967295 134512640 134569956 3221224400 3221214848 1131173802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 26265 13073 16 0 210711 0
vsize: 842908
[startup+580.026 s]
Raw data (loadavg): 1.07 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 55841 72 0 0 25 0 11 0 488744361 863137792 26333 4294967295 134512640 134569956 3221224400 3221214792 1131217619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 26333 13073 16 0 210711 0
vsize: 842908
[startup+590.026 s]
Raw data (loadavg): 1.06 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 56818 73 0 0 24 0 11 0 488744361 863137792 26409 4294967295 134512640 134569956 3221224400 3221214792 1131217619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 26409 13073 16 0 210711 0
vsize: 842908
[startup+600.026 s]
Raw data (loadavg): 1.05 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 57796 73 0 0 25 0 11 0 488744361 863137792 26475 4294967295 134512640 134569956 3221224400 3221214792 1131217619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 26475 13073 16 0 210711 0
vsize: 842908
[startup+610.027 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 58775 74 0 0 25 0 11 0 488744361 863137792 26558 4294967295 134512640 134569956 3221224400 3221214792 1131218457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 26558 13073 16 0 210711 0
vsize: 842908
[startup+620.027 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) S 12441 22932 22931 0 -1 0 18002 3 78 0 59753 74 0 0 25 0 11 0 488744361 863137792 26638 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 26638 13073 16 0 210711 0
vsize: 842908
[startup+630.027 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 60732 74 0 0 25 0 11 0 488744361 863137792 26692 4294967295 134512640 134569956 3221224400 3221214792 1131217385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 26692 13073 16 0 210711 0
vsize: 842908
[startup+640.028 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 61712 74 0 0 24 0 11 0 488744361 863137792 26773 4294967295 134512640 134569956 3221224400 3221214848 1131173784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 26773 13073 16 0 210711 0
vsize: 842908
[startup+650.029 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) S 12441 22932 22931 0 -1 0 18002 3 78 0 62690 75 0 0 25 0 11 0 488744361 863137792 26841 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 26841 13073 16 0 210711 0
vsize: 842908
[startup+660.029 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 63667 75 0 0 25 0 11 0 488744361 863137792 26907 4294967295 134512640 134569956 3221224400 3221214792 1131217836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 26907 13073 16 0 210711 0
vsize: 842908
[startup+670.029 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) S 12441 22932 22931 0 -1 0 18002 3 78 0 64648 75 0 0 25 0 11 0 488744361 863137792 26972 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 26972 13073 16 0 210711 0
vsize: 842908
[startup+680.03 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 65626 76 0 0 25 0 11 0 488744361 863137792 27052 4294967295 134512640 134569956 3221224400 3221214792 1131217303 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 27052 13073 16 0 210711 0
vsize: 842908
[startup+690.03 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 66606 76 0 0 25 0 11 0 488744361 863137792 27146 4294967295 134512640 134569956 3221224400 3221214848 1131173781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 27146 13073 16 0 210711 0
vsize: 842908
[startup+700.031 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 67585 77 0 0 25 0 11 0 488744361 863137792 27199 4294967295 134512640 134569956 3221224400 3221214792 1131217239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 27199 13073 16 0 210711 0
vsize: 842908
[startup+710.032 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 68562 77 0 0 25 0 11 0 488744361 863137792 27247 4294967295 134512640 134569956 3221224400 3221214792 1131217619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 27247 13073 16 0 210711 0
vsize: 842908
[startup+720.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 69541 78 0 0 25 0 11 0 488744361 863137792 27330 4294967295 134512640 134569956 3221224400 3221214848 1131173875 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 27330 13073 16 0 210711 0
vsize: 842908
[startup+730.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 70521 78 0 0 25 0 11 0 488744361 863137792 27373 4294967295 134512640 134569956 3221224400 3221214792 1131217735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 27373 13073 16 0 210711 0
vsize: 842908
[startup+740.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 71497 78 0 0 25 0 11 0 488744361 863137792 27439 4294967295 134512640 134569956 3221224400 3221214792 1131217716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 27439 13073 16 0 210711 0
vsize: 842908
[startup+750.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 72475 79 0 0 25 0 11 0 488744361 863137792 27483 4294967295 134512640 134569956 3221224400 3221214792 1131217619 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210727 27483 13073 16 0 210711 0
vsize: 842908
[startup+760.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 73455 79 0 0 25 0 11 0 488744361 863137792 27547 4294967295 134512640 134569956 3221224400 3221214792 1131217246 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210727 27547 13073 16 0 210711 0
vsize: 842908
[startup+770.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 74433 79 0 0 25 0 11 0 488744361 863137792 27622 4294967295 134512640 134569956 3221224400 3221214792 1131218135 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210727 27622 13073 16 0 210711 0
vsize: 842908
[startup+780.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 75413 79 0 0 25 0 11 0 488744361 863137792 27685 4294967295 134512640 134569956 3221224400 3221214696 1131267127 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210727 27685 13073 16 0 210711 0
vsize: 842908
[startup+790.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 76395 79 0 0 25 0 11 0 488744361 863137792 27731 4294967295 134512640 134569956 3221224400 3221214792 1131217209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210727 27731 13073 16 0 210711 0
vsize: 842908
[startup+800.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 77370 79 0 0 25 0 11 0 488744361 863137792 27780 4294967295 134512640 134569956 3221224400 3221214792 1131217303 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210727 27780 13073 16 0 210711 0
vsize: 842908
[startup+810.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 78348 79 0 0 25 0 11 0 488744361 863137792 27835 4294967295 134512640 134569956 3221224400 3221214792 1131217213 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210727 27835 13073 16 0 210711 0
vsize: 842908
[startup+820.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 79326 79 0 0 25 0 11 0 488744361 863137792 27925 4294967295 134512640 134569956 3221224400 3221214848 1131173781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210727 27925 13073 16 0 210711 0
vsize: 842908
[startup+830.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 80304 79 0 0 25 0 11 0 488744361 863137792 28003 4294967295 134512640 134569956 3221224400 3221214896 1131226660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210727 28003 13073 16 0 210711 0
vsize: 842908
[startup+840.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 81283 79 0 0 25 0 11 0 488744361 863137792 28054 4294967295 134512640 134569956 3221224400 3221214936 1131342041 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210727 28054 13073 16 0 210711 0
vsize: 842908
[startup+850.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 82260 79 0 0 24 0 11 0 488744361 863137792 28131 4294967295 134512640 134569956 3221224400 3221214792 1131217524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210727 28131 13073 16 0 210711 0
vsize: 842908
[startup+860.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 83239 79 0 0 25 0 11 0 488744361 863137792 28214 4294967295 134512640 134569956 3221224400 3221214848 1131173760 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210727 28214 13073 16 0 210711 0
vsize: 842908
[startup+870.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 84217 80 0 0 25 0 11 0 488744361 863137792 28276 4294967295 134512640 134569956 3221224400 3221214688 1131455341 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210727 28276 13073 16 0 210711 0
vsize: 842908
[startup+880.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 85195 80 0 0 25 0 11 0 488744361 863137792 28334 4294967295 134512640 134569956 3221224400 3221214792 1131218135 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210727 28334 13073 16 0 210711 0
vsize: 842908
[startup+890.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 86173 80 0 0 25 0 11 0 488744361 863137792 28420 4294967295 134512640 134569956 3221224400 3221214792 1131217619 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210727 28420 13073 16 0 210711 0
vsize: 842908
[startup+900.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 87152 80 0 0 25 0 11 0 488744361 863137792 28478 4294967295 134512640 134569956 3221224400 3221214792 1131217619 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210727 28478 13073 16 0 210711 0
vsize: 842908
[startup+910.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 88131 80 0 0 25 0 11 0 488744361 863137792 28546 4294967295 134512640 134569956 3221224400 3221214896 1131226695 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210727 28546 13073 16 0 210711 0
vsize: 842908
[startup+920.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 89111 80 0 0 25 0 11 0 488744361 863137792 28598 4294967295 134512640 134569956 3221224400 3221214792 1131217592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 28598 13073 16 0 210711 0
vsize: 842908
[startup+930.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 90091 80 0 0 25 0 11 0 488744361 863137792 28693 4294967295 134512640 134569956 3221224400 3221214792 1131217619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 28693 13073 16 0 210711 0
vsize: 842908
[startup+940.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 91073 80 0 0 25 0 11 0 488744361 863137792 28737 4294967295 134512640 134569956 3221224400 3221214384 1080217185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 28737 13073 16 0 210711 0
vsize: 842908
[startup+950.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) S 12441 22932 22931 0 -1 0 18002 3 78 0 92054 80 0 0 25 0 11 0 488744361 863137792 28791 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 28791 13073 16 0 210711 0
vsize: 842908
[startup+960.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 93033 80 0 0 24 0 11 0 488744361 863137792 28851 4294967295 134512640 134569956 3221224400 3221214592 1131216230 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 28851 13073 16 0 210711 0
vsize: 842908
[startup+970.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 94014 81 0 0 25 0 11 0 488744361 863137792 28905 4294967295 134512640 134569956 3221224400 3221214592 1131523210 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 28905 13073 16 0 210711 0
vsize: 842908
[startup+980.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 94996 81 0 0 25 0 11 0 488744361 863137792 28965 4294967295 134512640 134569956 3221224400 3221214792 1131217619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 28965 13073 16 0 210711 0
vsize: 842908
[startup+990.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 95976 82 0 0 25 0 11 0 488744361 863137792 29015 4294967295 134512640 134569956 3221224400 3221214792 1131217277 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 29015 13073 16 0 210711 0
vsize: 842908
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 96956 82 0 0 25 0 11 0 488744361 863137792 29077 4294967295 134512640 134569956 3221224400 3221214848 1131335727 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 29077 13073 16 0 210711 0
vsize: 842908
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 97936 82 0 0 25 0 11 0 488744361 863137792 29133 4294967295 134512640 134569956 3221224400 3221214648 1131420646 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 29133 13073 16 0 210711 0
vsize: 842908
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 98914 83 0 0 25 0 11 0 488744361 863137792 29208 4294967295 134512640 134569956 3221224400 3221214792 1131217625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 29208 13073 16 0 210711 0
vsize: 842908
[startup+1030.04 s]
Raw data (loadavg): 1.07 1.02 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 99894 83 0 0 25 0 11 0 488744361 863137792 29258 4294967295 134512640 134569956 3221224400 3221214792 1131218399 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 29258 13073 16 0 210711 0
vsize: 842908
[startup+1040.05 s]
Raw data (loadavg): 1.06 1.02 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 100872 84 0 0 25 0 11 0 488744361 863137792 29335 4294967295 134512640 134569956 3221224400 3221214544 1131267297 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 29335 13073 16 0 210711 0
vsize: 842908
[startup+1050.05 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 101850 84 0 0 25 0 11 0 488744361 863137792 29411 4294967295 134512640 134569956 3221224400 3221214896 1131227433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 29411 13073 16 0 210711 0
vsize: 842908
[startup+1060.05 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 102827 84 0 0 25 0 11 0 488744361 863137792 29462 4294967295 134512640 134569956 3221224400 3221214792 1131218133 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 29462 13073 16 0 210711 0
vsize: 842908
[startup+1070.05 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 103806 85 0 0 25 0 11 0 488744361 863137792 29560 4294967295 134512640 134569956 3221224400 3221214792 1131217808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 29560 13073 16 0 210711 0
vsize: 842908
[startup+1080.05 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 104783 86 0 0 25 0 11 0 488744361 863137792 29607 4294967295 134512640 134569956 3221224400 3221214792 1131217897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 29607 13073 16 0 210711 0
vsize: 842908
[startup+1090.05 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 105760 86 0 0 25 0 11 0 488744361 863137792 29667 4294967295 134512640 134569956 3221224400 3221214896 1131227389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 29667 13073 16 0 210711 0
vsize: 842908
[startup+1100.05 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 12462
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 106736 87 0 0 25 0 11 0 488744361 863137792 29736 4294967295 134512640 134569956 3221224400 3221214792 1131217696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 29736 13073 16 0 210711 0
vsize: 842908
[startup+1110.05 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 12519
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 107709 91 0 0 25 0 11 0 488744361 863137792 29809 4294967295 134512640 134569956 3221224400 3221214792 1131217228 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 29809 13073 16 0 210711 0
vsize: 842908
[startup+1120.05 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 12519
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 108686 91 0 0 25 0 11 0 488744361 863137792 29858 4294967295 134512640 134569956 3221224400 3221214792 1131218442 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 29858 13073 16 0 210711 0
vsize: 842908
[startup+1130.05 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 12519
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 109662 91 0 0 25 0 11 0 488744361 863137792 29922 4294967295 134512640 134569956 3221224400 3221214536 1131482508 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 29922 13073 16 0 210711 0
vsize: 842908
[startup+1140.05 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 12519
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 110635 91 0 0 25 0 11 0 488744361 863137792 30004 4294967295 134512640 134569956 3221224400 3221214848 1131173760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 30004 13073 16 0 210711 0
vsize: 842908
[startup+1150.05 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 12519
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 111613 92 0 0 25 0 11 0 488744361 863137792 30057 4294967295 134512640 134569956 3221224400 3221214792 1131217619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 30057 13073 16 0 210711 0
vsize: 842908
[startup+1160.05 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 12519
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 112592 92 0 0 25 0 11 0 488744361 863137792 30131 4294967295 134512640 134569956 3221224400 3221214648 1131522986 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 30131 13073 16 0 210711 0
vsize: 842908
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12519
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 113571 92 0 0 25 0 11 0 488744361 863137792 30200 4294967295 134512640 134569956 3221224400 3221214848 1131173760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 30200 13073 16 0 210711 0
vsize: 842908
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12521
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 114546 92 0 0 24 0 11 0 488744361 863137792 30258 4294967295 134512640 134569956 3221224400 3221214848 1131173765 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 30258 13073 16 0 210711 0
vsize: 842908
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12521
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 115525 92 0 0 23 0 11 0 488744361 863137792 30292 4294967295 134512640 134569956 3221224400 3221214792 1131218503 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 30292 13073 16 0 210711 0
vsize: 842908
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12521
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 116500 92 0 0 25 0 11 0 488744361 863137792 30361 4294967295 134512640 134569956 3221224400 3221214896 1131226405 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 30361 13073 16 0 210711 0
vsize: 842908
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12521
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 117475 93 0 0 25 0 11 0 488744361 863137792 30437 4294967295 134512640 134569956 3221224400 3221214792 1131217816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 30437 13073 16 0 210711 0
vsize: 842908
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12521
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 118447 93 0 0 25 0 11 0 488744361 863137792 30493 4294967295 134512640 134569956 3221224400 3221214792 1131217850 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 30493 13073 16 0 210711 0
vsize: 842908
[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12521
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 119418 93 0 0 25 0 11 0 488744361 863137792 30585 4294967295 134512640 134569956 3221224400 3221214896 1131226389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 30585 13073 16 0 210711 0
vsize: 842908
[startup+1240.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12521
Raw data (stat): 12442 (java) R 12441 22932 22931 0 -1 0 18002 3 78 0 120390 94 0 0 25 0 11 0 488744361 863137792 30683 4294967295 134512640 134569956 3221224400 3221214792 1131217246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210727 30683 13073 16 0 210711 0
vsize: 842908
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.18 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 12523
Raw data (stat): 12442 (java) Z 12441 22932 22931 0 -1 1036 18002 18882 78 1 120395 100 4256 65 25 0 1 0 488744361 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): 1240.18
CPU time (s): 1248.18
CPU user time (s): 1246.53
CPU system time (s): 1.65675
CPU usage (%): 100.645
Max. virtual memory (Kb): 844856
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####