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/submitted/manquinho/logic-synthesis/normalized-max1024.pi.opb
MD5SUM	6604a6c0d979e1f2b09762e6e4f70f84
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	259
Optimality of the best value was proved	NO
Number of terms in the objective function	1278
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1278
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1278
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.04584
Number of variables	1278
Total number of constraints	1087
Number of constraints which are clauses	1087
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	18
Trace number 4242

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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:        935368 kB
Buffers:         30884 kB
Cached:          46812 kB
SwapCached:       2272 kB
Active:          40096 kB
Inactive:        42752 kB
HighTotal:      131008 kB
HighFree:        79716 kB
LowTotal:       903652 kB
LowFree:        855652 kB
SwapTotal:     2097136 kB
SwapFree:      2094864 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            10836 kB
Committed_AS:    63480 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 16:14:55 (client local time) WITH STATUS 143 IN  SECONDS
stats: 522 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc5/normalized-max1024.pi.opb
c reading problem 
c [nbvar=1278]
c [nbconstr=1087]
c time 2.884
c #vars     1278
c #clauses  1087
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=326
c Current CPU time (ms) : 3.332
c starts	: 1
c conflicts	: 0
c decisions	: 952
c propagations	: 1278
c inspects	: 2911
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=325
c Current CPU time (ms) : 7.727
c starts	: 2
c conflicts	: 1
c decisions	: 1915
c propagations	: 2559
c inspects	: 4358
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1
c root simplifications	: 2
c 
c CURRENT OPTIMUM=315
c Current CPU time (ms) : 8.956
c starts	: 3
c conflicts	: 1
c decisions	: 2879
c propagations	: 3823
c inspects	: 7598
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1
c root simplifications	: 3
c 
c CURRENT OPTIMUM=314
c Current CPU time (ms) : 15.808
c starts	: 4
c conflicts	: 17
c decisions	: 3910
c propagations	: 5314
c inspects	: 9060
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 17
c root simplifications	: 4
c 
c CURRENT OPTIMUM=313
c Current CPU time (ms) : 63.009
c starts	: 5
c conflicts	: 116
c decisions	: 5317
c propagations	: 8337
c inspects	: 19256
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 116
c root simplifications	: 5
c 
c CURRENT OPTIMUM=312
c Current CPU time (ms) : 82.711
c starts	: 6
c conflicts	: 116
c decisions	: 6285
c propagations	: 9601
c inspects	: 35702
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 116
c root simplifications	: 6
c 
c CURRENT OPTIMUM=311
c Current CPU time (ms) : 83.619
c starts	: 7
c conflicts	: 118
c decisions	: 7250
c propagations	: 10880
c inspects	: 36811
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 118
c root simplifications	: 7
c 
c CURRENT OPTIMUM=305
c Current CPU time (ms) : 103.201
c starts	: 8
c conflicts	: 118
c decisions	: 8223
c propagations	: 12144
c inspects	: 54157
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 118
c root simplifications	: 8
c 
c CURRENT OPTIMUM=304
c Current CPU time (ms) : 106.462
c starts	: 9
c conflicts	: 132
c decisions	: 9214
c propagations	: 13632
c inspects	: 55775
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 132
c root simplifications	: 9
c 
c CURRENT OPTIMUM=301
c Current CPU time (ms) : 120.732
c starts	: 10
c conflicts	: 132
c decisions	: 10191
c propagations	: 14896
c inspects	: 68419
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 132
c root simplifications	: 10
c 
c CURRENT OPTIMUM=300
c Current CPU time (ms) : 129.371
c starts	: 11
c conflicts	: 161
c decisions	: 11231
c propagations	: 16963
c inspects	: 70904
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 161
c root simplifications	: 11
c 
c CURRENT OPTIMUM=299
c Current CPU time (ms) : 150.514
c starts	: 12
c conflicts	: 161
c decisions	: 12210
c propagations	: 18227
c inspects	: 88721
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 161
c root simplifications	: 12
c 
c CURRENT OPTIMUM=298
c Current CPU time (ms) : 152.896
c starts	: 13
c conflicts	: 170
c decisions	: 13214
c propagations	: 19601
c inspects	: 90263
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 170
c root simplifications	: 13
#### 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): 1.04 0.34 0.12 2/54 24361
Raw data (stat): 24361 (runsolver) R 24360 24215 24214 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 418962419 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 1.10 0.38 0.13 2/64 24374
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18066 6 1 0 693 44 0 0 25 0 11 0 418962419 861556736 20751 4294967295 134512640 134569956 3221224416 3221214696 1131233946 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210341 20751 13073 16 0 210325 0
vsize: 841364
[startup+20.001 s]
Raw data (loadavg): 1.09 0.40 0.14 2/64 24375
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18066 6 1 0 1619 44 0 0 25 0 11 0 418962419 861229056 21384 4294967295 134512640 134569956 3221224416 3221214688 1131232994 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 21384 13073 16 0 210245 0
vsize: 841044
[startup+30.0013 s]
Raw data (loadavg): 1.07 0.42 0.15 2/64 24375
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18066 6 1 0 2524 45 0 0 25 0 11 0 418962419 861229056 22099 4294967295 134512640 134569956 3221224416 3221214700 1131284073 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 22099 13073 16 0 210245 0
vsize: 841044
[startup+40.0015 s]
Raw data (loadavg): 1.06 0.44 0.16 2/64 24375
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18066 6 1 0 3419 45 0 0 25 0 11 0 418962419 861229056 22486 4294967295 134512640 134569956 3221224416 3221214656 1131249492 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 22486 13073 16 0 210245 0
vsize: 841044
[startup+50.0035 s]
Raw data (loadavg): 1.05 0.46 0.17 2/64 24375
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18066 6 1 0 4306 45 0 0 25 0 11 0 418962419 861229056 23271 4294967295 134512640 134569956 3221224416 3221214632 1131349304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 23271 13073 16 0 210245 0
vsize: 841044
[startup+60.0035 s]
Raw data (loadavg): 1.04 0.47 0.18 2/64 24375
Raw data (stat): 24361 (java) S 24360 24215 24214 0 -1 0 18067 6 1 0 5194 46 0 0 25 0 11 0 418962419 861229056 24099 4294967295 134512640 134569956 3221224416 3221213280 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 24099 13073 16 0 210245 0
vsize: 841044
[startup+70.0035 s]
Raw data (loadavg): 1.11 0.51 0.19 2/64 24376
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18067 6 1 0 6108 46 0 0 24 0 11 0 418962419 861229056 24449 4294967295 134512640 134569956 3221224416 3221214688 1131232986 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 24449 13073 16 0 210245 0
vsize: 841044
[startup+80.0043 s]
Raw data (loadavg): 1.09 0.52 0.20 2/64 24376
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18067 6 1 0 7033 46 0 0 25 0 11 0 418962419 861229056 24449 4294967295 134512640 134569956 3221224416 3221214688 1131232901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 24449 13073 16 0 210245 0
vsize: 841044
[startup+90.0035 s]
Raw data (loadavg): 1.08 0.54 0.21 2/64 24378
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18067 6 1 0 7965 47 0 0 25 0 11 0 418962419 861229056 24854 4294967295 134512640 134569956 3221224416 3221214784 1131295908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 24854 13073 16 0 210245 0
vsize: 841044
[startup+100.005 s]
Raw data (loadavg): 1.07 0.55 0.21 2/64 24378
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18067 6 1 0 8924 47 0 0 25 0 11 0 418962419 861229056 25182 4294967295 134512640 134569956 3221224416 3221214784 1131295908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 25182 13073 16 0 210245 0
vsize: 841044
[startup+110.006 s]
Raw data (loadavg): 1.06 0.57 0.22 2/64 24380
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18067 6 1 0 9890 48 0 0 25 0 11 0 418962419 861229056 25250 4294967295 134512640 134569956 3221224416 3221214784 1131295973 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 25250 13073 16 0 210245 0
vsize: 841044
[startup+120.006 s]
Raw data (loadavg): 1.05 0.58 0.23 2/64 24380
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18067 6 1 0 10842 48 0 0 25 0 11 0 418962419 861229056 25259 4294967295 134512640 134569956 3221224416 3221214688 1131233437 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 25259 13073 16 0 210245 0
vsize: 841044
[startup+130.006 s]
Raw data (loadavg): 1.04 0.59 0.24 2/64 24381
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18067 6 1 0 11752 48 0 0 25 0 11 0 418962419 861229056 25513 4294967295 134512640 134569956 3221224416 3221214688 1131233087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 25513 13073 16 0 210245 0
vsize: 841044
[startup+140.007 s]
Raw data (loadavg): 1.03 0.61 0.25 2/64 24382
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18067 6 1 0 12691 49 0 0 25 0 11 0 418962419 861229056 25513 4294967295 134512640 134569956 3221224416 3221214824 1131295973 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210261 25513 13073 16 0 210245 0
vsize: 841044
[startup+150.008 s]
Raw data (loadavg): 1.03 0.62 0.25 2/64 24382
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18067 6 1 0 13606 49 0 0 25 0 11 0 418962419 861229056 25710 4294967295 134512640 134569956 3221224416 3221214728 1131233900 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 25710 13073 16 0 210245 0
vsize: 841044
[startup+160.008 s]
Raw data (loadavg): 1.02 0.63 0.26 2/64 24384
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18067 6 1 0 14535 50 0 0 25 0 11 0 418962419 861229056 25713 4294967295 134512640 134569956 3221224416 3221214824 1131295908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 25713 13073 16 0 210245 0
vsize: 841044
[startup+170.008 s]
Raw data (loadavg): 1.02 0.64 0.27 2/64 24384
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18067 6 1 0 15470 50 0 0 25 0 11 0 418962419 861229056 26315 4294967295 134512640 134569956 3221224416 3221214728 1131233255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 26315 13073 16 0 210245 0
vsize: 841044
[startup+180.008 s]
Raw data (loadavg): 1.02 0.65 0.28 2/64 24384
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18067 6 1 0 16419 50 0 0 18 0 11 0 418962419 861229056 26357 4294967295 134512640 134569956 3221224416 3221214744 1131368275 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 26357 13073 16 0 210245 0
vsize: 841044
[startup+190.013 s]
Raw data (loadavg): 1.01 0.66 0.28 2/64 24384
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18067 6 1 0 17315 50 0 0 16 0 11 0 418962419 861229056 26598 4294967295 134512640 134569956 3221224416 3221214696 1131216139 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 26598 13073 16 0 210245 0
vsize: 841044
[startup+200.014 s]
Raw data (loadavg): 1.01 0.68 0.29 2/64 24384
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18067 6 1 0 18215 51 0 0 18 0 11 0 418962419 861229056 27382 4294967295 134512640 134569956 3221224416 3221214616 1131398958 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 27382 13073 16 0 210245 0
vsize: 841044
[startup+210.014 s]
Raw data (loadavg): 1.01 0.69 0.30 2/64 24384
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18067 6 1 0 19109 51 0 0 17 0 11 0 418962419 861229056 27676 4294967295 134512640 134569956 3221224416 3221214744 1131367518 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 27676 13073 16 0 210245 0
vsize: 841044
[startup+220.014 s]
Raw data (loadavg): 1.01 0.70 0.30 2/64 24384
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18067 6 1 0 20030 51 0 0 24 0 11 0 418962419 861229056 28571 4294967295 134512640 134569956 3221224416 3221214824 1131297996 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 28571 13073 16 0 210245 0
vsize: 841044
[startup+230.015 s]
Raw data (loadavg): 1.00 0.71 0.31 2/64 24384
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18067 6 1 0 20961 51 0 0 24 0 11 0 418962419 861229056 28571 4294967295 134512640 134569956 3221224416 3221214824 1131295908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 28571 13073 16 0 210245 0
vsize: 841044
[startup+240.015 s]
Raw data (loadavg): 1.00 0.71 0.32 2/64 24384
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18067 6 1 0 21881 52 0 0 25 0 11 0 418962419 861229056 28571 4294967295 134512640 134569956 3221224416 3221214728 1131233875 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 28571 13073 16 0 210245 0
vsize: 841044
[startup+250.017 s]
Raw data (loadavg): 1.00 0.72 0.32 2/64 24384
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18067 6 1 0 22801 52 0 0 25 0 11 0 418962419 861229056 28615 4294967295 134512640 134569956 3221224416 3221214824 1131296982 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 28615 13073 16 0 210245 0
vsize: 841044
[startup+260.017 s]
Raw data (loadavg): 1.00 0.73 0.33 2/64 24384
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18067 6 1 0 23761 52 0 0 25 0 11 0 418962419 861229056 29381 4294967295 134512640 134569956 3221224416 3221214728 1131232945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 29381 13073 16 0 210245 0
vsize: 841044
[startup+270.017 s]
Raw data (loadavg): 1.00 0.74 0.34 2/64 24384
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18067 6 1 0 24743 52 0 0 25 0 11 0 418962419 861229056 29395 4294967295 134512640 134569956 3221224416 3221214664 1131471417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 29395 13073 16 0 210245 0
vsize: 841044
[startup+280.017 s]
Raw data (loadavg): 1.00 0.75 0.34 2/64 24384
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 25690 53 0 0 25 0 11 0 418962419 861229056 29406 4294967295 134512640 134569956 3221224416 3221214540 1130883254 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 29406 13073 16 0 210245 0
vsize: 841044
[startup+290.018 s]
Raw data (loadavg): 1.00 0.76 0.35 2/64 24384
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 26626 53 0 0 25 0 11 0 418962419 861229056 29417 4294967295 134512640 134569956 3221224416 3221214568 1131266177 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 29417 13073 16 0 210245 0
vsize: 841044
[startup+300.018 s]
Raw data (loadavg): 1.00 0.76 0.36 2/64 24384
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 27555 53 0 0 25 0 11 0 418962419 861229056 29426 4294967295 134512640 134569956 3221224416 3221214632 1131259137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 29426 13073 16 0 210245 0
vsize: 841044
[startup+310.018 s]
Raw data (loadavg): 1.00 0.77 0.37 2/64 24384
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 28491 53 0 0 25 0 11 0 418962419 861229056 29810 4294967295 134512640 134569956 3221224416 3221214664 1131233140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 29810 13073 16 0 210245 0
vsize: 841044
[startup+320.019 s]
Raw data (loadavg): 1.00 0.78 0.37 2/64 24384
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 29455 54 0 0 25 0 11 0 418962419 861229056 30024 4294967295 134512640 134569956 3221224416 3221214760 1131639533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 30024 13073 16 0 210245 0
vsize: 841044
[startup+330.019 s]
Raw data (loadavg): 1.00 0.79 0.38 2/64 24384
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 30424 54 0 0 25 0 11 0 418962419 861229056 30106 4294967295 134512640 134569956 3221224416 3221214656 1131265908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 30106 13073 16 0 210245 0
vsize: 841044
[startup+340.019 s]
Raw data (loadavg): 1.00 0.79 0.38 2/64 24384
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 31400 54 0 0 25 0 11 0 418962419 861229056 30147 4294967295 134512640 134569956 3221224416 3221214656 1131266177 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 30147 13073 16 0 210245 0
vsize: 841044
[startup+350.021 s]
Raw data (loadavg): 1.00 0.80 0.39 2/64 24384
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 32375 54 0 0 25 0 11 0 418962419 861229056 30247 4294967295 134512640 134569956 3221224416 3221214648 1131528303 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 30247 13073 16 0 210245 0
vsize: 841044
[startup+360.021 s]
Raw data (loadavg): 1.00 0.80 0.39 2/64 24384
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 33351 55 0 0 25 0 11 0 418962419 861229056 30287 4294967295 134512640 134569956 3221224416 3221214656 1131266362 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 30287 13073 16 0 210245 0
vsize: 841044
[startup+370.021 s]
Raw data (loadavg): 1.00 0.81 0.40 2/64 24384
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 34326 55 0 0 25 0 11 0 418962419 861229056 30307 4294967295 134512640 134569956 3221224416 3221214728 1131233047 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 30307 13073 16 0 210245 0
vsize: 841044
[startup+380.023 s]
Raw data (loadavg): 1.00 0.82 0.41 2/64 24384
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 35303 55 0 0 25 0 11 0 418962419 861229056 30367 4294967295 134512640 134569956 3221224416 3221214760 1131639443 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 30367 13073 16 0 210245 0
vsize: 841044
[startup+390.023 s]
Raw data (loadavg): 1.07 0.84 0.42 2/64 24437
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 36276 60 0 0 25 0 11 0 418962419 861229056 30415 4294967295 134512640 134569956 3221224416 3221214656 1131266000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 30415 13073 16 0 210245 0
vsize: 841044
[startup+400.051 s]
Raw data (loadavg): 1.06 0.84 0.42 2/64 24437
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 37261 60 0 0 25 0 11 0 418962419 861229056 30488 4294967295 134512640 134569956 3221224416 3221214760 1131639443 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 30488 13073 16 0 210245 0
vsize: 841044
[startup+410.053 s]
Raw data (loadavg): 1.05 0.85 0.43 2/64 24437
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 38247 60 0 0 25 0 11 0 418962419 861229056 30512 4294967295 134512640 134569956 3221224416 3221214656 1131266141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 30512 13073 16 0 210245 0
vsize: 841044
[startup+420.052 s]
Raw data (loadavg): 1.04 0.85 0.43 2/64 24437
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 39228 61 0 0 25 0 11 0 418962419 861229056 30540 4294967295 134512640 134569956 3221224416 3221214656 1131266122 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 30540 13073 16 0 210245 0
vsize: 841044
[startup+430.054 s]
Raw data (loadavg): 1.04 0.86 0.44 2/64 24437
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 40208 61 0 0 25 0 11 0 418962419 861229056 30540 4294967295 134512640 134569956 3221224416 3221214760 1131639556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 30540 13073 16 0 210245 0
vsize: 841044
[startup+440.054 s]
Raw data (loadavg): 1.03 0.86 0.45 2/64 24437
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 41179 62 0 0 25 0 11 0 418962419 861229056 30564 4294967295 134512640 134569956 3221224416 3221214728 1131233255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 30564 13073 16 0 210245 0
vsize: 841044
[startup+450.055 s]
Raw data (loadavg): 1.02 0.86 0.45 2/64 24437
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 42154 62 0 0 25 0 11 0 418962419 861229056 30624 4294967295 134512640 134569956 3221224416 3221214648 1131529303 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 30624 13073 16 0 210245 0
vsize: 841044
[startup+460.055 s]
Raw data (loadavg): 1.02 0.87 0.46 2/64 24439
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 43132 63 0 0 25 0 11 0 418962419 861229056 30647 4294967295 134512640 134569956 3221224416 3221214648 1131528277 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 30647 13073 16 0 210245 0
vsize: 841044
[startup+470.056 s]
Raw data (loadavg): 1.02 0.87 0.46 2/64 24439
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 44109 63 0 0 24 0 11 0 418962419 861229056 30740 4294967295 134512640 134569956 3221224416 3221214656 1131266150 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 30740 13073 16 0 210245 0
vsize: 841044
[startup+480.056 s]
Raw data (loadavg): 1.01 0.88 0.47 2/64 24439
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 45066 64 0 0 25 0 11 0 418962419 861229056 30796 4294967295 134512640 134569956 3221224416 3221214656 1131266177 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 30796 13073 16 0 210245 0
vsize: 841044
[startup+490.057 s]
Raw data (loadavg): 1.01 0.88 0.47 2/64 24439
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 46012 64 0 0 25 0 11 0 418962419 861229056 30816 4294967295 134512640 134569956 3221224416 3221214680 1131624725 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 30816 13073 16 0 210245 0
vsize: 841044
[startup+500.058 s]
Raw data (loadavg): 1.01 0.88 0.48 2/64 24439
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 46959 64 0 0 25 0 11 0 418962419 861229056 30839 4294967295 134512640 134569956 3221224416 3221214824 1131296962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 30839 13073 16 0 210245 0
vsize: 841044
[startup+510.058 s]
Raw data (loadavg): 1.01 0.89 0.48 2/64 24439
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 47905 65 0 0 25 0 11 0 418962419 861229056 30882 4294967295 134512640 134569956 3221224416 3221214648 1131527918 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 30882 13073 16 0 210245 0
vsize: 841044
[startup+520.058 s]
Raw data (loadavg): 1.01 0.89 0.49 2/64 24439
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 48877 65 0 0 25 0 11 0 418962419 861229056 31412 4294967295 134512640 134569956 3221224416 3221214656 1131266474 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 31412 13073 16 0 210245 0
vsize: 841044
[startup+530.059 s]
Raw data (loadavg): 1.00 0.89 0.49 2/64 24439
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 49861 65 0 0 25 0 11 0 418962419 861229056 31434 4294967295 134512640 134569956 3221224416 3221214760 1131639443 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 31434 13073 16 0 210245 0
vsize: 841044
[startup+540.06 s]
Raw data (loadavg): 1.00 0.90 0.50 2/64 24439
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 50846 66 0 0 25 0 11 0 418962419 861229056 31462 4294967295 134512640 134569956 3221224416 3221214760 1131639443 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 31462 13073 16 0 210245 0
vsize: 841044
[startup+550.06 s]
Raw data (loadavg): 1.00 0.90 0.50 2/64 24439
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 51828 66 0 0 24 0 11 0 418962419 861229056 31502 4294967295 134512640 134569956 3221224416 3221214656 1131266470 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 31502 13073 16 0 210245 0
vsize: 841044
[startup+560.061 s]
Raw data (loadavg): 1.00 0.90 0.51 2/64 24439
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 52810 66 0 0 25 0 11 0 418962419 861229056 31522 4294967295 134512640 134569956 3221224416 3221214648 1131529192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 31522 13073 16 0 210245 0
vsize: 841044
[startup+570.062 s]
Raw data (loadavg): 1.00 0.90 0.51 2/64 24439
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 53786 66 0 0 25 0 11 0 418962419 861229056 31532 4294967295 134512640 134569956 3221224416 3221214824 1131295908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 31532 13073 16 0 210245 0
vsize: 841044
[startup+580.062 s]
Raw data (loadavg): 1.00 0.91 0.52 2/64 24439
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 54752 67 0 0 24 0 11 0 418962419 861229056 31563 4294967295 134512640 134569956 3221224416 3221214760 1131639577 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 31563 13073 16 0 210245 0
vsize: 841044
[startup+590.063 s]
Raw data (loadavg): 1.00 0.91 0.52 2/64 24439
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 55720 67 0 0 25 0 11 0 418962419 861229056 31626 4294967295 134512640 134569956 3221224416 3221214760 1131639443 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 31626 13073 16 0 210245 0
vsize: 841044
[startup+600.064 s]
Raw data (loadavg): 1.00 0.91 0.53 2/64 24439
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 56688 68 0 0 25 0 11 0 418962419 861229056 31667 4294967295 134512640 134569956 3221224416 3221214648 1131529961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 31667 13073 16 0 210245 0
vsize: 841044
[startup+610.067 s]
Raw data (loadavg): 1.00 0.91 0.53 2/64 24439
Raw data (stat): 24361 (java) S 24360 24215 24214 0 -1 0 18068 6 1 0 57657 68 0 0 25 0 11 0 418962419 861229056 31766 4294967295 134512640 134569956 3221224416 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 31766 13073 16 0 210245 0
vsize: 841044
[startup+620.067 s]
Raw data (loadavg): 1.00 0.92 0.54 2/64 24439
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 58622 69 0 0 25 0 11 0 418962419 861229056 31850 4294967295 134512640 134569956 3221224416 3221214656 1131266177 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 31850 13073 16 0 210245 0
vsize: 841044
[startup+630.068 s]
Raw data (loadavg): 1.00 0.92 0.54 2/64 24439
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 59592 69 0 0 25 0 11 0 418962419 861229056 31917 4294967295 134512640 134569956 3221224416 3221214656 1131266022 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 31917 13073 16 0 210245 0
vsize: 841044
[startup+640.068 s]
Raw data (loadavg): 1.00 0.92 0.55 2/64 24439
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 60564 69 0 0 25 0 11 0 418962419 861229056 31959 4294967295 134512640 134569956 3221224416 3221214728 1131233548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 31959 13073 16 0 210245 0
vsize: 841044
[startup+650.07 s]
Raw data (loadavg): 1.00 0.92 0.55 2/64 24439
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 61533 70 0 0 25 0 11 0 418962419 861229056 32051 4294967295 134512640 134569956 3221224416 3221214756 1131465312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 32051 13073 16 0 210245 0
vsize: 841044
[startup+660.07 s]
Raw data (loadavg): 1.00 0.92 0.55 2/64 24439
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 62504 70 0 0 25 0 11 0 418962419 861229056 32113 4294967295 134512640 134569956 3221224416 3221214656 1131265936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 32113 13073 16 0 210245 0
vsize: 841044
[startup+670.071 s]
Raw data (loadavg): 1.00 0.93 0.56 2/64 24439
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 63474 71 0 0 25 0 11 0 418962419 861229056 32159 4294967295 134512640 134569956 3221224416 3221214744 1131623576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 32159 13073 16 0 210245 0
vsize: 841044
[startup+680.072 s]
Raw data (loadavg): 1.00 0.93 0.56 2/64 24439
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 64442 71 0 0 25 0 11 0 418962419 861229056 32237 4294967295 134512640 134569956 3221224416 3221214648 1131528281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 32237 13073 16 0 210245 0
vsize: 841044
[startup+690.072 s]
Raw data (loadavg): 1.00 0.93 0.57 2/64 24439
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 65414 72 0 0 25 0 11 0 418962419 861229056 32312 4294967295 134512640 134569956 3221224416 3221214472 1078830606 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 32312 13073 16 0 210245 0
vsize: 841044
[startup+700.074 s]
Raw data (loadavg): 1.00 0.93 0.57 2/64 24439
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 66387 73 0 0 24 0 11 0 418962419 861229056 32375 4294967295 134512640 134569956 3221224416 3221214656 1131266000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 32375 13073 16 0 210245 0
vsize: 841044
[startup+710.074 s]
Raw data (loadavg): 1.00 0.93 0.57 2/64 24439
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 67366 73 0 0 25 0 11 0 418962419 861229056 32384 4294967295 134512640 134569956 3221224416 3221214648 1131528340 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 32384 13073 16 0 210245 0
vsize: 841044
[startup+720.074 s]
Raw data (loadavg): 1.00 0.94 0.58 2/64 24439
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 68348 73 0 0 25 0 11 0 418962419 861229056 32440 4294967295 134512640 134569956 3221224416 3221214824 1131296721 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 32440 13073 16 0 210245 0
vsize: 841044
[startup+730.075 s]
Raw data (loadavg): 1.00 0.94 0.58 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 69334 74 0 0 25 0 11 0 418962419 861229056 32469 4294967295 134512640 134569956 3221224416 3221214728 1131233249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 32469 13073 16 0 210245 0
vsize: 841044
[startup+740.076 s]
Raw data (loadavg): 1.00 0.94 0.58 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 70320 74 0 0 25 0 11 0 418962419 861229056 32510 4294967295 134512640 134569956 3221224416 3221214824 1131296972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 32510 13073 16 0 210245 0
vsize: 841044
[startup+750.077 s]
Raw data (loadavg): 1.00 0.94 0.59 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 71304 75 0 0 25 0 11 0 418962419 861229056 32522 4294967295 134512640 134569956 3221224416 3221214824 1131295908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 32522 13073 16 0 210245 0
vsize: 841044
[startup+760.077 s]
Raw data (loadavg): 1.00 0.94 0.59 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 72288 75 0 0 25 0 11 0 418962419 861229056 32563 4294967295 134512640 134569956 3221224416 3221214728 1131233031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 32563 13073 16 0 210245 0
vsize: 841044
[startup+770.077 s]
Raw data (loadavg): 1.00 0.94 0.60 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 73277 75 0 0 25 0 11 0 418962419 861229056 32601 4294967295 134512640 134569956 3221224416 3221214728 1131232994 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 32601 13073 16 0 210245 0
vsize: 841044
[startup+780.078 s]
Raw data (loadavg): 1.00 0.94 0.60 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 74269 76 0 0 25 0 11 0 418962419 861229056 32613 4294967295 134512640 134569956 3221224416 3221214728 1131233255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 32613 13073 16 0 210245 0
vsize: 841044
[startup+790.078 s]
Raw data (loadavg): 1.00 0.95 0.60 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 75260 76 0 0 25 0 11 0 418962419 861229056 32622 4294967295 134512640 134569956 3221224416 3221214728 1131232988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 32622 13073 16 0 210245 0
vsize: 841044
[startup+800.079 s]
Raw data (loadavg): 1.00 0.95 0.61 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 76251 77 0 0 25 0 11 0 418962419 861229056 32626 4294967295 134512640 134569956 3221224416 3221214824 1131295908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 32626 13073 16 0 210245 0
vsize: 841044
[startup+810.08 s]
Raw data (loadavg): 1.00 0.95 0.61 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 77242 77 0 0 25 0 11 0 418962419 861229056 32631 4294967295 134512640 134569956 3221224416 3221214728 1131233880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 32631 13073 16 0 210245 0
vsize: 841044
[startup+820.079 s]
Raw data (loadavg): 1.00 0.95 0.62 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 78233 77 0 0 25 0 11 0 418962419 861229056 32641 4294967295 134512640 134569956 3221224416 3221214728 1131233570 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 32641 13073 16 0 210245 0
vsize: 841044
[startup+830.081 s]
Raw data (loadavg): 1.00 0.95 0.62 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 79222 78 0 0 25 0 11 0 418962419 861229056 32657 4294967295 134512640 134569956 3221224416 3221214728 1131233424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 32657 13073 16 0 210245 0
vsize: 841044
[startup+840.081 s]
Raw data (loadavg): 1.00 0.95 0.62 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 80202 78 0 0 25 0 11 0 418962419 861229056 32665 4294967295 134512640 134569956 3221224416 3221214824 1131295973 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 32665 13073 16 0 210245 0
vsize: 841044
[startup+850.082 s]
Raw data (loadavg): 1.00 0.95 0.63 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 81151 79 0 0 25 0 11 0 418962419 861229056 32681 4294967295 134512640 134569956 3221224416 3221214744 1131366836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 32681 13073 16 0 210245 0
vsize: 841044
[startup+860.082 s]
Raw data (loadavg): 1.00 0.95 0.63 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 82069 79 0 0 25 0 11 0 418962419 861229056 32700 4294967295 134512640 134569956 3221224416 3221214728 1131233875 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 32700 13073 16 0 210245 0
vsize: 841044
[startup+870.082 s]
Raw data (loadavg): 1.00 0.95 0.64 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 82973 79 0 0 25 0 11 0 418962419 861229056 33177 4294967295 134512640 134569956 3221224416 3221214712 1131249492 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 33177 13073 16 0 210245 0
vsize: 841044
[startup+880.082 s]
Raw data (loadavg): 1.00 0.95 0.64 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 83870 79 0 0 25 0 11 0 418962419 861229056 33530 4294967295 134512640 134569956 3221224416 3221214824 1131305411 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 33530 13073 16 0 210245 0
vsize: 841044
[startup+890.082 s]
Raw data (loadavg): 1.00 0.96 0.64 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 84770 80 0 0 25 0 11 0 418962419 861229056 34287 4294967295 134512640 134569956 3221224416 3221214744 1131367957 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 34287 13073 16 0 210245 0
vsize: 841044
[startup+900.084 s]
Raw data (loadavg): 1.00 0.96 0.64 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 85673 80 0 0 25 0 11 0 418962419 861229056 34406 4294967295 134512640 134569956 3221224416 3221214728 1131233066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 34406 13073 16 0 210245 0
vsize: 841044
[startup+910.084 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 86581 80 0 0 25 0 11 0 418962419 861229056 34703 4294967295 134512640 134569956 3221224416 3221214728 1131232897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 34703 13073 16 0 210245 0
vsize: 841044
[startup+920.084 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 87480 80 0 0 25 0 11 0 418962419 861229056 35021 4294967295 134512640 134569956 3221224416 3221214824 1131295757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 35021 13073 16 0 210245 0
vsize: 841044
[startup+930.085 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 24441
Raw data (stat): 24361 (java) S 24360 24215 24214 0 -1 0 18068 6 1 0 88386 81 0 0 25 0 11 0 418962419 861229056 35271 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 35271 13073 16 0 210245 0
vsize: 841044
[startup+940.085 s]
Raw data (loadavg): 1.00 0.96 0.66 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 89269 81 0 0 25 0 11 0 418962419 861229056 35552 4294967295 134512640 134569956 3221224416 3221214744 1131367277 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 35552 13073 16 0 210245 0
vsize: 841044
[startup+950.087 s]
Raw data (loadavg): 1.00 0.96 0.66 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 90148 82 0 0 25 0 11 0 418962419 861229056 35855 4294967295 134512640 134569956 3221224416 3221214744 1131368250 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 35855 13073 16 0 210245 0
vsize: 841044
[startup+960.087 s]
Raw data (loadavg): 1.00 0.96 0.66 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 91050 82 0 0 25 0 11 0 418962419 861229056 36135 4294967295 134512640 134569956 3221224416 3221214672 1131350097 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 36135 13073 16 0 210245 0
vsize: 841044
[startup+970.086 s]
Raw data (loadavg): 1.00 0.96 0.67 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 91996 83 0 0 25 0 11 0 418962419 861229056 36284 4294967295 134512640 134569956 3221224416 3221214824 1131295908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 36284 13073 16 0 210245 0
vsize: 841044
[startup+980.087 s]
Raw data (loadavg): 1.00 0.96 0.67 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 92946 83 0 0 25 0 11 0 418962419 861229056 36430 4294967295 134512640 134569956 3221224416 3221214824 1131296136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 36430 13073 16 0 210245 0
vsize: 841044
[startup+990.087 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 93894 83 0 0 24 0 11 0 418962419 861229056 36567 4294967295 134512640 134569956 3221224416 3221214720 1131550532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 36567 13073 16 0 210245 0
vsize: 841044
[startup+1000.09 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 94850 84 0 0 25 0 11 0 418962419 861229056 36686 4294967295 134512640 134569956 3221224416 3221214824 1131296817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 36686 13073 16 0 210245 0
vsize: 841044
[startup+1010.09 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 95812 84 0 0 25 0 11 0 418962419 861229056 36906 4294967295 134512640 134569956 3221224416 3221214824 1131296982 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 36906 13073 16 0 210245 0
vsize: 841044
[startup+1020.09 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 96793 84 0 0 25 0 11 0 418962419 861229056 37149 4294967295 134512640 134569956 3221224416 3221214824 1131296992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 37149 13073 16 0 210245 0
vsize: 841044
[startup+1030.09 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 97785 85 0 0 25 0 11 0 418962419 861229056 37154 4294967295 134512640 134569956 3221224416 3221214728 1131233219 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 37154 13073 16 0 210245 0
vsize: 841044
[startup+1040.09 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 98777 85 0 0 25 0 11 0 418962419 861229056 37159 4294967295 134512640 134569956 3221224416 3221214824 1131295908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 37159 13073 16 0 210245 0
vsize: 841044
[startup+1050.09 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 99770 85 0 0 25 0 11 0 418962419 861229056 37160 4294967295 134512640 134569956 3221224416 3221214728 1131233298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 37160 13073 16 0 210245 0
vsize: 841044
[startup+1060.09 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 100761 85 0 0 25 0 11 0 418962419 861229056 37162 4294967295 134512640 134569956 3221224416 3221214728 1131233910 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 37162 13073 16 0 210245 0
vsize: 841044
[startup+1070.09 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 101753 86 0 0 25 0 11 0 418962419 861229056 37164 4294967295 134512640 134569956 3221224416 3221214824 1131297027 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210261 37164 13073 16 0 210245 0
vsize: 841044
[startup+1080.09 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 102744 86 0 0 25 0 11 0 418962419 861229056 37166 4294967295 134512640 134569956 3221224416 3221214728 1131233988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210261 37166 13073 16 0 210245 0
vsize: 841044
[startup+1090.09 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 103736 86 0 0 25 0 11 0 418962419 861229056 37171 4294967295 134512640 134569956 3221224416 3221214824 1131295973 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210261 37171 13073 16 0 210245 0
vsize: 841044
[startup+1100.09 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 104711 86 0 0 25 0 11 0 418962419 861229056 37175 4294967295 134512640 134569956 3221224416 3221214744 1131367240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210261 37175 13073 16 0 210245 0
vsize: 841044
[startup+1110.09 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 105661 86 0 0 25 0 11 0 418962419 861229056 37177 4294967295 134512640 134569956 3221224416 3221214728 1131233868 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210261 37177 13073 16 0 210245 0
vsize: 841044
[startup+1120.09 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 106593 86 0 0 25 0 11 0 418962419 861229056 37179 4294967295 134512640 134569956 3221224416 3221214880 1131411737 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210261 37179 13073 16 0 210245 0
vsize: 841044
[startup+1130.09 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 107498 86 0 0 25 0 11 0 418962419 861229056 37487 4294967295 134512640 134569956 3221224416 3221214732 1080203670 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210261 37487 13073 16 0 210245 0
vsize: 841044
[startup+1140.1 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 108406 86 0 0 25 0 11 0 418962419 861229056 37595 4294967295 134512640 134569956 3221224416 3221214420 1131653568 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 37595 13073 16 0 210245 0
vsize: 841044
[startup+1150.1 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 109303 86 0 0 25 0 11 0 418962419 861229056 38655 4294967295 134512640 134569956 3221224416 3221214824 1131297020 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210261 38655 13073 16 0 210245 0
vsize: 841044
[startup+1160.1 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 24441
Raw data (stat): 24361 (java) S 24360 24215 24214 0 -1 0 18068 6 1 0 110213 86 0 0 25 0 11 0 418962419 861229056 38758 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210261 38758 13073 16 0 210245 0
vsize: 841044
[startup+1170.1 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 111130 86 0 0 25 0 11 0 418962419 861229056 39489 4294967295 134512640 134569956 3221224416 3221214820 1131453762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210261 39489 13073 16 0 210245 0
vsize: 841044
[startup+1180.1 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 112042 86 0 0 25 0 11 0 418962419 861229056 40352 4294967295 134512640 134569956 3221224416 3221214728 1131233255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210261 40352 13073 16 0 210245 0
vsize: 841044
[startup+1190.1 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 112960 87 0 0 25 0 11 0 418962419 861229056 40352 4294967295 134512640 134569956 3221224416 3221214320 1131651735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210261 40352 13073 16 0 210245 0
vsize: 841044
[startup+1200.1 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 113857 87 0 0 25 0 11 0 418962419 861229056 41155 4294967295 134512640 134569956 3221224416 3221214744 1131366553 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210261 41155 13073 16 0 210245 0
vsize: 841044
[startup+1210.1 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 114773 87 0 0 25 0 11 0 418962419 861229056 41823 4294967295 134512640 134569956 3221224416 3221214644 1080204256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210261 41823 13073 16 0 210245 0
vsize: 841044
[startup+1220.1 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 115711 87 0 0 25 0 11 0 418962419 861229056 41823 4294967295 134512640 134569956 3221224416 3221214656 1131266295 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210261 41823 13073 16 0 210245 0
vsize: 841044
[startup+1230.1 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 116655 87 0 0 25 0 11 0 418962419 861229056 41823 4294967295 134512640 134569956 3221224416 3221214728 1131233483 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210261 41823 13073 16 0 210245 0
vsize: 841044
[startup+1240.11 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 24441
Raw data (stat): 24361 (java) S 24360 24215 24214 0 -1 0 18068 6 1 0 117602 87 0 0 25 0 11 0 418962419 861229056 42173 4294967295 134512640 134569956 3221224416 3221213472 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210261 42173 13073 16 0 210245 0
vsize: 841044
[startup+1250.12 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 118572 87 0 0 24 0 11 0 418962419 861229056 42326 4294967295 134512640 134569956 3221224416 3221214656 1131266332 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210261 42326 13073 16 0 210245 0
vsize: 841044
[startup+1260.12 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 119548 87 0 0 25 0 11 0 418962419 861229056 42347 4294967295 134512640 134569956 3221224416 3221214648 1131528362 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210261 42347 13073 16 0 210245 0
vsize: 841044
[startup+1270.12 s]
Raw data (loadavg): 1.00 0.97 0.75 2/64 24441
Raw data (stat): 24361 (java) R 24360 24215 24214 0 -1 0 18068 6 1 0 120523 87 0 0 25 0 11 0 418962419 861229056 42395 4294967295 134512640 134569956 3221224416 3221214824 1131295973 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210261 42395 13073 16 0 210245 0
vsize: 841044
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1270.24 s]
Raw data (loadavg): 1.00 0.97 0.75 1/54 24443
Raw data (stat): 24361 (java) Z 24360 24215 24214 0 -1 1036 18068 29388 1 1 120526 95 7445 74 25 0 1 0 418962419 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): 1270.24
CPU time (s): 1281.42
CPU user time (s): 1279.72
CPU system time (s): 1.69974
CPU usage (%): 100.88
Max. virtual memory (Kb): 841364
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####