PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-p2756.opb
MD5SUM	f2badf1ad4c3213045697b74fa812a03
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4605
Optimality of the best value was proved	NO
Number of terms in the objective function	2166
Biggest coefficient in the objective function	11000
Number of bits for the biggest coefficient in the objective function	14
Sum of the numbers in the objective function	321831
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	11000
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	321831
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.06284
Number of variables	2756
Total number of constraints	3511
Number of constraints which are clauses	132
Number of constraints which are cardinality constraints (but not clauses)	2976
Number of constraints which are nor clauses,nor cardinality constraints	403
Minimum length of a constraint	1
Maximum length of a constraint	546
Trace number 16621

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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:        640956 kB
Buffers:          3336 kB
Cached:         367196 kB
SwapCached:          0 kB
Active:          18796 kB
Inactive:       354640 kB
HighTotal:      131008 kB
HighFree:        42056 kB
LowTotal:       903652 kB
LowFree:        598900 kB
SwapTotal:     2097892 kB
SwapFree:      2097804 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           6948 kB
Slab:            14580 kB
Committed_AS:    63796 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 08:22:17 (client local time) WITH STATUS 143 IN 1232.81 SECONDS
stats: 12892 7 1232.81 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-p2756.opb
c reading problem 
c [nbvar=2756]
c [nbconstr=3511]
c time 6.806
c #vars     2756
c #clauses  749
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=118390
c Current CPU time (ms) : 11.496
c starts	: 1
c conflicts	: 43
c decisions	: 14723
c propagations	: 24008
c inspects	: 11014
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 43
c root simplifications	: 13
c 
c CURRENT OPTIMUM=118122
c Current CPU time (ms) : 12.714
c starts	: 2
c conflicts	: 43
c decisions	: 16394
c propagations	: 26737
c inspects	: 12650
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 43
c root simplifications	: 14
c 
c CURRENT OPTIMUM=117930
c Current CPU time (ms) : 82.922
c starts	: 3
c conflicts	: 59
c decisions	: 18112
c propagations	: 29590
c inspects	: 14729
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 59
c root simplifications	: 15
c 
c CURRENT OPTIMUM=39742
c Current CPU time (ms) : 84.875
c starts	: 4
c conflicts	: 72
c decisions	: 20677
c propagations	: 33928
c inspects	: 21094
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 72
c root simplifications	: 16
c 
c CURRENT OPTIMUM=39056
c Current CPU time (ms) : 86.863
c starts	: 5
c conflicts	: 80
c decisions	: 25098
c propagations	: 39835
c inspects	: 25969
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 80
c root simplifications	: 17
c 
c CURRENT OPTIMUM=38455
c Current CPU time (ms) : 92.052
c starts	: 6
c conflicts	: 82
c decisions	: 27677
c propagations	: 43917
c inspects	: 30096
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 82
c root simplifications	: 18
c 
c CURRENT OPTIMUM=30973
c Current CPU time (ms) : 94.377
c starts	: 7
c conflicts	: 91
c decisions	: 30195
c propagations	: 47885
c inspects	: 35525
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 91
c root simplifications	: 19
c 
c CURRENT OPTIMUM=30841
c Current CPU time (ms) : 103.951
c starts	: 8
c conflicts	: 92
c decisions	: 31704
c propagations	: 50868
c inspects	: 39080
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 92
c root simplifications	: 20
c 
c CURRENT OPTIMUM=27756
c Current CPU time (ms) : 742.751
c starts	: 10
c conflicts	: 196
c decisions	: 35533
c propagations	: 57318
c inspects	: 50211
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 196
c root simplifications	: 22
c 
c CURRENT OPTIMUM=24699
c Current CPU time (ms) : 754.11
c starts	: 11
c conflicts	: 200
c decisions	: 37887
c propagations	: 61544
c inspects	: 56272
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 200
c root simplifications	: 23
c 
c CURRENT OPTIMUM=24630
c Current CPU time (ms) : 1064.73
c starts	: 12
c conflicts	: 219
c decisions	: 42008
c propagations	: 68025
c inspects	: 65539
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 219
c root simplifications	: 24
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.99 0.93 2/55 6390
Raw data (stat): 6390 (runsolver) R 6389 30927 30926 0 -1 64 0 0 0 0 0 0 0 0 20 0 1 0 420745102 1052672 97 4294967295 134512640 135381576 3221224432 3221219872 134514522 0 0 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 97 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 1.17 1.04 0.94 4/65 6400
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18095 0 1 0 721 45 0 0 25 0 11 0 420745102 867545088 21991 4294967295 134512640 134569956 3221224400 3221214704 1130895429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211803 21991 13073 16 0 211787 0
vsize: 847212
[startup+20.0014 s]
Raw data (loadavg): 1.14 1.04 0.94 2/65 6402
Raw data (stat): 6390 (java) S 6389 30927 30926 0 -1 0 18113 4 1 0 1575 46 0 0 25 0 11 0 420745102 865726464 22646 4294967295 134512640 134569956 3221224400 3221213088 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211359 22646 13073 16 0 211343 0
vsize: 845436
[startup+30.002 s]
Raw data (loadavg): 1.12 1.04 0.94 2/65 6402
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18114 4 1 0 2533 46 0 0 25 0 11 0 420745102 863301632 22030 4294967295 134512640 134569956 3221224400 3221214344 1131300947 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210767 22030 13073 16 0 210751 0
vsize: 843068
[startup+40.0022 s]
Raw data (loadavg): 1.10 1.03 0.94 2/65 6402
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18114 4 1 0 3477 46 0 0 25 0 11 0 420745102 861941760 21876 4294967295 134512640 134569956 3221224400 3221214624 1131605927 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 21876 13073 16 0 210419 0
vsize: 841740
[startup+50.0024 s]
Raw data (loadavg): 1.09 1.03 0.94 2/65 6402
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18114 4 1 0 4426 46 0 0 25 0 11 0 420745102 861941760 22072 4294967295 134512640 134569956 3221224400 3221214520 1131570899 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 22072 13073 16 0 210419 0
vsize: 841740
[startup+60.0031 s]
Raw data (loadavg): 1.07 1.03 0.94 2/65 6402
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18114 4 1 0 5364 46 0 0 25 0 11 0 420745102 861941760 22271 4294967295 134512640 134569956 3221224400 3221214536 1131278601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 22271 13073 16 0 210419 0
vsize: 841740
[startup+70.0038 s]
Raw data (loadavg): 1.06 1.03 0.94 2/65 6402
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18114 4 1 0 6325 47 0 0 25 0 11 0 420745102 861941760 22678 4294967295 134512640 134569956 3221224400 3221214624 1131606089 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 22678 13073 16 0 210419 0
vsize: 841740
[startup+80.0044 s]
Raw data (loadavg): 1.05 1.03 0.94 2/65 6402
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18114 4 1 0 7299 47 0 0 25 0 11 0 420745102 861941760 22813 4294967295 134512640 134569956 3221224400 3221214520 1131570025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 22813 13073 16 0 210419 0
vsize: 841740
[startup+90.0042 s]
Raw data (loadavg): 1.12 1.04 0.95 2/65 6405
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 8261 47 0 0 25 0 11 0 420745102 864038912 23393 4294967295 134512640 134569956 3221224400 3221214632 1131351184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210947 23393 13073 16 0 210931 0
vsize: 843788
[startup+100.004 s]
Raw data (loadavg): 1.10 1.04 0.95 2/65 6407
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 9217 47 0 0 25 0 11 0 420745102 861941760 22936 4294967295 134512640 134569956 3221224400 3221214592 1131480161 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 22936 13073 16 0 210419 0
vsize: 841740
[startup+110.005 s]
Raw data (loadavg): 1.08 1.04 0.95 2/65 6408
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 10172 47 0 0 25 0 11 0 420745102 861941760 23059 4294967295 134512640 134569956 3221224400 3221214520 1131572383 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23059 13073 16 0 210419 0
vsize: 841740
[startup+120.005 s]
Raw data (loadavg): 1.07 1.04 0.95 2/65 6408
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 11130 47 0 0 25 0 11 0 420745102 861941760 23077 4294967295 134512640 134569956 3221224400 3221214624 1131606040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23077 13073 16 0 210419 0
vsize: 841740
[startup+130.006 s]
Raw data (loadavg): 1.06 1.03 0.95 2/65 6408
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 12096 48 0 0 25 0 11 0 420745102 861941760 23190 4294967295 134512640 134569956 3221224400 3221214432 1131300877 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23190 13073 16 0 210419 0
vsize: 841740
[startup+140.006 s]
Raw data (loadavg): 1.05 1.03 0.95 2/65 6408
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 13070 48 0 0 25 0 11 0 420745102 861941760 23409 4294967295 134512640 134569956 3221224400 3221214624 1131605924 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23409 13073 16 0 210419 0
vsize: 841740
[startup+150.006 s]
Raw data (loadavg): 1.04 1.03 0.95 2/65 6408
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 14052 48 0 0 25 0 11 0 420745102 861941760 23409 4294967295 134512640 134569956 3221224400 3221214520 1131570014 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23409 13073 16 0 210419 0
vsize: 841740
[startup+160.007 s]
Raw data (loadavg): 1.03 1.03 0.95 2/65 6408
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 15045 48 0 0 25 0 11 0 420745102 861941760 23586 4294967295 134512640 134569956 3221224400 3221214520 1131569868 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23586 13073 16 0 210419 0
vsize: 841740
[startup+170.008 s]
Raw data (loadavg): 1.03 1.03 0.95 2/65 6408
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 16042 49 0 0 25 0 11 0 420745102 861941760 23592 4294967295 134512640 134569956 3221224400 3221214536 1131278579 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23592 13073 16 0 210419 0
vsize: 841740
[startup+180.009 s]
Raw data (loadavg): 1.02 1.03 0.95 2/65 6408
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 17039 49 0 0 25 0 11 0 420745102 861941760 23597 4294967295 134512640 134569956 3221224400 3221214508 1131506656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23597 13073 16 0 210419 0
vsize: 841740
[startup+190.009 s]
Raw data (loadavg): 1.02 1.03 0.95 2/65 6408
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 18035 49 0 0 25 0 11 0 420745102 861941760 23599 4294967295 134512640 134569956 3221224400 3221214584 1131278565 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23599 13073 16 0 210419 0
vsize: 841740
[startup+200.009 s]
Raw data (loadavg): 1.02 1.02 0.95 2/65 6408
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 19032 49 0 0 25 0 11 0 420745102 861941760 23604 4294967295 134512640 134569956 3221224400 3221214616 1131588368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23604 13073 16 0 210419 0
vsize: 841740
[startup+210.01 s]
Raw data (loadavg): 1.01 1.02 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 20028 49 0 0 25 0 11 0 420745102 861941760 23605 4294967295 134512640 134569956 3221224400 3221214520 1131571718 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23605 13073 16 0 210419 0
vsize: 841740
[startup+220.011 s]
Raw data (loadavg): 1.01 1.02 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 21021 49 0 0 25 0 11 0 420745102 861941760 23611 4294967295 134512640 134569956 3221224400 3221214624 1131600679 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23611 13073 16 0 210419 0
vsize: 841740
[startup+230.011 s]
Raw data (loadavg): 1.01 1.02 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 22010 50 0 0 25 0 11 0 420745102 861941760 23616 4294967295 134512640 134569956 3221224400 3221214432 1131300800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23616 13073 16 0 210419 0
vsize: 841740
[startup+240.01 s]
Raw data (loadavg): 1.01 1.02 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 22998 50 0 0 25 0 11 0 420745102 861941760 23623 4294967295 134512640 134569956 3221224400 3221214624 1131606898 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23623 13073 16 0 210419 0
vsize: 841740
[startup+250.014 s]
Raw data (loadavg): 1.00 1.02 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 23986 50 0 0 25 0 11 0 420745102 861941760 23623 4294967295 134512640 134569956 3221224400 3221214624 1131600672 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23623 13073 16 0 210419 0
vsize: 841740
[startup+260.015 s]
Raw data (loadavg): 1.00 1.02 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 24974 50 0 0 25 0 11 0 420745102 861941760 23683 4294967295 134512640 134569956 3221224400 3221214520 1131572424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23683 13073 16 0 210419 0
vsize: 841740
[startup+270.015 s]
Raw data (loadavg): 1.00 1.02 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 25967 50 0 0 25 0 11 0 420745102 861941760 23688 4294967295 134512640 134569956 3221224400 3221214432 1131300947 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23688 13073 16 0 210419 0
vsize: 841740
[startup+280.016 s]
Raw data (loadavg): 1.00 1.02 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 26962 50 0 0 25 0 11 0 420745102 861941760 23734 4294967295 134512640 134569956 3221224400 3221214432 1131301136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210435 23734 13073 16 0 210419 0
vsize: 841740
[startup+290.016 s]
Raw data (loadavg): 1.00 1.02 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 27959 50 0 0 25 0 11 0 420745102 861941760 23736 4294967295 134512640 134569956 3221224400 3221214520 1131570104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23736 13073 16 0 210419 0
vsize: 841740
[startup+300.016 s]
Raw data (loadavg): 1.00 1.02 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 28957 51 0 0 25 0 11 0 420745102 861941760 23742 4294967295 134512640 134569956 3221224400 3221214432 1131300947 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23742 13073 16 0 210419 0
vsize: 841740
[startup+310.016 s]
Raw data (loadavg): 1.00 1.01 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 29954 51 0 0 25 0 11 0 420745102 861941760 23743 4294967295 134512640 134569956 3221224400 3221214520 1131571646 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23743 13073 16 0 210419 0
vsize: 841740
[startup+320.017 s]
Raw data (loadavg): 1.00 1.01 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 30952 51 0 0 25 0 11 0 420745102 861941760 23747 4294967295 134512640 134569956 3221224400 3221214624 1131600816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23747 13073 16 0 210419 0
vsize: 841740
[startup+330.018 s]
Raw data (loadavg): 1.00 1.01 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 31950 51 0 0 25 0 11 0 420745102 861941760 23749 4294967295 134512640 134569956 3221224400 3221214432 1131300947 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23749 13073 16 0 210419 0
vsize: 841740
[startup+340.019 s]
Raw data (loadavg): 1.00 1.01 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 32947 51 0 0 25 0 11 0 420745102 861941760 23754 4294967295 134512640 134569956 3221224400 3221214432 1131300947 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23754 13073 16 0 210419 0
vsize: 841740
[startup+350.018 s]
Raw data (loadavg): 1.00 1.01 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 33945 52 0 0 25 0 11 0 420745102 861941760 23755 4294967295 134512640 134569956 3221224400 3221214536 1131279777 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23755 13073 16 0 210419 0
vsize: 841740
[startup+360.019 s]
Raw data (loadavg): 1.00 1.01 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 34942 52 0 0 25 0 11 0 420745102 861941760 23757 4294967295 134512640 134569956 3221224400 3221214624 1131600672 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23757 13073 16 0 210419 0
vsize: 841740
[startup+370.018 s]
Raw data (loadavg): 1.00 1.01 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 35939 52 0 0 25 0 11 0 420745102 861941760 23762 4294967295 134512640 134569956 3221224400 3221214432 1131300947 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23762 13073 16 0 210419 0
vsize: 841740
[startup+380.019 s]
Raw data (loadavg): 1.00 1.01 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 36937 52 0 0 25 0 11 0 420745102 861941760 23765 4294967295 134512640 134569956 3221224400 3221214432 1131300794 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23765 13073 16 0 210419 0
vsize: 841740
[startup+390.02 s]
Raw data (loadavg): 1.00 1.01 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 37934 52 0 0 25 0 11 0 420745102 861941760 23768 4294967295 134512640 134569956 3221224400 3221214536 1131279848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23768 13073 16 0 210419 0
vsize: 841740
[startup+400.02 s]
Raw data (loadavg): 1.00 1.01 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 38932 52 0 0 25 0 11 0 420745102 861941760 23770 4294967295 134512640 134569956 3221224400 3221214624 1131606104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23770 13073 16 0 210419 0
vsize: 841740
[startup+410.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 39929 52 0 0 25 0 11 0 420745102 861941760 23776 4294967295 134512640 134569956 3221224400 3221214432 1131300877 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23776 13073 16 0 210419 0
vsize: 841740
[startup+420.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 40926 52 0 0 25 0 11 0 420745102 861941760 23779 4294967295 134512640 134569956 3221224400 3221214624 1131605927 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23779 13073 16 0 210419 0
vsize: 841740
[startup+430.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 41924 52 0 0 25 0 11 0 420745102 861941760 23780 4294967295 134512640 134569956 3221224400 3221214520 1131570899 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23780 13073 16 0 210419 0
vsize: 841740
[startup+440.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 42921 53 0 0 25 0 11 0 420745102 861941760 23785 4294967295 134512640 134569956 3221224400 3221214624 1131600816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23785 13073 16 0 210419 0
vsize: 841740
[startup+450.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 43918 53 0 0 25 0 11 0 420745102 861941760 23787 4294967295 134512640 134569956 3221224400 3221214560 1131277211 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23787 13073 16 0 210419 0
vsize: 841740
[startup+460.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 44916 53 0 0 25 0 11 0 420745102 861941760 23791 4294967295 134512640 134569956 3221224400 3221214432 1131301210 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23791 13073 16 0 210419 0
vsize: 841740
[startup+470.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 45913 53 0 0 25 0 11 0 420745102 861941760 23792 4294967295 134512640 134569956 3221224400 3221214432 1131300800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23792 13073 16 0 210419 0
vsize: 841740
[startup+480.022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 46911 53 0 0 25 0 11 0 420745102 861941760 23795 4294967295 134512640 134569956 3221224400 3221214432 1131300877 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23795 13073 16 0 210419 0
vsize: 841740
[startup+490.022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 47908 53 0 0 25 0 11 0 420745102 861941760 23800 4294967295 134512640 134569956 3221224400 3221214432 1131301232 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23800 13073 16 0 210419 0
vsize: 841740
[startup+500.022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 48905 53 0 0 25 0 11 0 420745102 861941760 23805 4294967295 134512640 134569956 3221224400 3221214520 1131569783 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23805 13073 16 0 210419 0
vsize: 841740
[startup+510.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 49902 54 0 0 25 0 11 0 420745102 861941760 23806 4294967295 134512640 134569956 3221224400 3221214520 1131570138 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23806 13073 16 0 210419 0
vsize: 841740
[startup+520.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 50899 54 0 0 25 0 11 0 420745102 861941760 23810 4294967295 134512640 134569956 3221224400 3221214520 1131570867 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23810 13073 16 0 210419 0
vsize: 841740
[startup+530.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 51897 54 0 0 25 0 11 0 420745102 861941760 23812 4294967295 134512640 134569956 3221224400 3221214432 1131300863 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23812 13073 16 0 210419 0
vsize: 841740
[startup+540.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 52894 54 0 0 25 0 11 0 420745102 861941760 23813 4294967295 134512640 134569956 3221224400 3221214520 1131571698 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23813 13073 16 0 210419 0
vsize: 841740
[startup+550.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 53891 55 0 0 25 0 11 0 420745102 861941760 23817 4294967295 134512640 134569956 3221224400 3221214624 1131600676 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23817 13073 16 0 210419 0
vsize: 841740
[startup+560.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 54888 55 0 0 25 0 11 0 420745102 861941760 23825 4294967295 134512640 134569956 3221224400 3221214520 1131570048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23825 13073 16 0 210419 0
vsize: 841740
[startup+570.027 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 55885 55 0 0 25 0 11 0 420745102 861941760 23828 4294967295 134512640 134569956 3221224400 3221214624 1131600672 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23828 13073 16 0 210419 0
vsize: 841740
[startup+580.027 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 56882 56 0 0 25 0 11 0 420745102 861941760 23831 4294967295 134512640 134569956 3221224400 3221214520 1131569843 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23831 13073 16 0 210419 0
vsize: 841740
[startup+590.027 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 57879 56 0 0 25 0 11 0 420745102 861941760 23835 4294967295 134512640 134569956 3221224400 3221214520 1131569783 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23835 13073 16 0 210419 0
vsize: 841740
[startup+600.028 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 58877 56 0 0 25 0 11 0 420745102 861941760 23838 4294967295 134512640 134569956 3221224400 3221214520 1131569783 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23838 13073 16 0 210419 0
vsize: 841740
[startup+610.029 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 59874 56 0 0 25 0 11 0 420745102 861941760 23843 4294967295 134512640 134569956 3221224400 3221214520 1131572412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23843 13073 16 0 210419 0
vsize: 841740
[startup+620.029 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 60872 56 0 0 25 0 11 0 420745102 861941760 23845 4294967295 134512640 134569956 3221224400 3221214432 1131300861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210435 23845 13073 16 0 210419 0
vsize: 841740
[startup+630.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 61869 56 0 0 25 0 11 0 420745102 861941760 23847 4294967295 134512640 134569956 3221224400 3221214432 1131300911 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23847 13073 16 0 210419 0
vsize: 841740
[startup+640.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 62866 56 0 0 25 0 11 0 420745102 861941760 23852 4294967295 134512640 134569956 3221224400 3221214520 1131570202 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23852 13073 16 0 210419 0
vsize: 841740
[startup+650.029 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 63863 56 0 0 25 0 11 0 420745102 861941760 23856 4294967295 134512640 134569956 3221224400 3221214520 1131571017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23856 13073 16 0 210419 0
vsize: 841740
[startup+660.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 64860 57 0 0 25 0 11 0 420745102 861941760 23859 4294967295 134512640 134569956 3221224400 3221214432 1131300808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23859 13073 16 0 210419 0
vsize: 841740
[startup+670.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 65857 57 0 0 25 0 11 0 420745102 861941760 23865 4294967295 134512640 134569956 3221224400 3221214520 1131572525 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23865 13073 16 0 210419 0
vsize: 841740
[startup+680.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 66855 57 0 0 25 0 11 0 420745102 861941760 23866 4294967295 134512640 134569956 3221224400 3221214624 1131606101 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23866 13073 16 0 210419 0
vsize: 841740
[startup+690.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 67852 57 0 0 25 0 11 0 420745102 861941760 23869 4294967295 134512640 134569956 3221224400 3221214624 1131600668 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23869 13073 16 0 210419 0
vsize: 841740
[startup+700.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 68849 58 0 0 25 0 11 0 420745102 861941760 23871 4294967295 134512640 134569956 3221224400 3221214536 1131279767 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23871 13073 16 0 210419 0
vsize: 841740
[startup+710.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 69846 58 0 0 25 0 11 0 420745102 861941760 23875 4294967295 134512640 134569956 3221224400 3221214432 1131300947 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23875 13073 16 0 210419 0
vsize: 841740
[startup+720.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 70843 58 0 0 25 0 11 0 420745102 861941760 23880 4294967295 134512640 134569956 3221224400 3221214520 1131571745 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23880 13073 16 0 210419 0
vsize: 841740
[startup+730.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 71840 58 0 0 25 0 11 0 420745102 861941760 23884 4294967295 134512640 134569956 3221224400 3221214624 1131606044 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23884 13073 16 0 210419 0
vsize: 841740
[startup+740.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6410
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 72837 58 0 0 25 0 11 0 420745102 861941760 23887 4294967295 134512640 134569956 3221224400 3221214624 1131606089 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23887 13073 16 0 210419 0
vsize: 841740
[startup+750.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6411
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 73825 58 0 0 25 0 11 0 420745102 861941760 23890 4294967295 134512640 134569956 3221224400 3221214760 1131442653 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23890 13073 16 0 210419 0
vsize: 841740
[startup+760.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6412
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 74805 58 0 0 25 0 11 0 420745102 861941760 23893 4294967295 134512640 134569956 3221224400 3221214368 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23893 13073 16 0 210419 0
vsize: 841740
[startup+770.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6412
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 75772 58 0 0 25 0 11 0 420745102 861941760 23900 4294967295 134512640 134569956 3221224400 3221214624 1131606089 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23900 13073 16 0 210419 0
vsize: 841740
[startup+780.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6412
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 76738 59 0 0 25 0 11 0 420745102 861941760 23903 4294967295 134512640 134569956 3221224400 3221214520 1131570104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23903 13073 16 0 210419 0
vsize: 841740
[startup+790.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6412
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 77705 59 0 0 25 0 11 0 420745102 861941760 23953 4294967295 134512640 134569956 3221224400 3221214624 1131605927 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 23953 13073 16 0 210419 0
vsize: 841740
[startup+800.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6412
Raw data (stat): 6390 (java) S 6389 30927 30926 0 -1 0 18115 4 1 0 78677 59 0 0 25 0 11 0 420745102 861941760 24007 4294967295 134512640 134569956 3221224400 3221213280 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 24007 13073 16 0 210419 0
vsize: 841740
[startup+810.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6412
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 79659 59 0 0 25 0 11 0 420745102 861941760 24224 4294967295 134512640 134569956 3221224400 3221214432 1131300877 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 24224 13073 16 0 210419 0
vsize: 841740
[startup+820.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6412
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 80657 59 0 0 25 0 11 0 420745102 861941760 24284 4294967295 134512640 134569956 3221224400 3221214520 1131569839 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210435 24284 13073 16 0 210419 0
vsize: 841740
[startup+830.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6412
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 81655 60 0 0 25 0 11 0 420745102 861941760 24284 4294967295 134512640 134569956 3221224400 3221214520 1131570005 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 24284 13073 16 0 210419 0
vsize: 841740
[startup+840.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6412
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 82654 60 0 0 25 0 11 0 420745102 861941760 24284 4294967295 134512640 134569956 3221224400 3221214536 1131279822 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 24284 13073 16 0 210419 0
vsize: 841740
[startup+850.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6412
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 83652 60 0 0 25 0 11 0 420745102 861941760 24284 4294967295 134512640 134569956 3221224400 3221214520 1131572422 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 24284 13073 16 0 210419 0
vsize: 841740
[startup+860.041 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6412
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 84650 60 0 0 25 0 11 0 420745102 861941760 24285 4294967295 134512640 134569956 3221224400 3221214624 1131606044 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 24285 13073 16 0 210419 0
vsize: 841740
[startup+870.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6412
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 85648 60 0 0 25 0 11 0 420745102 861941760 24285 4294967295 134512640 134569956 3221224400 3221214624 1131605927 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 24285 13073 16 0 210419 0
vsize: 841740
[startup+880.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6412
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 86646 60 0 0 25 0 11 0 420745102 861941760 24285 4294967295 134512640 134569956 3221224400 3221214432 1131302210 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 24285 13073 16 0 210419 0
vsize: 841740
[startup+890.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6412
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 87643 61 0 0 25 0 11 0 420745102 861941760 24285 4294967295 134512640 134569956 3221224400 3221214432 1131300794 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 24285 13073 16 0 210419 0
vsize: 841740
[startup+900.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6412
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 88640 61 0 0 25 0 11 0 420745102 861941760 24285 4294967295 134512640 134569956 3221224400 3221214624 1131600672 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 24285 13073 16 0 210419 0
vsize: 841740
[startup+910.053 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6412
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 89637 61 0 0 25 0 11 0 420745102 861941760 24294 4294967295 134512640 134569956 3221224400 3221214432 1131300877 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 24294 13073 16 0 210419 0
vsize: 841740
[startup+920.053 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6412
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 90635 61 0 0 25 0 11 0 420745102 861941760 24298 4294967295 134512640 134569956 3221224400 3221214520 1131569758 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 24298 13073 16 0 210419 0
vsize: 841740
[startup+930.061 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6412
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 91635 61 0 0 25 0 11 0 420745102 861941760 24308 4294967295 134512640 134569956 3221224400 3221214624 1131605927 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 24308 13073 16 0 210419 0
vsize: 841740
[startup+940.076 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6412
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 92635 61 0 0 25 0 11 0 420745102 861941760 24308 4294967295 134512640 134569956 3221224400 3221214432 1131300867 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 24308 13073 16 0 210419 0
vsize: 841740
[startup+950.075 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6412
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 93628 62 0 0 25 0 11 0 420745102 861941760 24310 4294967295 134512640 134569956 3221224400 3221214740 1131299712 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 24310 13073 16 0 210419 0
vsize: 841740
[startup+960.076 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6412
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 94619 62 0 0 25 0 11 0 420745102 861941760 24310 4294967295 134512640 134569956 3221224400 3221214536 1131279723 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 24310 13073 16 0 210419 0
vsize: 841740
[startup+970.075 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6412
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 95609 62 0 0 25 0 11 0 420745102 861941760 24310 4294967295 134512640 134569956 3221224400 3221214520 1131571735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 24310 13073 16 0 210419 0
vsize: 841740
[startup+980.076 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6412
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 96600 62 0 0 25 0 11 0 420745102 861941760 24319 4294967295 134512640 134569956 3221224400 3221214520 1131569839 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 24319 13073 16 0 210419 0
vsize: 841740
[startup+990.086 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6412
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 97585 62 0 0 25 0 11 0 420745102 861941760 24323 4294967295 134512640 134569956 3221224400 3221214520 1131571001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 24323 13073 16 0 210419 0
vsize: 841740
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6412
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 98566 63 0 0 25 0 11 0 420745102 861941760 24368 4294967295 134512640 134569956 3221224400 3221214520 1131570029 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 24368 13073 16 0 210419 0
vsize: 841740
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6412
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 99547 63 0 0 25 0 11 0 420745102 861941760 24379 4294967295 134512640 134569956 3221224400 3221214432 1131301160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 24379 13073 16 0 210419 0
vsize: 841740
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6412
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 100531 63 0 0 25 0 11 0 420745102 861941760 24388 4294967295 134512640 134569956 3221224400 3221214432 1131300947 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 24388 13073 16 0 210419 0
vsize: 841740
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6412
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 101520 63 0 0 25 0 11 0 420745102 861941760 24472 4294967295 134512640 134569956 3221224400 3221214432 1131300874 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 24472 13073 16 0 210419 0
vsize: 841740
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6412
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 102515 64 0 0 25 0 11 0 420745102 861941760 24506 4294967295 134512640 134569956 3221224400 3221214432 1131300877 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 24506 13073 16 0 210419 0
vsize: 841740
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6412
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 103504 64 0 0 25 0 11 0 420745102 861941760 24506 4294967295 134512640 134569956 3221224400 3221214432 1131301789 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 24506 13073 16 0 210419 0
vsize: 841740
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6412
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 104493 64 0 0 25 0 11 0 420745102 861941760 24506 4294967295 134512640 134569956 3221224400 3221214760 1131449132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 24506 13073 16 0 210419 0
vsize: 841740
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6413
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 105471 64 0 0 25 0 11 0 420745102 861941760 24506 4294967295 134512640 134569956 3221224400 3221214432 1131300911 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 24506 13073 16 0 210419 0
vsize: 841740
[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6413
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 106450 65 0 0 25 0 11 0 420745102 861941760 24506 4294967295 134512640 134569956 3221224400 3221214432 1131301110 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 24506 13073 16 0 210419 0
vsize: 841740
[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6413
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 107428 65 0 0 25 0 11 0 420745102 861941760 24562 4294967295 134512640 134569956 3221224400 3221214476 1131178732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 24562 13073 16 0 210419 0
vsize: 841740
[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6413
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 108410 66 0 0 25 0 11 0 420745102 861941760 24621 4294967295 134512640 134569956 3221224400 3221214520 1131571741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 24621 13073 16 0 210419 0
vsize: 841740
[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6413
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 109395 66 0 0 25 0 11 0 420745102 861941760 24680 4294967295 134512640 134569956 3221224400 3221214520 1131570014 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 24680 13073 16 0 210419 0
vsize: 841740
[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6413
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 110387 66 0 0 25 0 11 0 420745102 861941760 24748 4294967295 134512640 134569956 3221224400 3221214432 1131301210 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 24748 13073 16 0 210419 0
vsize: 841740
[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6413
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18115 4 1 0 111381 66 0 0 25 0 11 0 420745102 861941760 24752 4294967295 134512640 134569956 3221224400 3221214520 1131570048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 24752 13073 16 0 210419 0
vsize: 841740
[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6413
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18116 4 1 0 112376 66 0 0 25 0 11 0 420745102 861941760 24764 4294967295 134512640 134569956 3221224400 3221214528 1131324926 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 24764 13073 16 0 210419 0
vsize: 841740
[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6413
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18116 4 1 0 113370 66 0 0 25 0 11 0 420745102 861941760 24776 4294967295 134512640 134569956 3221224400 3221214520 1131570101 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 24776 13073 16 0 210419 0
vsize: 841740
[startup+1160.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6413
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18116 4 1 0 114364 66 0 0 25 0 11 0 420745102 861941760 24790 4294967295 134512640 134569956 3221224400 3221214520 1131571026 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 24790 13073 16 0 210419 0
vsize: 841740
[startup+1170.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6413
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18116 4 1 0 115358 66 0 0 25 0 11 0 420745102 861941760 24794 4294967295 134512640 134569956 3221224400 3221214624 1131600770 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 24794 13073 16 0 210419 0
vsize: 841740
[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6413
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18116 4 1 0 116351 66 0 0 25 0 11 0 420745102 861941760 24806 4294967295 134512640 134569956 3221224400 3221214624 1131600679 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 24806 13073 16 0 210419 0
vsize: 841740
[startup+1190.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6413
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18116 4 1 0 117345 66 0 0 25 0 11 0 420745102 861941760 24812 4294967295 134512640 134569956 3221224400 3221214520 1131571694 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 24812 13073 16 0 210419 0
vsize: 841740
[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6413
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18116 4 1 0 118331 66 0 0 25 0 11 0 420745102 861941760 24836 4294967295 134512640 134569956 3221224400 3221214624 1131600679 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 24836 13073 16 0 210419 0
vsize: 841740
[startup+1210.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6413
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18116 4 1 0 119310 67 0 0 24 0 11 0 420745102 861941760 24848 4294967295 134512640 134569956 3221224400 3221214760 1131449132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 24848 13073 16 0 210419 0
vsize: 841740
[startup+1220.12 s]
Raw data (loadavg): 1.00 1.00 0.95 2/65 6413
Raw data (stat): 6390 (java) R 6389 30927 30926 0 -1 0 18116 4 1 0 120284 67 0 0 25 0 11 0 420745102 861941760 24863 4294967295 134512640 134569956 3221224400 3221214760 1131437984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210435 24863 13073 16 0 210419 0
vsize: 841740
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.25 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 6415
Raw data (stat): 6390 (java) Z 6389 30927 30926 0 -1 1036 18116 14443 1 1 120289 67 2882 41 25 0 1 0 420745102 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1220.25
CPU time (s): 1232.81
CPU user time (s): 1231.72
CPU system time (s): 1.08883
CPU usage (%): 101.03
Max. virtual memory (Kb): 847212
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####