PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-afiro.opb
MD5SUM	b9a386a980af3ebe560fd16ca36e17ae
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-1486831
Optimality of the best value was proved	NO
Number of terms in the objective function	100
Biggest coefficient in the objective function	131072000
Number of bits for the biggest coefficient in the objective function	27
Sum of the numbers in the objective function	309329625
Number of bits of the sum of numbers in the objective function	29
Biggest number in a constraint	1273495552
Number of bits of the biggest number in a constraint	31
Biggest sum of numbers in a constraint	20473426875
Number of bits of the biggest sum of numbers	35
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	484.119
Number of variables	640
Total number of constraints	27
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	27
Minimum length of a constraint	20
Maximum length of a constraint	180
Trace number 20173

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        449400 kB
Buffers:         33936 kB
Cached:         523324 kB
SwapCached:         68 kB
Active:         140572 kB
Inactive:       419576 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        449148 kB
SwapTotal:     2097892 kB
SwapFree:      2097800 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           6880 kB
Slab:            19464 kB
Committed_AS:    63728 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 20:40:02 (client local time) WITH STATUS 143 IN 1226.72 SECONDS
stats: 15453 7 1226.72 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-afiro.opb
c reading problem 
c [nbvar=640]
c [nbconstr=27]
c time 1.319
c #vars     640
c #clauses  35
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=0
c Current CPU time (ms) : 1.945
c starts	: 1
c conflicts	: 0
c decisions	: 71
c propagations	: 640
c inspects	: 884
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
c 
c CURRENT OPTIMUM=-15
c Current CPU time (ms) : 6.665
c starts	: 2
c conflicts	: 17
c decisions	: 281
c propagations	: 2205
c inspects	: 4076
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 17
c root simplifications	: 7
c 
c CURRENT OPTIMUM=-1436160
c Current CPU time (ms) : 10.056
c starts	: 3
c conflicts	: 90
c decisions	: 522
c propagations	: 4031
c inspects	: 9772
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 90
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.56 0.73 0.81 2/54 9097
Raw data (stat): 9097 (runsolver) R 9096 22612 22611 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 547912822 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99995 s]
Raw data (loadavg): 1.24 0.87 0.86 2/64 9109
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18073 4 1 0 634 38 0 0 25 0 11 0 547912822 860512256 20524 4294967295 134512640 134569956 3221224400 3221214544 1130917144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210086 20524 13073 16 0 210070 0
vsize: 840344
[startup+20 s]
Raw data (loadavg): 1.20 0.88 0.86 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18074 4 1 0 1566 39 0 0 25 0 11 0 547912822 861134848 21050 4294967295 134512640 134569956 3221224400 3221214544 1131532122 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210238 21050 13073 16 0 210222 0
vsize: 840952
[startup+30.0006 s]
Raw data (loadavg): 1.17 0.88 0.86 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18074 4 1 0 2530 39 0 0 25 0 11 0 547912822 861134848 21341 4294967295 134512640 134569956 3221224400 3221214800 1131196329 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210238 21341 13073 16 0 210222 0
vsize: 840952
[startup+40.0009 s]
Raw data (loadavg): 1.14 0.89 0.86 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18074 4 1 0 3482 39 0 0 25 0 11 0 547912822 861134848 21520 4294967295 134512640 134569956 3221224400 3221214808 1131272305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210238 21520 13073 16 0 210222 0
vsize: 840952
[startup+50.0021 s]
Raw data (loadavg): 1.20 0.90 0.87 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 4437 39 0 0 25 0 11 0 547912822 861134848 21671 4294967295 134512640 134569956 3221224400 3221214800 1131196489 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210238 21671 13073 16 0 210222 0
vsize: 840952
[startup+60.0053 s]
Raw data (loadavg): 1.17 0.91 0.87 2/64 9110
Raw data (stat): 9097 (java) S 9096 22612 22611 0 -1 0 18075 4 1 0 5387 39 0 0 25 0 11 0 547912822 861134848 21932 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210238 21932 13073 16 0 210222 0
vsize: 840952
[startup+70.0111 s]
Raw data (loadavg): 1.14 0.91 0.87 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 6362 40 0 0 25 0 11 0 547912822 861134848 22148 4294967295 134512640 134569956 3221224400 3221214472 1131593621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210238 22148 13073 16 0 210222 0
vsize: 840952
[startup+80.0156 s]
Raw data (loadavg): 1.12 0.91 0.87 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 7339 40 0 0 25 0 11 0 547912822 861134848 22275 4294967295 134512640 134569956 3221224400 3221214800 1131196481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210238 22275 13073 16 0 210222 0
vsize: 840952
[startup+90.0223 s]
Raw data (loadavg): 1.10 0.91 0.87 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 8322 40 0 0 25 0 11 0 547912822 861134848 22327 4294967295 134512640 134569956 3221224400 3221214800 1131196267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 22327 13073 16 0 210222 0
vsize: 840952
[startup+100.024 s]
Raw data (loadavg): 1.08 0.92 0.87 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 9300 40 0 0 25 0 11 0 547912822 861134848 22399 4294967295 134512640 134569956 3221224400 3221214184 1131476433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 22399 13073 16 0 210222 0
vsize: 840952
[startup+110.024 s]
Raw data (loadavg): 1.07 0.92 0.87 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 10281 40 0 0 25 0 11 0 547912822 861134848 22455 4294967295 134512640 134569956 3221224400 3221214408 1131476412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 22455 13073 16 0 210222 0
vsize: 840952
[startup+120.024 s]
Raw data (loadavg): 1.06 0.92 0.87 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 11263 41 0 0 25 0 11 0 547912822 861134848 22503 4294967295 134512640 134569956 3221224400 3221214464 1131476356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 22503 13073 16 0 210222 0
vsize: 840952
[startup+130.024 s]
Raw data (loadavg): 1.05 0.92 0.88 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 12241 41 0 0 25 0 11 0 547912822 861134848 22581 4294967295 134512640 134569956 3221224400 3221214816 1131191697 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 22581 13073 16 0 210222 0
vsize: 840952
[startup+140.027 s]
Raw data (loadavg): 1.04 0.92 0.88 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 13219 41 0 0 25 0 11 0 547912822 861134848 22671 4294967295 134512640 134569956 3221224400 3221214516 1131476432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 22671 13073 16 0 210222 0
vsize: 840952
[startup+150.027 s]
Raw data (loadavg): 1.04 0.93 0.88 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 14197 41 0 0 25 0 11 0 547912822 861134848 22729 4294967295 134512640 134569956 3221224400 3221214296 1131476493 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 22729 13073 16 0 210222 0
vsize: 840952
[startup+160.027 s]
Raw data (loadavg): 1.03 0.93 0.88 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 15175 41 0 0 25 0 11 0 547912822 861134848 22808 4294967295 134512640 134569956 3221224400 3221214680 1131458223 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 22808 13073 16 0 210222 0
vsize: 840952
[startup+170.027 s]
Raw data (loadavg): 1.02 0.93 0.88 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 16149 42 0 0 25 0 11 0 547912822 861134848 22880 4294967295 134512640 134569956 3221224400 3221214776 1131197115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 22880 13073 16 0 210222 0
vsize: 840952
[startup+180.028 s]
Raw data (loadavg): 1.02 0.93 0.88 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 17128 42 0 0 25 0 11 0 547912822 861134848 22970 4294967295 134512640 134569956 3221224400 3221214432 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 22970 13073 16 0 210222 0
vsize: 840952
[startup+190.028 s]
Raw data (loadavg): 1.02 0.93 0.88 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 18108 43 0 0 25 0 11 0 547912822 861134848 23036 4294967295 134512640 134569956 3221224400 3221214344 1131458223 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23036 13073 16 0 210222 0
vsize: 840952
[startup+200.029 s]
Raw data (loadavg): 1.01 0.94 0.88 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 19089 43 0 0 25 0 11 0 547912822 861134848 23120 4294967295 134512640 134569956 3221224400 3221214816 1131191697 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23120 13073 16 0 210222 0
vsize: 840952
[startup+210.03 s]
Raw data (loadavg): 1.01 0.94 0.88 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 20069 43 0 0 25 0 11 0 547912822 861134848 23200 4294967295 134512640 134569956 3221224400 3221214872 1131204937 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23200 13073 16 0 210222 0
vsize: 840952
[startup+220.03 s]
Raw data (loadavg): 1.01 0.94 0.88 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 21049 44 0 0 24 0 11 0 547912822 861134848 23270 4294967295 134512640 134569956 3221224400 3221214816 1131191705 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23270 13073 16 0 210222 0
vsize: 840952
[startup+230.03 s]
Raw data (loadavg): 1.01 0.94 0.89 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 22035 44 0 0 25 0 11 0 547912822 861134848 23306 4294967295 134512640 134569956 3221224400 3221214816 1131191680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23306 13073 16 0 210222 0
vsize: 840952
[startup+240.038 s]
Raw data (loadavg): 1.01 0.94 0.89 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 23017 44 0 0 25 0 11 0 547912822 861134848 23363 4294967295 134512640 134569956 3221224400 3221214792 1131236259 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210238 23363 13073 16 0 210222 0
vsize: 840952
[startup+250.038 s]
Raw data (loadavg): 1.00 0.94 0.89 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 24000 44 0 0 25 0 11 0 547912822 861134848 23453 4294967295 134512640 134569956 3221224400 3221214328 1131454878 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23453 13073 16 0 210222 0
vsize: 840952
[startup+260.038 s]
Raw data (loadavg): 1.00 0.94 0.89 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 24983 45 0 0 25 0 11 0 547912822 861134848 23498 4294967295 134512640 134569956 3221224400 3221214776 1131195927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23498 13073 16 0 210222 0
vsize: 840952
[startup+270.038 s]
Raw data (loadavg): 1.00 0.95 0.89 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 25969 45 0 0 25 0 11 0 547912822 861134848 23537 4294967295 134512640 134569956 3221224400 3221214776 1131196119 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23537 13073 16 0 210222 0
vsize: 840952
[startup+280.047 s]
Raw data (loadavg): 1.00 0.95 0.89 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 26956 45 0 0 25 0 11 0 547912822 861134848 23587 4294967295 134512640 134569956 3221224400 3221214776 1131196018 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23587 13073 16 0 210222 0
vsize: 840952
[startup+290.046 s]
Raw data (loadavg): 1.00 0.95 0.89 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 27941 46 0 0 25 0 11 0 547912822 861134848 23633 4294967295 134512640 134569956 3221224400 3221214228 1131467584 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23633 13073 16 0 210222 0
vsize: 840952
[startup+300.047 s]
Raw data (loadavg): 1.00 0.95 0.89 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 28927 47 0 0 25 0 11 0 547912822 861134848 23678 4294967295 134512640 134569956 3221224400 3221214352 1131476433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23678 13073 16 0 210222 0
vsize: 840952
[startup+310.053 s]
Raw data (loadavg): 1.00 0.95 0.89 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 29918 47 0 0 25 0 11 0 547912822 861134848 23705 4294967295 134512640 134569956 3221224400 3221214156 1131476432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23705 13073 16 0 210222 0
vsize: 840952
[startup+320.053 s]
Raw data (loadavg): 1.00 0.95 0.89 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 30904 47 0 0 25 0 11 0 547912822 861134848 23732 4294967295 134512640 134569956 3221224400 3221214776 1131196450 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23732 13073 16 0 210222 0
vsize: 840952
[startup+330.058 s]
Raw data (loadavg): 1.00 0.95 0.89 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 31891 47 0 0 25 0 11 0 547912822 861134848 23774 4294967295 134512640 134569956 3221224400 3221214208 1131470391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23774 13073 16 0 210222 0
vsize: 840952
[startup+340.06 s]
Raw data (loadavg): 1.00 0.95 0.90 2/64 9110
Raw data (stat): 9097 (java) S 9096 22612 22611 0 -1 0 18075 4 1 0 32876 48 0 0 25 0 11 0 547912822 861134848 23820 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23820 13073 16 0 210222 0
vsize: 840952
[startup+350.06 s]
Raw data (loadavg): 1.00 0.95 0.90 3/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 33860 48 0 0 25 0 11 0 547912822 861134848 23883 4294967295 134512640 134569956 3221224400 3221214344 1131458143 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23883 13073 16 0 210222 0
vsize: 840952
[startup+360.074 s]
Raw data (loadavg): 1.00 0.95 0.90 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 34849 48 0 0 24 0 11 0 547912822 861134848 23954 4294967295 134512640 134569956 3221224400 3221214888 1131557346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23954 13073 16 0 210222 0
vsize: 840952
[startup+370.081 s]
Raw data (loadavg): 1.08 0.97 0.90 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 35841 48 0 0 25 0 11 0 547912822 861134848 23997 4294967295 134512640 134569956 3221224400 3221214776 1131196284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 23997 13073 16 0 210222 0
vsize: 840952
[startup+380.085 s]
Raw data (loadavg): 1.07 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 36827 49 0 0 25 0 11 0 547912822 861134848 24046 4294967295 134512640 134569956 3221224400 3221214680 1131458236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24046 13073 16 0 210222 0
vsize: 840952
[startup+390.086 s]
Raw data (loadavg): 1.06 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 37818 49 0 0 25 0 11 0 547912822 861134848 24073 4294967295 134512640 134569956 3221224400 3221214208 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24073 13073 16 0 210222 0
vsize: 840952
[startup+400.088 s]
Raw data (loadavg): 1.05 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 38802 50 0 0 24 0 11 0 547912822 861134848 24122 4294967295 134512640 134569956 3221224400 3221214776 1131196844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24122 13073 16 0 210222 0
vsize: 840952
[startup+410.087 s]
Raw data (loadavg): 1.04 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 39793 50 0 0 25 0 11 0 547912822 861134848 24151 4294967295 134512640 134569956 3221224400 3221213700 1131467584 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24151 13073 16 0 210222 0
vsize: 840952
[startup+420.095 s]
Raw data (loadavg): 1.03 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 40778 50 0 0 25 0 11 0 547912822 861134848 24201 4294967295 134512640 134569956 3221224400 3221214776 1131195941 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24201 13073 16 0 210222 0
vsize: 840952
[startup+430.096 s]
Raw data (loadavg): 1.03 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 41766 51 0 0 25 0 11 0 547912822 861134848 24233 4294967295 134512640 134569956 3221224400 3221214776 1131196428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24233 13073 16 0 210222 0
vsize: 840952
[startup+440.095 s]
Raw data (loadavg): 1.02 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 42755 51 0 0 25 0 11 0 547912822 861134848 24263 4294967295 134512640 134569956 3221224400 3221213936 1131476408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24263 13073 16 0 210222 0
vsize: 840952
[startup+450.105 s]
Raw data (loadavg): 1.02 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 43743 51 0 0 25 0 11 0 547912822 861134848 24300 4294967295 134512640 134569956 3221224400 3221214816 1131191817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24300 13073 16 0 210222 0
vsize: 840952
[startup+460.106 s]
Raw data (loadavg): 1.02 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 44732 51 0 0 25 0 11 0 547912822 861134848 24349 4294967295 134512640 134569956 3221224400 3221214680 1131458089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24349 13073 16 0 210222 0
vsize: 840952
[startup+470.107 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 45720 51 0 0 25 0 11 0 547912822 861134848 24446 4294967295 134512640 134569956 3221224400 3221214776 1131196442 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24446 13073 16 0 210222 0
vsize: 840952
[startup+480.107 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 46709 52 0 0 25 0 11 0 547912822 861134848 24475 4294967295 134512640 134569956 3221224400 3221214228 1131458219 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24475 13073 16 0 210222 0
vsize: 840952
[startup+490.108 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 47698 52 0 0 25 0 11 0 547912822 861134848 24519 4294967295 134512640 134569956 3221224400 3221213792 1085679293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24519 13073 16 0 210222 0
vsize: 840952
[startup+500.109 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 48687 52 0 0 25 0 11 0 547912822 861134848 24563 4294967295 134512640 134569956 3221224400 3221214504 1131458248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24563 13073 16 0 210222 0
vsize: 840952
[startup+510.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 49676 52 0 0 25 0 11 0 547912822 861134848 24593 4294967295 134512640 134569956 3221224400 3221213752 1131470218 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24593 13073 16 0 210222 0
vsize: 840952
[startup+520.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 50665 53 0 0 25 0 11 0 547912822 861134848 24625 4294967295 134512640 134569956 3221224400 3221214344 1131458250 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24625 13073 16 0 210222 0
vsize: 840952
[startup+530.111 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 51655 53 0 0 25 0 11 0 547912822 861134848 24654 4294967295 134512640 134569956 3221224400 3221214776 1131196559 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24654 13073 16 0 210222 0
vsize: 840952
[startup+540.111 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 52644 53 0 0 25 0 11 0 547912822 861134848 24694 4294967295 134512640 134569956 3221224400 3221213928 1131470212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24694 13073 16 0 210222 0
vsize: 840952
[startup+550.112 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 53634 54 0 0 25 0 11 0 547912822 861134848 24738 4294967295 134512640 134569956 3221224400 3221214776 1131196580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24738 13073 16 0 210222 0
vsize: 840952
[startup+560.113 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 54623 54 0 0 25 0 11 0 547912822 861134848 24776 4294967295 134512640 134569956 3221224400 3221214120 1131458092 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24776 13073 16 0 210222 0
vsize: 840952
[startup+570.113 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 55614 54 0 0 25 0 11 0 547912822 861134848 24808 4294967295 134512640 134569956 3221224400 3221214776 1131196329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24808 13073 16 0 210222 0
vsize: 840952
[startup+580.114 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 56603 55 0 0 25 0 11 0 547912822 861134848 24835 4294967295 134512640 134569956 3221224400 3221213984 1131470174 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24835 13073 16 0 210222 0
vsize: 840952
[startup+590.114 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 57593 55 0 0 25 0 11 0 547912822 861134848 24864 4294967295 134512640 134569956 3221224400 3221214576 1131476356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24864 13073 16 0 210222 0
vsize: 840952
[startup+600.115 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 58584 55 0 0 25 0 11 0 547912822 861134848 24883 4294967295 134512640 134569956 3221224400 3221214776 1131196284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24883 13073 16 0 210222 0
vsize: 840952
[startup+610.115 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 59574 55 0 0 25 0 11 0 547912822 861134848 24908 4294967295 134512640 134569956 3221224400 3221214632 1131476380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24908 13073 16 0 210222 0
vsize: 840952
[startup+620.115 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 60563 56 0 0 25 0 11 0 547912822 861134848 24934 4294967295 134512640 134569956 3221224400 3221214776 1131195997 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24934 13073 16 0 210222 0
vsize: 840952
[startup+630.116 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 61554 56 0 0 25 0 11 0 547912822 861134848 24955 4294967295 134512640 134569956 3221224400 3221214776 1131196329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24955 13073 16 0 210222 0
vsize: 840952
[startup+640.117 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 62544 56 0 0 25 0 11 0 547912822 861134848 24978 4294967295 134512640 134569956 3221224400 3221214104 1131476311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 24978 13073 16 0 210222 0
vsize: 840952
[startup+650.117 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 63534 56 0 0 25 0 11 0 547912822 861134848 25006 4294967295 134512640 134569956 3221224400 3221214776 1131196329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 25006 13073 16 0 210222 0
vsize: 840952
[startup+660.118 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 64523 56 0 0 25 0 11 0 547912822 861134848 25029 4294967295 134512640 134569956 3221224400 3221214288 1131458021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 25029 13073 16 0 210222 0
vsize: 840952
[startup+670.117 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 65513 57 0 0 25 0 11 0 547912822 861134848 25046 4294967295 134512640 134569956 3221224400 3221214564 1131458219 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 25046 13073 16 0 210222 0
vsize: 840952
[startup+680.118 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 66503 57 0 0 25 0 11 0 547912822 861134848 25062 4294967295 134512640 134569956 3221224400 3221214816 1131191709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 25062 13073 16 0 210222 0
vsize: 840952
[startup+690.119 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 67493 57 0 0 25 0 11 0 547912822 861134848 25105 4294967295 134512640 134569956 3221224400 3221214372 1085616768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 25105 13073 16 0 210222 0
vsize: 840952
[startup+700.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 68485 58 0 0 25 0 11 0 547912822 861134848 25118 4294967295 134512640 134569956 3221224400 3221214928 1131409273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 25118 13073 16 0 210222 0
vsize: 840952
[startup+710.222 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 69482 58 0 0 25 0 11 0 547912822 861134848 25140 4294967295 134512640 134569956 3221224400 3221214816 1131191697 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 25140 13073 16 0 210222 0
vsize: 840952
[startup+720.222 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 70472 58 0 0 25 0 11 0 547912822 861134848 25180 4294967295 134512640 134569956 3221224400 3221214728 1131309310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 25180 13073 16 0 210222 0
vsize: 840952
[startup+730.222 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 71461 58 0 0 25 0 11 0 547912822 861134848 25210 4294967295 134512640 134569956 3221224400 3221213824 1131476490 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 25210 13073 16 0 210222 0
vsize: 840952
[startup+740.222 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 72451 58 0 0 25 0 11 0 547912822 861134848 25231 4294967295 134512640 134569956 3221224400 3221214776 1131196641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 25231 13073 16 0 210222 0
vsize: 840952
[startup+750.223 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 73440 59 0 0 25 0 11 0 547912822 861134848 25251 4294967295 134512640 134569956 3221224400 3221214552 1131455130 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 25251 13073 16 0 210222 0
vsize: 840952
[startup+760.224 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 74429 59 0 0 25 0 11 0 547912822 861134848 25290 4294967295 134512640 134569956 3221224400 3221214184 1131476433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 25290 13073 16 0 210222 0
vsize: 840952
[startup+770.223 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 75422 59 0 0 25 0 11 0 547912822 861134848 25309 4294967295 134512640 134569956 3221224400 3221214664 1131224341 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 25309 13073 16 0 210222 0
vsize: 840952
[startup+780.224 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 76411 59 0 0 25 0 11 0 547912822 861134848 25335 4294967295 134512640 134569956 3221224400 3221214040 1131470140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 25335 13073 16 0 210222 0
vsize: 840952
[startup+790.224 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 77401 59 0 0 25 0 11 0 547912822 861134848 25368 4294967295 134512640 134569956 3221224400 3221214776 1131196551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 25368 13073 16 0 210222 0
vsize: 840952
[startup+800.225 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 78391 59 0 0 25 0 11 0 547912822 861134848 25401 4294967295 134512640 134569956 3221224400 3221214208 1131470184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 25401 13073 16 0 210222 0
vsize: 840952
[startup+810.226 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 79380 60 0 0 25 0 11 0 547912822 861134848 25441 4294967295 134512640 134569956 3221224400 3221214776 1131196329 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210238 25441 13073 16 0 210222 0
vsize: 840952
[startup+820.226 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 80370 60 0 0 25 0 11 0 547912822 861134848 25470 4294967295 134512640 134569956 3221224400 3221214816 1131191705 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 25470 13073 16 0 210222 0
vsize: 840952
[startup+830.231 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 81360 60 0 0 25 0 11 0 547912822 861134848 25494 4294967295 134512640 134569956 3221224400 3221214872 1131206272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 25494 13073 16 0 210222 0
vsize: 840952
[startup+840.231 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 82350 60 0 0 25 0 11 0 547912822 861134848 25529 4294967295 134512640 134569956 3221224400 3221213872 1085679346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 25529 13073 16 0 210222 0
vsize: 840952
[startup+850.231 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 83339 61 0 0 25 0 11 0 547912822 861134848 25553 4294967295 134512640 134569956 3221224400 3221213928 1131470212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 25553 13073 16 0 210222 0
vsize: 840952
[startup+860.231 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 84329 61 0 0 25 0 11 0 547912822 861134848 25580 4294967295 134512640 134569956 3221224400 3221214628 1131476376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 25580 13073 16 0 210222 0
vsize: 840952
[startup+870.232 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 85318 61 0 0 25 0 11 0 547912822 861134848 25615 4294967295 134512640 134569956 3221224400 3221214776 1131196432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 25615 13073 16 0 210222 0
vsize: 840952
[startup+880.233 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 86307 62 0 0 25 0 11 0 547912822 861134848 25634 4294967295 134512640 134569956 3221224400 3221214776 1131196329 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210238 25634 13073 16 0 210222 0
vsize: 840952
[startup+890.234 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 87296 62 0 0 25 0 11 0 547912822 861134848 25673 4294967295 134512640 134569956 3221224400 3221214624 1131458236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 25673 13073 16 0 210222 0
vsize: 840952
[startup+900.235 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 88285 62 0 0 25 0 11 0 547912822 861134848 25701 4294967295 134512640 134569956 3221224400 3221214632 1131476408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 25701 13073 16 0 210222 0
vsize: 840952
[startup+910.235 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 89275 62 0 0 25 0 11 0 547912822 861134848 25732 4294967295 134512640 134569956 3221224400 3221214568 1131458236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 25732 13073 16 0 210222 0
vsize: 840952
[startup+920.236 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 90264 63 0 0 25 0 11 0 547912822 861134848 25775 4294967295 134512640 134569956 3221224400 3221214352 1131476412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 25775 13073 16 0 210222 0
vsize: 840952
[startup+930.236 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 91253 63 0 0 25 0 11 0 547912822 861134848 25800 4294967295 134512640 134569956 3221224400 3221214400 1131458029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 25800 13073 16 0 210222 0
vsize: 840952
[startup+940.237 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 92242 64 0 0 25 0 11 0 547912822 861134848 25825 4294967295 134512640 134569956 3221224400 3221214776 1131197378 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 25825 13073 16 0 210222 0
vsize: 840952
[startup+950.238 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 93232 64 0 0 25 0 11 0 547912822 861134848 25863 4294967295 134512640 134569956 3221224400 3221214384 1131455048 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 25863 13073 16 0 210222 0
vsize: 840952
[startup+960.238 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 94220 64 0 0 25 0 11 0 547912822 861134848 25887 4294967295 134512640 134569956 3221224400 3221214396 1131476256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 25887 13073 16 0 210222 0
vsize: 840952
[startup+970.239 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 95209 65 0 0 25 0 11 0 547912822 861134848 25908 4294967295 134512640 134569956 3221224400 3221214776 1131196329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 25908 13073 16 0 210222 0
vsize: 840952
[startup+980.24 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 96198 65 0 0 25 0 11 0 547912822 861134848 25940 4294967295 134512640 134569956 3221224400 3221214816 1131191680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 25940 13073 16 0 210222 0
vsize: 840952
[startup+990.24 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 97189 65 0 0 25 0 11 0 547912822 861134848 25955 4294967295 134512640 134569956 3221224400 3221214240 1131476493 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 25955 13073 16 0 210222 0
vsize: 840952
[startup+1000.24 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 98178 65 0 0 25 0 11 0 547912822 861134848 25987 4294967295 134512640 134569956 3221224400 3221214816 1131191673 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210238 25987 13073 16 0 210222 0
vsize: 840952
[startup+1010.24 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 99167 66 0 0 25 0 11 0 547912822 861134848 26033 4294967295 134512640 134569956 3221224400 3221214776 1131196527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 26033 13073 16 0 210222 0
vsize: 840952
[startup+1020.24 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 100156 66 0 0 25 0 11 0 547912822 861134848 26085 4294967295 134512640 134569956 3221224400 3221214352 1131476433 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210238 26085 13073 16 0 210222 0
vsize: 840952
[startup+1030.24 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 101145 66 0 0 25 0 11 0 547912822 861134848 26117 4294967295 134512640 134569956 3221224400 3221214496 1131455140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210238 26117 13073 16 0 210222 0
vsize: 840952
[startup+1040.24 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 102134 66 0 0 25 0 11 0 547912822 861134848 26167 4294967295 134512640 134569956 3221224400 3221214872 1131205397 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210238 26167 13073 16 0 210222 0
vsize: 840952
[startup+1050.24 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 103124 66 0 0 25 0 11 0 547912822 861134848 26196 4294967295 134512640 134569956 3221224400 3221213848 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210238 26196 13073 16 0 210222 0
vsize: 840952
[startup+1060.25 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 104110 66 0 0 24 0 11 0 547912822 861134848 26223 4294967295 134512640 134569956 3221224400 3221214776 1131196580 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210238 26223 13073 16 0 210222 0
vsize: 840952
[startup+1070.25 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 105100 66 0 0 25 0 11 0 547912822 861134848 26241 4294967295 134512640 134569956 3221224400 3221214776 1131196432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210238 26241 13073 16 0 210222 0
vsize: 840952
[startup+1080.25 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 106089 66 0 0 24 0 11 0 547912822 861134848 26265 4294967295 134512640 134569956 3221224400 3221214872 1131205953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210238 26265 13073 16 0 210222 0
vsize: 840952
[startup+1090.25 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 107078 67 0 0 25 0 11 0 547912822 861134848 26286 4294967295 134512640 134569956 3221224400 3221214016 1131476380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 26286 13073 16 0 210222 0
vsize: 840952
[startup+1100.25 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 108066 67 0 0 25 0 11 0 547912822 861134848 26313 4294967295 134512640 134569956 3221224400 3221214872 1131205127 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 26313 13073 16 0 210222 0
vsize: 840952
[startup+1110.25 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 109057 67 0 0 25 0 11 0 547912822 861134848 26347 4294967295 134512640 134569956 3221224400 3221213872 1131470140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 26347 13073 16 0 210222 0
vsize: 840952
[startup+1120.25 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 110043 67 0 0 25 0 11 0 547912822 861134848 26370 4294967295 134512640 134569956 3221224400 3221214352 1131476433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 26370 13073 16 0 210222 0
vsize: 840952
[startup+1130.25 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 111035 67 0 0 25 0 11 0 547912822 861134848 26386 4294967295 134512640 134569956 3221224400 3221214776 1131197233 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210238 26386 13073 16 0 210222 0
vsize: 840952
[startup+1140.25 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 112023 68 0 0 25 0 11 0 547912822 861134848 26410 4294967295 134512640 134569956 3221224400 3221214776 1131196329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 26410 13073 16 0 210222 0
vsize: 840952
[startup+1150.25 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 113011 68 0 0 25 0 11 0 547912822 861134848 26429 4294967295 134512640 134569956 3221224400 3221214224 1131458239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 26429 13073 16 0 210222 0
vsize: 840952
[startup+1160.25 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 113998 68 0 0 25 0 11 0 547912822 861134848 26467 4294967295 134512640 134569956 3221224400 3221214568 1131458017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210238 26467 13073 16 0 210222 0
vsize: 840952
[startup+1170.25 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 114986 68 0 0 25 0 11 0 547912822 861134848 26500 4294967295 134512640 134569956 3221224400 3221214776 1131196284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 26500 13073 16 0 210222 0
vsize: 840952
[startup+1180.25 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 115973 68 0 0 25 0 11 0 547912822 861134848 26521 4294967295 134512640 134569956 3221224400 3221214672 1131467605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 26521 13073 16 0 210222 0
vsize: 840952
[startup+1190.25 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 116960 68 0 0 25 0 11 0 547912822 861134848 26558 4294967295 134512640 134569956 3221224400 3221214776 1131196329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 26558 13073 16 0 210222 0
vsize: 840952
[startup+1200.25 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 117947 68 0 0 25 0 11 0 547912822 861134848 26571 4294967295 134512640 134569956 3221224400 3221213960 1085632292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 26571 13073 16 0 210222 0
vsize: 840952
[startup+1210.25 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 118933 69 0 0 25 0 11 0 547912822 861134848 26589 4294967295 134512640 134569956 3221224400 3221214568 1131458089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 26589 13073 16 0 210222 0
vsize: 840952
[startup+1220.25 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 119918 69 0 0 25 0 11 0 547912822 861134848 26630 4294967295 134512640 134569956 3221224400 3221214464 1131476372 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210238 26630 13073 16 0 210222 0
vsize: 840952
[startup+1230.25 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 9110
Raw data (stat): 9097 (java) R 9096 22612 22611 0 -1 0 18075 4 1 0 120904 69 0 0 25 0 11 0 547912822 861134848 26663 4294967295 134512640 134569956 3221224400 3221214152 1085679753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210238 26663 13073 16 0 210222 0
vsize: 840952
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.33 s]
Raw data (loadavg): 1.00 0.97 0.91 1/54 9112
Raw data (stat): 9097 (java) Z 9096 22612 22611 0 -1 1036 18075 6567 1 0 120906 69 1673 21 25 0 1 0 547912822 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.32
CPU time (s): 1226.72
CPU user time (s): 1225.81
CPU system time (s): 0.909861
CPU usage (%): 99.7067
Max. virtual memory (Kb): 840952
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####