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/primes-dimacs-cnf/normalized-ii16d1.opb
MD5SUM	38e9597c5e2c643da0b2660ad99fee98
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	984
Optimality of the best value was proved	NO
Number of terms in the objective function	2460
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	2460
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2460
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.05
Number of variables	2460
Total number of constraints	17131
Number of constraints which are clauses	17131
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	2
Maximum length of a constraint	16
Trace number 4307

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc17 THE 2005-04-13 16:15:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1278 boxname=wulflinc17 idbench=142 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  38e9597c5e2c643da0b2660ad99fee98  /oldhome/oroussel/tmp/wulflinc17/normalized-ii16d1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc17/normalized-ii16d1.opb
IDLAUNCH: 1278
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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:        864620 kB
Buffers:         32648 kB
Cached:         102676 kB
SwapCached:       2376 kB
Active:          43656 kB
Inactive:        97012 kB
HighTotal:      131008 kB
HighFree:        24752 kB
LowTotal:       903652 kB
LowFree:        839868 kB
SwapTotal:     2097892 kB
SwapFree:      2095516 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           7036 kB
Slab:            23840 kB
Committed_AS:    63708 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 16:36:31 (client local time) WITH STATUS 143 IN  SECONDS
stats: 1278 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc17/normalized-ii16d1.opb
c reading problem 
c [nbvar=2460]
c [nbconstr=17131]
c time 9.804
c #vars     2460
c #clauses  17131
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=1229
c Current CPU time (ms) : 51.744
c starts	: 4
c conflicts	: 525
c decisions	: 2812
c propagations	: 93998
c inspects	: 358462
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 525
c root simplifications	: 4
c 
c CURRENT OPTIMUM=1224
c Current CPU time (ms) : 72.153
c starts	: 6
c conflicts	: 676
c decisions	: 3498
c propagations	: 130664
c inspects	: 481622
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 676
c root simplifications	: 6
c 
c CURRENT OPTIMUM=1223
c Current CPU time (ms) : 105.523
c starts	: 8
c conflicts	: 858
c decisions	: 4436
c propagations	: 172995
c inspects	: 642848
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 858
c root simplifications	: 8
c 
c CURRENT OPTIMUM=1222
c Current CPU time (ms) : 152.404
c starts	: 10
c conflicts	: 1069
c decisions	: 5521
c propagations	: 226179
c inspects	: 825288
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1069
c root simplifications	: 10
c 
c CURRENT OPTIMUM=1192
c Current CPU time (ms) : 177.247
c starts	: 11
c conflicts	: 1097
c decisions	: 5903
c propagations	: 236643
c inspects	: 869537
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1097
c root simplifications	: 11
c 
c CURRENT OPTIMUM=1188
c Current CPU time (ms) : 510.457
c starts	: 14
c conflicts	: 1435
c decisions	: 8730
c propagations	: 319392
c inspects	: 1312214
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1435
c root simplifications	: 14
c 
c CURRENT OPTIMUM=1187
c Current CPU time (ms) : 652.481
c starts	: 15
c conflicts	: 1493
c decisions	: 9338
c propagations	: 327727
c inspects	: 1425530
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1493
c root simplifications	: 15
#### 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.07 0.99 0.76 2/55 21665
Raw data (stat): 21665 (runsolver) R 21664 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477322389 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 1.22 1.02 0.77 3/64 21676
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18056 0 1 0 840 42 0 0 25 0 10 0 477322389 870846464 23487 4294967295 134512640 134569956 3221224416 3221214480 1131199115 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212609 23487 13073 16 0 212593 0
vsize: 850436
[startup+20.0016 s]
Raw data (loadavg): 1.26 1.04 0.78 2/65 21677
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18131 0 1 0 1604 43 0 0 25 0 11 0 477322389 871313408 25197 4294967295 134512640 134569956 3221224416 3221214736 1131389833 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212723 25197 13073 16 0 212707 0
vsize: 850892
[startup+30.0031 s]
Raw data (loadavg): 1.22 1.04 0.78 2/65 21677
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18131 0 1 0 2566 43 0 0 25 0 11 0 477322389 871313408 25936 4294967295 134512640 134569956 3221224416 3221214736 1131389839 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 25936 13073 16 0 212707 0
vsize: 850892
[startup+40.0037 s]
Raw data (loadavg): 1.18 1.03 0.78 2/65 21677
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18131 0 1 0 3534 44 0 0 25 0 11 0 477322389 871313408 26418 4294967295 134512640 134569956 3221224416 3221214736 1131390717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 26418 13073 16 0 212707 0
vsize: 850892
[startup+50.0044 s]
Raw data (loadavg): 1.16 1.03 0.78 2/65 21677
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18131 0 1 0 4512 44 0 0 25 0 11 0 477322389 871313408 26418 4294967295 134512640 134569956 3221224416 3221214848 1131379556 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212723 26418 13073 16 0 212707 0
vsize: 850892
[startup+60.005 s]
Raw data (loadavg): 1.13 1.03 0.79 2/65 21678
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18132 5 1 0 5441 45 0 0 25 0 11 0 477322389 871313408 26605 4294967295 134512640 134569956 3221224416 3221214848 1131379548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212723 26605 13073 16 0 212707 0
vsize: 850892
[startup+70.0056 s]
Raw data (loadavg): 1.11 1.03 0.79 2/65 21678
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18132 5 1 0 6383 45 0 0 25 0 11 0 477322389 871313408 26809 4294967295 134512640 134569956 3221224416 3221214808 1131289189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212723 26809 13073 16 0 212707 0
vsize: 850892
[startup+80.0073 s]
Raw data (loadavg): 1.09 1.03 0.79 2/65 21679
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18132 5 1 0 7303 45 0 0 25 0 11 0 477322389 871313408 26921 4294967295 134512640 134569956 3221224416 3221214864 1131175370 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212723 26921 13073 16 0 212707 0
vsize: 850892
[startup+90.0078 s]
Raw data (loadavg): 1.08 1.03 0.79 2/65 21679
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18132 5 1 0 8246 46 0 0 25 0 11 0 477322389 871313408 27036 4294967295 134512640 134569956 3221224416 3221214848 1131379556 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212723 27036 13073 16 0 212707 0
vsize: 850892
[startup+100.007 s]
Raw data (loadavg): 1.07 1.03 0.79 2/65 21679
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18132 5 1 0 9165 46 0 0 25 0 11 0 477322389 871313408 27123 4294967295 134512640 134569956 3221224416 3221214784 1131289591 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212723 27123 13073 16 0 212707 0
vsize: 850892
[startup+110.008 s]
Raw data (loadavg): 1.06 1.02 0.79 2/65 21680
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 10078 46 0 0 25 0 11 0 477322389 871313408 27288 4294967295 134512640 134569956 3221224416 3221214840 1131175487 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212723 27288 13073 16 0 212707 0
vsize: 850892
[startup+120.009 s]
Raw data (loadavg): 1.05 1.02 0.80 2/65 21680
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 11000 46 0 0 25 0 11 0 477322389 871313408 27433 4294967295 134512640 134569956 3221224416 3221214888 1131457597 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 27433 13073 16 0 212707 0
vsize: 850892
[startup+130.009 s]
Raw data (loadavg): 1.04 1.02 0.80 2/65 21680
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 11934 46 0 0 25 0 11 0 477322389 871313408 27525 4294967295 134512640 134569956 3221224416 3221214840 1131379857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212723 27525 13073 16 0 212707 0
vsize: 850892
[startup+140.01 s]
Raw data (loadavg): 1.03 1.02 0.80 2/65 21680
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 12860 47 0 0 25 0 11 0 477322389 871313408 27671 4294967295 134512640 134569956 3221224416 3221214840 1131379563 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212723 27671 13073 16 0 212707 0
vsize: 850892
[startup+150.01 s]
Raw data (loadavg): 1.03 1.02 0.80 2/65 21680
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 13798 47 0 0 25 0 11 0 477322389 871313408 27795 4294967295 134512640 134569956 3221224416 3221214784 1131289230 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212723 27795 13073 16 0 212707 0
vsize: 850892
[startup+160.011 s]
Raw data (loadavg): 1.02 1.02 0.80 2/65 21681
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 14726 47 0 0 25 0 11 0 477322389 871313408 27964 4294967295 134512640 134569956 3221224416 3221214784 1131289591 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212723 27964 13073 16 0 212707 0
vsize: 850892
[startup+170.012 s]
Raw data (loadavg): 1.02 1.02 0.81 2/65 21681
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 15633 48 0 0 25 0 11 0 477322389 871313408 28060 4294967295 134512640 134569956 3221224416 3221214840 1131175370 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212723 28060 13073 16 0 212707 0
vsize: 850892
[startup+180.013 s]
Raw data (loadavg): 1.02 1.02 0.81 2/65 21682
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 16547 48 0 0 25 0 11 0 477322389 871313408 28207 4294967295 134512640 134569956 3221224416 3221214840 1131175366 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212723 28207 13073 16 0 212707 0
vsize: 850892
[startup+190.014 s]
Raw data (loadavg): 1.01 1.02 0.81 2/65 21682
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 17473 49 0 0 25 0 11 0 477322389 871313408 28342 4294967295 134512640 134569956 3221224416 3221214884 1131175340 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212723 28342 13073 16 0 212707 0
vsize: 850892
[startup+200.013 s]
Raw data (loadavg): 1.01 1.02 0.81 2/65 21682
Raw data (stat): 21665 (java) S 21664 20838 20837 0 -1 0 18133 5 1 0 18413 49 0 0 25 0 11 0 477322389 871313408 28719 4294967295 134512640 134569956 3221224416 3221213528 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212723 28719 13073 16 0 212707 0
vsize: 850892
[startup+210.014 s]
Raw data (loadavg): 1.01 1.02 0.81 2/65 21682
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 19358 49 0 0 24 0 11 0 477322389 871313408 28765 4294967295 134512640 134569956 3221224416 3221214840 1131175422 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212723 28765 13073 16 0 212707 0
vsize: 850892
[startup+220.015 s]
Raw data (loadavg): 1.01 1.01 0.82 2/65 21682
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 20309 49 0 0 25 0 11 0 477322389 871313408 28896 4294967295 134512640 134569956 3221224416 3221214840 1131379824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212723 28896 13073 16 0 212707 0
vsize: 850892
[startup+230.015 s]
Raw data (loadavg): 1.00 1.01 0.82 2/65 21682
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 21277 50 0 0 25 0 11 0 477322389 871313408 28951 4294967295 134512640 134569956 3221224416 3221214784 1131290397 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212723 28951 13073 16 0 212707 0
vsize: 850892
[startup+240.016 s]
Raw data (loadavg): 1.00 1.01 0.82 2/65 21682
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 22246 50 0 0 25 0 11 0 477322389 871313408 28980 4294967295 134512640 134569956 3221224416 3221214840 1131175360 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212723 28980 13073 16 0 212707 0
vsize: 850892
[startup+250.016 s]
Raw data (loadavg): 1.00 1.01 0.82 2/65 21682
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 23213 50 0 0 25 0 11 0 477322389 871313408 29017 4294967295 134512640 134569956 3221224416 3221214784 1131289591 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212723 29017 13073 16 0 212707 0
vsize: 850892
[startup+260.017 s]
Raw data (loadavg): 1.00 1.01 0.82 2/65 21682
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 24173 51 0 0 25 0 11 0 477322389 871313408 29037 4294967295 134512640 134569956 3221224416 3221214840 1131175360 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212723 29037 13073 16 0 212707 0
vsize: 850892
[startup+270.018 s]
Raw data (loadavg): 1.00 1.01 0.82 2/65 21682
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 25136 51 0 0 25 0 11 0 477322389 871313408 29065 4294967295 134512640 134569956 3221224416 3221214888 1131457432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212723 29065 13073 16 0 212707 0
vsize: 850892
[startup+280.018 s]
Raw data (loadavg): 1.00 1.01 0.82 2/65 21682
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 26091 51 0 0 25 0 11 0 477322389 871313408 29124 4294967295 134512640 134569956 3221224416 3221214888 1131457398 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212723 29124 13073 16 0 212707 0
vsize: 850892
[startup+290.019 s]
Raw data (loadavg): 1.07 1.02 0.83 2/65 21682
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 27047 51 0 0 24 0 11 0 477322389 871313408 29215 4294967295 134512640 134569956 3221224416 3221214840 1131175360 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212723 29215 13073 16 0 212707 0
vsize: 850892
[startup+300.019 s]
Raw data (loadavg): 1.06 1.02 0.83 2/65 21682
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 28010 51 0 0 25 0 11 0 477322389 871313408 29227 4294967295 134512640 134569956 3221224416 3221214108 1076877600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212723 29227 13073 16 0 212707 0
vsize: 850892
[startup+310.019 s]
Raw data (loadavg): 1.05 1.02 0.83 2/65 21684
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 28962 52 0 0 25 0 11 0 477322389 871313408 29262 4294967295 134512640 134569956 3221224416 3221214784 1131289552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212723 29262 13073 16 0 212707 0
vsize: 850892
[startup+320.019 s]
Raw data (loadavg): 1.04 1.02 0.83 2/65 21684
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 29916 52 0 0 25 0 11 0 477322389 871313408 29304 4294967295 134512640 134569956 3221224416 3221214840 1131175370 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 29304 13073 16 0 212707 0
vsize: 850892
[startup+330.02 s]
Raw data (loadavg): 1.04 1.02 0.83 2/65 21684
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 30869 53 0 0 25 0 11 0 477322389 871313408 29367 4294967295 134512640 134569956 3221224416 3221214784 1131289591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 29367 13073 16 0 212707 0
vsize: 850892
[startup+340.02 s]
Raw data (loadavg): 1.03 1.02 0.83 2/65 21684
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 31822 53 0 0 25 0 11 0 477322389 871313408 29438 4294967295 134512640 134569956 3221224416 3221214784 1131289214 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 29438 13073 16 0 212707 0
vsize: 850892
[startup+350.02 s]
Raw data (loadavg): 1.02 1.02 0.84 2/65 21684
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 32779 53 0 0 25 0 11 0 477322389 871313408 29477 4294967295 134512640 134569956 3221224416 3221214784 1131289591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 29477 13073 16 0 212707 0
vsize: 850892
[startup+360.021 s]
Raw data (loadavg): 1.02 1.02 0.84 2/65 21684
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 33723 53 0 0 25 0 11 0 477322389 871313408 29540 4294967295 134512640 134569956 3221224416 3221214760 1131440608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212723 29540 13073 16 0 212707 0
vsize: 850892
[startup+370.021 s]
Raw data (loadavg): 1.02 1.02 0.84 2/65 21684
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 34653 53 0 0 25 0 11 0 477322389 871313408 29628 4294967295 134512640 134569956 3221224416 3221214696 1131383865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 29628 13073 16 0 212707 0
vsize: 850892
[startup+380.022 s]
Raw data (loadavg): 1.01 1.02 0.84 2/65 21684
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 35578 53 0 0 25 0 11 0 477322389 871313408 29708 4294967295 134512640 134569956 3221224416 3221214840 1131175357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 29708 13073 16 0 212707 0
vsize: 850892
[startup+390.022 s]
Raw data (loadavg): 1.01 1.01 0.84 2/65 21684
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 36511 53 0 0 25 0 11 0 477322389 871313408 29717 4294967295 134512640 134569956 3221224416 3221214840 1131175360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 29717 13073 16 0 212707 0
vsize: 850892
[startup+400.022 s]
Raw data (loadavg): 1.01 1.01 0.84 2/65 21684
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 37443 53 0 0 25 0 11 0 477322389 871313408 29767 4294967295 134512640 134569956 3221224416 3221214840 1131175360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 29767 13073 16 0 212707 0
vsize: 850892
[startup+410.022 s]
Raw data (loadavg): 1.01 1.01 0.84 2/65 21684
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 38368 53 0 0 25 0 11 0 477322389 871313408 29936 4294967295 134512640 134569956 3221224416 3221214784 1131289591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 29936 13073 16 0 212707 0
vsize: 850892
[startup+420.023 s]
Raw data (loadavg): 1.01 1.01 0.84 2/65 21684
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 39301 54 0 0 25 0 11 0 477322389 871313408 30265 4294967295 134512640 134569956 3221224416 3221214840 1131175411 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 30265 13073 16 0 212707 0
vsize: 850892
[startup+430.024 s]
Raw data (loadavg): 1.00 1.01 0.84 2/65 21684
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 40263 54 0 0 25 0 11 0 477322389 871313408 30491 4294967295 134512640 134569956 3221224416 3221214784 1131290080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 30491 13073 16 0 212707 0
vsize: 850892
[startup+440.023 s]
Raw data (loadavg): 1.00 1.01 0.84 2/65 21684
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 41228 54 0 0 25 0 11 0 477322389 871313408 30543 4294967295 134512640 134569956 3221224416 3221214784 1131289189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 30543 13073 16 0 212707 0
vsize: 850892
[startup+450.023 s]
Raw data (loadavg): 1.00 1.01 0.85 2/65 21684
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 42198 54 0 0 25 0 11 0 477322389 871313408 30640 4294967295 134512640 134569956 3221224416 3221214840 1131175422 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 30640 13073 16 0 212707 0
vsize: 850892
[startup+460.024 s]
Raw data (loadavg): 1.00 1.01 0.85 2/65 21684
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 43167 54 0 0 24 0 11 0 477322389 871313408 30654 4294967295 134512640 134569956 3221224416 3221214784 1131289591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 30654 13073 16 0 212707 0
vsize: 850892
[startup+470.023 s]
Raw data (loadavg): 1.00 1.01 0.85 2/65 21684
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 44131 54 0 0 25 0 11 0 477322389 871313408 30679 4294967295 134512640 134569956 3221224416 3221214748 1080204256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 30679 13073 16 0 212707 0
vsize: 850892
[startup+480.024 s]
Raw data (loadavg): 1.00 1.01 0.85 2/65 21684
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 45084 54 0 0 25 0 11 0 477322389 871313408 30727 4294967295 134512640 134569956 3221224416 3221214748 1080204267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 30727 13073 16 0 212707 0
vsize: 850892
[startup+490.025 s]
Raw data (loadavg): 1.00 1.00 0.85 2/65 21684
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 46008 54 0 0 25 0 11 0 477322389 871313408 30825 4294967295 134512640 134569956 3221224416 3221214876 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 30825 13073 16 0 212707 0
vsize: 850892
[startup+500.025 s]
Raw data (loadavg): 1.00 1.00 0.85 2/65 21684
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 46917 54 0 0 25 0 11 0 477322389 871313408 31091 4294967295 134512640 134569956 3221224416 3221214664 1131482345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 31091 13073 16 0 212707 0
vsize: 850892
[startup+510.025 s]
Raw data (loadavg): 1.00 1.00 0.85 2/65 21684
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 47836 54 0 0 25 0 11 0 477322389 871313408 31466 4294967295 134512640 134569956 3221224416 3221214784 1131289264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 31466 13073 16 0 212707 0
vsize: 850892
[startup+520.025 s]
Raw data (loadavg): 1.00 1.00 0.85 2/65 21685
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 48788 54 0 0 25 0 11 0 477322389 871313408 31690 4294967295 134512640 134569956 3221224416 3221214840 1131175446 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 31690 13073 16 0 212707 0
vsize: 850892
[startup+530.026 s]
Raw data (loadavg): 1.00 1.00 0.85 2/65 21685
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 49706 54 0 0 25 0 11 0 477322389 871313408 31690 4294967295 134512640 134569956 3221224416 3221214784 1131289552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 31690 13073 16 0 212707 0
vsize: 850892
[startup+540.026 s]
Raw data (loadavg): 1.00 1.00 0.85 2/65 21685
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 50625 54 0 0 25 0 11 0 477322389 871313408 31850 4294967295 134512640 134569956 3221224416 3221214840 1131175411 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 31850 13073 16 0 212707 0
vsize: 850892
[startup+550.026 s]
Raw data (loadavg): 1.00 1.00 0.85 2/65 21685
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 51557 54 0 0 25 0 11 0 477322389 871313408 32330 4294967295 134512640 134569956 3221224416 3221214784 1131289591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 32330 13073 16 0 212707 0
vsize: 850892
[startup+560.026 s]
Raw data (loadavg): 1.00 1.00 0.86 2/65 21685
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 52511 54 0 0 25 0 11 0 477322389 871313408 32524 4294967295 134512640 134569956 3221224416 3221214840 1131175535 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 32524 13073 16 0 212707 0
vsize: 850892
[startup+570.026 s]
Raw data (loadavg): 1.00 1.00 0.86 2/65 21685
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 53496 55 0 0 25 0 11 0 477322389 871313408 32559 4294967295 134512640 134569956 3221224416 3221214784 1131289591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 32559 13073 16 0 212707 0
vsize: 850892
[startup+580.027 s]
Raw data (loadavg): 1.00 1.00 0.86 2/65 21685
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 54481 55 0 0 25 0 11 0 477322389 871313408 32587 4294967295 134512640 134569956 3221224416 3221214784 1131289828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 32587 13073 16 0 212707 0
vsize: 850892
[startup+590.027 s]
Raw data (loadavg): 1.00 1.00 0.86 2/65 21685
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 55466 55 0 0 25 0 11 0 477322389 871313408 32595 4294967295 134512640 134569956 3221224416 3221214784 1131289591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 32595 13073 16 0 212707 0
vsize: 850892
[startup+600.028 s]
Raw data (loadavg): 1.00 1.00 0.86 2/65 21685
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 56445 55 0 0 24 0 11 0 477322389 871313408 32603 4294967295 134512640 134569956 3221224416 3221214840 1131175360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 32603 13073 16 0 212707 0
vsize: 850892
[startup+610.027 s]
Raw data (loadavg): 1.00 1.00 0.86 2/65 21687
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 57423 55 0 0 25 0 11 0 477322389 871313408 32634 4294967295 134512640 134569956 3221224416 3221214784 1131289591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 32634 13073 16 0 212707 0
vsize: 850892
[startup+620.028 s]
Raw data (loadavg): 1.00 1.00 0.86 2/65 21687
Raw data (stat): 21665 (java) S 21664 20838 20837 0 -1 0 18133 5 1 0 58403 55 0 0 25 0 11 0 477322389 871313408 32666 4294967295 134512640 134569956 3221224416 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 32666 13073 16 0 212707 0
vsize: 850892
[startup+630.028 s]
Raw data (loadavg): 1.00 1.00 0.86 2/65 21687
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 59382 55 0 0 25 0 11 0 477322389 871313408 32682 4294967295 134512640 134569956 3221224416 3221214840 1131175360 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212723 32682 13073 16 0 212707 0
vsize: 850892
[startup+640.028 s]
Raw data (loadavg): 1.00 1.00 0.86 2/65 21687
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 60335 55 0 0 25 0 11 0 477322389 871313408 32697 4294967295 134512640 134569956 3221224416 3221214744 1131495397 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212723 32697 13073 16 0 212707 0
vsize: 850892
[startup+650.028 s]
Raw data (loadavg): 1.00 1.00 0.86 2/65 21687
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 61248 56 0 0 25 0 11 0 477322389 871313408 32878 4294967295 134512640 134569956 3221224416 3221214664 1131482345 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212723 32878 13073 16 0 212707 0
vsize: 850892
[startup+660.029 s]
Raw data (loadavg): 1.00 1.00 0.87 2/65 21688
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 62185 56 0 0 25 0 11 0 477322389 871313408 33168 4294967295 134512640 134569956 3221224416 3221214888 1131457413 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212723 33168 13073 16 0 212707 0
vsize: 850892
[startup+670.029 s]
Raw data (loadavg): 1.00 1.00 0.87 2/65 21688
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 63125 56 0 0 25 0 11 0 477322389 871313408 33168 4294967295 134512640 134569956 3221224416 3221214884 1131175340 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212723 33168 13073 16 0 212707 0
vsize: 850892
[startup+680.029 s]
Raw data (loadavg): 1.00 1.00 0.87 2/65 21688
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 64066 57 0 0 25 0 11 0 477322389 871313408 33252 4294967295 134512640 134569956 3221224416 3221214840 1131175411 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212723 33252 13073 16 0 212707 0
vsize: 850892
[startup+690.029 s]
Raw data (loadavg): 1.00 1.00 0.87 2/65 21688
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 64976 57 0 0 24 0 11 0 477322389 871313408 33294 4294967295 134512640 134569956 3221224416 3221214784 1131289376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 33294 13073 16 0 212707 0
vsize: 850892
[startup+700.029 s]
Raw data (loadavg): 1.00 1.00 0.87 2/65 21688
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 65927 57 0 0 25 0 11 0 477322389 871313408 33589 4294967295 134512640 134569956 3221224416 3221214840 1131175360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 33589 13073 16 0 212707 0
vsize: 850892
[startup+710.029 s]
Raw data (loadavg): 1.00 1.00 0.87 2/65 21688
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 66880 57 0 0 25 0 11 0 477322389 871313408 34021 4294967295 134512640 134569956 3221224416 3221214784 1131289657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34021 13073 16 0 212707 0
vsize: 850892
[startup+720.03 s]
Raw data (loadavg): 1.00 1.00 0.87 2/65 21688
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 67860 57 0 0 25 0 11 0 477322389 871313408 34046 4294967295 134512640 134569956 3221224416 3221214784 1131290043 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34046 13073 16 0 212707 0
vsize: 850892
[startup+730.03 s]
Raw data (loadavg): 1.00 1.00 0.87 2/65 21688
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 68840 57 0 0 25 0 11 0 477322389 871313408 34067 4294967295 134512640 134569956 3221224416 3221214888 1131457398 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34067 13073 16 0 212707 0
vsize: 850892
[startup+740.03 s]
Raw data (loadavg): 1.00 1.00 0.87 2/65 21688
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 69820 57 0 0 25 0 11 0 477322389 871313408 34109 4294967295 134512640 134569956 3221224416 3221214784 1131289499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34109 13073 16 0 212707 0
vsize: 850892
[startup+750.03 s]
Raw data (loadavg): 1.00 1.00 0.87 2/65 21688
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 70800 57 0 0 24 0 11 0 477322389 871313408 34127 4294967295 134512640 134569956 3221224416 3221214784 1131289591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34127 13073 16 0 212707 0
vsize: 850892
[startup+760.031 s]
Raw data (loadavg): 1.00 1.00 0.88 2/65 21688
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 71781 57 0 0 25 0 11 0 477322389 871313408 34141 4294967295 134512640 134569956 3221224416 3221214840 1131175360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34141 13073 16 0 212707 0
vsize: 850892
[startup+770.031 s]
Raw data (loadavg): 1.00 1.00 0.88 2/65 21688
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 72763 57 0 0 25 0 11 0 477322389 871313408 34158 4294967295 134512640 134569956 3221224416 3221214888 1131457413 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34158 13073 16 0 212707 0
vsize: 850892
[startup+780.031 s]
Raw data (loadavg): 1.00 1.00 0.88 2/65 21688
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 73749 58 0 0 25 0 11 0 477322389 871313408 34181 4294967295 134512640 134569956 3221224416 3221214888 1131457432 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34181 13073 16 0 212707 0
vsize: 850892
[startup+790.031 s]
Raw data (loadavg): 1.00 1.00 0.88 2/65 21688
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 74736 58 0 0 25 0 11 0 477322389 871313408 34188 4294967295 134512640 134569956 3221224416 3221214832 1131350199 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34188 13073 16 0 212707 0
vsize: 850892
[startup+800.032 s]
Raw data (loadavg): 1.00 1.00 0.88 2/65 21688
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 75720 58 0 0 25 0 11 0 477322389 871313408 34197 4294967295 134512640 134569956 3221224416 3221214784 1131289257 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34197 13073 16 0 212707 0
vsize: 850892
[startup+810.033 s]
Raw data (loadavg): 1.00 1.00 0.88 2/65 21688
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 76707 58 0 0 25 0 11 0 477322389 871313408 34220 4294967295 134512640 134569956 3221224416 3221214888 1131457413 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34220 13073 16 0 212707 0
vsize: 850892
[startup+820.033 s]
Raw data (loadavg): 1.00 1.00 0.88 2/65 21688
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 77695 58 0 0 25 0 11 0 477322389 871313408 34220 4294967295 134512640 134569956 3221224416 3221214784 1131289873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34220 13073 16 0 212707 0
vsize: 850892
[startup+830.034 s]
Raw data (loadavg): 1.00 1.00 0.88 2/65 21688
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 78681 58 0 0 25 0 11 0 477322389 871313408 34222 4294967295 134512640 134569956 3221224416 3221214784 1131289366 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34222 13073 16 0 212707 0
vsize: 850892
[startup+840.034 s]
Raw data (loadavg): 1.00 1.00 0.88 2/65 21688
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 79663 58 0 0 25 0 11 0 477322389 871313408 34247 4294967295 134512640 134569956 3221224416 3221214840 1131175357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34247 13073 16 0 212707 0
vsize: 850892
[startup+850.034 s]
Raw data (loadavg): 1.00 1.00 0.88 2/65 21688
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 80650 58 0 0 25 0 11 0 477322389 871313408 34260 4294967295 134512640 134569956 3221224416 3221214840 1131175370 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34260 13073 16 0 212707 0
vsize: 850892
[startup+860.034 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 21688
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 81638 58 0 0 25 0 11 0 477322389 871313408 34270 4294967295 134512640 134569956 3221224416 3221214784 1131289185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34270 13073 16 0 212707 0
vsize: 850892
[startup+870.035 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 21688
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 82625 58 0 0 25 0 11 0 477322389 871313408 34276 4294967295 134512640 134569956 3221224416 3221214840 1131175360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34276 13073 16 0 212707 0
vsize: 850892
[startup+880.035 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 21688
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 83615 58 0 0 25 0 11 0 477322389 871313408 34283 4294967295 134512640 134569956 3221224416 3221214784 1131289591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34283 13073 16 0 212707 0
vsize: 850892
[startup+890.035 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 21688
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 84598 59 0 0 25 0 11 0 477322389 871313408 34287 4294967295 134512640 134569956 3221224416 3221214888 1131457225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34287 13073 16 0 212707 0
vsize: 850892
[startup+900.036 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 21688
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 85584 59 0 0 25 0 11 0 477322389 871313408 34319 4294967295 134512640 134569956 3221224416 3221214840 1131175391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34319 13073 16 0 212707 0
vsize: 850892
[startup+910.037 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 21690
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 86573 59 0 0 25 0 11 0 477322389 871313408 34324 4294967295 134512640 134569956 3221224416 3221214784 1131289824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34324 13073 16 0 212707 0
vsize: 850892
[startup+920.037 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 21690
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 87554 59 0 0 25 0 11 0 477322389 871313408 34349 4294967295 134512640 134569956 3221224416 3221214840 1131175411 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34349 13073 16 0 212707 0
vsize: 850892
[startup+930.037 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 21690
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 88541 59 0 0 25 0 11 0 477322389 871313408 34353 4294967295 134512640 134569956 3221224416 3221214884 1131289164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34353 13073 16 0 212707 0
vsize: 850892
[startup+940.038 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 21690
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 89527 59 0 0 25 0 11 0 477322389 871313408 34355 4294967295 134512640 134569956 3221224416 3221214840 1131175360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34355 13073 16 0 212707 0
vsize: 850892
[startup+950.038 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 21690
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 90516 59 0 0 25 0 11 0 477322389 871313408 34385 4294967295 134512640 134569956 3221224416 3221214888 1131457988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34385 13073 16 0 212707 0
vsize: 850892
[startup+960.039 s]
Raw data (loadavg): 1.00 1.00 0.89 2/65 21690
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 91503 59 0 0 25 0 11 0 477322389 871313408 34389 4294967295 134512640 134569956 3221224416 3221214840 1131175360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34389 13073 16 0 212707 0
vsize: 850892
[startup+970.039 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 21690
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 92486 59 0 0 25 0 11 0 477322389 871313408 34407 4294967295 134512640 134569956 3221224416 3221214856 1131308615 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34407 13073 16 0 212707 0
vsize: 850892
[startup+980.039 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 21690
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 93472 59 0 0 25 0 11 0 477322389 871313408 34418 4294967295 134512640 134569956 3221224416 3221214784 1131289678 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34418 13073 16 0 212707 0
vsize: 850892
[startup+990.039 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 21690
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 94457 59 0 0 21 0 11 0 477322389 871313408 34439 4294967295 134512640 134569956 3221224416 3221214784 1131289189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34439 13073 16 0 212707 0
vsize: 850892
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 21690
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 95444 59 0 0 25 0 11 0 477322389 871313408 34452 4294967295 134512640 134569956 3221224416 3221214840 1131175360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34452 13073 16 0 212707 0
vsize: 850892
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 21690
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 96432 59 0 0 25 0 11 0 477322389 871313408 34462 4294967295 134512640 134569956 3221224416 3221214888 1131457689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34462 13073 16 0 212707 0
vsize: 850892
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 21690
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 97420 59 0 0 25 0 11 0 477322389 871313408 34462 4294967295 134512640 134569956 3221224416 3221214840 1131175360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34462 13073 16 0 212707 0
vsize: 850892
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 21690
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 98403 59 0 0 25 0 11 0 477322389 871313408 34464 4294967295 134512640 134569956 3221224416 3221214784 1131289591 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212723 34464 13073 16 0 212707 0
vsize: 850892
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 21690
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 99376 59 0 0 25 0 11 0 477322389 871313408 34469 4294967295 134512640 134569956 3221224416 3221214784 1131289185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34469 13073 16 0 212707 0
vsize: 850892
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 21690
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 100347 59 0 0 24 0 11 0 477322389 871313408 34490 4294967295 134512640 134569956 3221224416 3221214784 1131289802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34490 13073 16 0 212707 0
vsize: 850892
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.90 2/65 21690
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 101330 59 0 0 25 0 11 0 477322389 871313408 34552 4294967295 134512640 134569956 3221224416 3221214840 1131175411 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34552 13073 16 0 212707 0
vsize: 850892
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 21690
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 102315 59 0 0 25 0 11 0 477322389 871313408 34555 4294967295 134512640 134569956 3221224416 3221214840 1131175360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34555 13073 16 0 212707 0
vsize: 850892
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 21690
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 103293 59 0 0 25 0 11 0 477322389 871313408 34558 4294967295 134512640 134569956 3221224416 3221214784 1131289189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34558 13073 16 0 212707 0
vsize: 850892
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 21690
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 104267 59 0 0 25 0 11 0 477322389 871313408 34565 4294967295 134512640 134569956 3221224416 3221214840 1131175543 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34565 13073 16 0 212707 0
vsize: 850892
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 21690
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 105241 59 0 0 25 0 11 0 477322389 871313408 34571 4294967295 134512640 134569956 3221224416 3221214840 1131175422 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34571 13073 16 0 212707 0
vsize: 850892
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 21690
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 106226 59 0 0 25 0 11 0 477322389 871313408 34655 4294967295 134512640 134569956 3221224416 3221214440 1131202680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34655 13073 16 0 212707 0
vsize: 850892
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 21690
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 107212 59 0 0 25 0 11 0 477322389 871313408 34667 4294967295 134512640 134569956 3221224416 3221214840 1131175360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34667 13073 16 0 212707 0
vsize: 850892
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 21690
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 108200 59 0 0 25 0 11 0 477322389 871313408 34675 4294967295 134512640 134569956 3221224416 3221214840 1131175360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34675 13073 16 0 212707 0
vsize: 850892
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 21690
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 109187 59 0 0 25 0 11 0 477322389 871313408 34676 4294967295 134512640 134569956 3221224416 3221214784 1131289591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34676 13073 16 0 212707 0
vsize: 850892
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 21690
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 110173 59 0 0 25 0 11 0 477322389 871313408 34678 4294967295 134512640 134569956 3221224416 3221214888 1131457413 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34678 13073 16 0 212707 0
vsize: 850892
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 21690
Raw data (stat): 21665 (java) S 21664 20838 20837 0 -1 0 18133 5 1 0 111158 59 0 0 25 0 11 0 477322389 871313408 34697 4294967295 134512640 134569956 3221224416 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34697 13073 16 0 212707 0
vsize: 850892
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 21690
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 112144 60 0 0 25 0 11 0 477322389 871313408 34724 4294967295 134512640 134569956 3221224416 3221214784 1131290362 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34724 13073 16 0 212707 0
vsize: 850892
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 21690
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 113131 60 0 0 25 0 11 0 477322389 871313408 34729 4294967295 134512640 134569956 3221224416 3221214784 1131289591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34729 13073 16 0 212707 0
vsize: 850892
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 21690
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 114117 60 0 0 25 0 11 0 477322389 871313408 34746 4294967295 134512640 134569956 3221224416 3221214840 1131175363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34746 13073 16 0 212707 0
vsize: 850892
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 21690
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 115107 60 0 0 25 0 11 0 477322389 871313408 34747 4294967295 134512640 134569956 3221224416 3221214840 1131175360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34747 13073 16 0 212707 0
vsize: 850892
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 21692
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 116094 60 0 0 24 0 11 0 477322389 871313408 34767 4294967295 134512640 134569956 3221224416 3221214784 1131289249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34767 13073 16 0 212707 0
vsize: 850892
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 21692
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 117083 60 0 0 25 0 11 0 477322389 871313408 34771 4294967295 134512640 134569956 3221224416 3221214784 1131289591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34771 13073 16 0 212707 0
vsize: 850892
[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 21692
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 118068 60 0 0 24 0 11 0 477322389 871313408 34780 4294967295 134512640 134569956 3221224416 3221214784 1131290033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34780 13073 16 0 212707 0
vsize: 850892
[startup+1240.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 21692
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 119056 60 0 0 25 0 11 0 477322389 871313408 34796 4294967295 134512640 134569956 3221224416 3221214784 1131289614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34796 13073 16 0 212707 0
vsize: 850892
[startup+1250.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/65 21692
Raw data (stat): 21665 (java) R 21664 20838 20837 0 -1 0 18133 5 1 0 120046 60 0 0 25 0 11 0 477322389 871313408 34801 4294967295 134512640 134569956 3221224416 3221214840 1131175360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212723 34801 13073 16 0 212707 0
vsize: 850892
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.17 s]
Raw data (loadavg): 1.00 1.00 0.91 1/55 21694
Raw data (stat): 21665 (java) Z 21664 20838 20837 0 -1 1036 18133 12277 1 0 120052 60 4553 34 25 0 1 0 477322389 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): 1250.17
CPU time (s): 1247.01
CPU user time (s): 1246.06
CPU system time (s): 0.948855
CPU usage (%): 99.7471
Max. virtual memory (Kb): 850892
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####