PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p2756.opb
MD5SUM	cc9b9a1bf5f3e0998bc97d2eed5cbbd9
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.07484
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 18976

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-04-21 17:22:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17169 boxname=wulflinc23 idbench=1321 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  cc9b9a1bf5f3e0998bc97d2eed5cbbd9  /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-p2756.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-p2756.opb
IDLAUNCH: 17169
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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.037
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:        641028 kB
Buffers:         26200 kB
Cached:         342028 kB
SwapCached:        536 kB
Active:          29504 kB
Inactive:       340876 kB
HighTotal:      131008 kB
HighFree:        15876 kB
LowTotal:       903652 kB
LowFree:        625152 kB
SwapTotal:     2097136 kB
SwapFree:      2095852 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5224 kB
Slab:            17684 kB
Committed_AS:    63576 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 17:43:20 (client local time) WITH STATUS 143 IN 1244.18 SECONDS
stats: 17169 7 1244.18 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-p2756.opb
c reading problem 
c [nbvar=2756]
c [nbconstr=3511]
c time 6.535
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=118659
c Current CPU time (ms) : 11.375
c starts	: 1
c conflicts	: 45
c decisions	: 14230
c propagations	: 23362
c inspects	: 10914
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 45
c root simplifications	: 12
c 
c CURRENT OPTIMUM=118467
c Current CPU time (ms) : 81.4
c starts	: 2
c conflicts	: 61
c decisions	: 15934
c propagations	: 26216
c inspects	: 12887
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 61
c root simplifications	: 13
c 
c CURRENT OPTIMUM=38837
c Current CPU time (ms) : 83.188
c starts	: 3
c conflicts	: 69
c decisions	: 18766
c propagations	: 30810
c inspects	: 18723
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 69
c root simplifications	: 14
c 
c CURRENT OPTIMUM=29457
c Current CPU time (ms) : 96.918
c starts	: 4
c conflicts	: 75
c decisions	: 21671
c propagations	: 35156
c inspects	: 22119
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 75
c root simplifications	: 15
c 
c CURRENT OPTIMUM=26685
c Current CPU time (ms) : 526.492
c starts	: 6
c conflicts	: 180
c decisions	: 25319
c propagations	: 41784
c inspects	: 39860
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 180
c root simplifications	: 17
c 
c CURRENT OPTIMUM=18863
c Current CPU time (ms) : 545.708
c starts	: 7
c conflicts	: 182
c decisions	: 27387
c propagations	: 45416
c inspects	: 46531
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 182
c root simplifications	: 18
c 
c CURRENT OPTIMUM=17909
c Current CPU time (ms) : 551.321
c starts	: 8
c conflicts	: 185
c decisions	: 29225
c propagations	: 48695
c inspects	: 53786
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 185
c root simplifications	: 19
#### 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.79 0.92 0.89 2/54 8394
Raw data (stat): 8394 (runsolver) R 8393 3260 3259 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 546846969 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 1.13 0.99 0.92 4/64 8404
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18103 0 1 0 814 39 0 0 25 0 11 0 546846969 867041280 21725 4294967295 134512640 134569956 3221224400 3221214696 1130890626 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211680 21725 13073 16 0 211664 0
vsize: 846720
[startup+20.0013 s]
Raw data (loadavg): 1.18 1.01 0.92 2/64 8405
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18114 3 1 0 1672 39 0 0 25 0 11 0 546846969 864419840 22067 4294967295 134512640 134569956 3221224400 3221214952 1131190467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 22067 13073 16 0 211024 0
vsize: 844160
[startup+30.002 s]
Raw data (loadavg): 1.16 1.01 0.92 2/64 8405
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18114 3 1 0 2625 40 0 0 25 0 11 0 546846969 864419840 22186 4294967295 134512640 134569956 3221224400 3221214536 1131509159 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 22186 13073 16 0 211024 0
vsize: 844160
[startup+40.0022 s]
Raw data (loadavg): 1.13 1.01 0.92 2/64 8405
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18114 3 1 0 3577 40 0 0 25 0 11 0 546846969 864419840 22368 4294967295 134512640 134569956 3221224400 3221214624 1131579135 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 22368 13073 16 0 211024 0
vsize: 844160
[startup+50.0033 s]
Raw data (loadavg): 1.11 1.00 0.92 2/64 8405
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18114 3 1 0 4525 40 0 0 25 0 11 0 546846969 864419840 22572 4294967295 134512640 134569956 3221224400 3221214432 1131297882 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 22572 13073 16 0 211024 0
vsize: 844160
[startup+60.0029 s]
Raw data (loadavg): 1.09 1.00 0.92 2/64 8405
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18114 3 1 0 5462 41 0 0 25 0 11 0 546846969 864419840 22741 4294967295 134512640 134569956 3221224400 3221214432 1131299625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 22741 13073 16 0 211024 0
vsize: 844160
[startup+70.0031 s]
Raw data (loadavg): 1.08 1.00 0.92 2/64 8405
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18114 3 1 0 6419 41 0 0 25 0 11 0 546846969 864419840 23152 4294967295 134512640 134569956 3221224400 3221214624 1131579027 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 23152 13073 16 0 211024 0
vsize: 844160
[startup+80.0042 s]
Raw data (loadavg): 1.07 1.00 0.92 2/64 8405
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18114 3 1 0 7392 41 0 0 25 0 11 0 546846969 864419840 23272 4294967295 134512640 134569956 3221224400 3221214432 1131297882 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 23272 13073 16 0 211024 0
vsize: 844160
[startup+90.0049 s]
Raw data (loadavg): 1.28 1.05 0.94 2/64 8407
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 8338 42 0 0 25 0 11 0 546846969 864419840 23375 4294967295 134512640 134569956 3221224400 3221214688 1131414908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 23375 13073 16 0 211024 0
vsize: 844160
[startup+100.005 s]
Raw data (loadavg): 1.23 1.05 0.94 2/64 8408
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 9305 42 0 0 25 0 11 0 546846969 864419840 23485 4294967295 134512640 134569956 3221224400 3221214760 1131370656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 23485 13073 16 0 211024 0
vsize: 844160
[startup+110.005 s]
Raw data (loadavg): 1.20 1.05 0.94 2/64 8408
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 10277 42 0 0 25 0 11 0 546846969 864419840 23507 4294967295 134512640 134569956 3221224400 3221214536 1131261845 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 23507 13073 16 0 211024 0
vsize: 844160
[startup+120.006 s]
Raw data (loadavg): 1.17 1.04 0.94 2/64 8408
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 11245 43 0 0 25 0 11 0 546846969 864419840 23535 4294967295 134512640 134569956 3221224400 3221214432 1131298491 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 23535 13073 16 0 211024 0
vsize: 844160
[startup+130.005 s]
Raw data (loadavg): 1.14 1.04 0.94 2/64 8408
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 12217 43 0 0 25 0 11 0 546846969 864419840 23656 4294967295 134512640 134569956 3221224400 3221214536 1131261835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 23656 13073 16 0 211024 0
vsize: 844160
[startup+140.006 s]
Raw data (loadavg): 1.12 1.04 0.94 2/64 8408
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 13188 43 0 0 25 0 11 0 546846969 864419840 23656 4294967295 134512640 134569956 3221224400 3221214536 1131261822 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 23656 13073 16 0 211024 0
vsize: 844160
[startup+150.007 s]
Raw data (loadavg): 1.10 1.04 0.94 2/64 8408
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 14162 43 0 0 25 0 11 0 546846969 864419840 23748 4294967295 134512640 134569956 3221224400 3221214528 1131533132 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 23748 13073 16 0 211024 0
vsize: 844160
[startup+160.006 s]
Raw data (loadavg): 1.08 1.04 0.94 2/64 8408
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 15140 43 0 0 25 0 11 0 546846969 864419840 23827 4294967295 134512640 134569956 3221224400 3221214528 1131533759 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 23827 13073 16 0 211024 0
vsize: 844160
[startup+170.007 s]
Raw data (loadavg): 1.07 1.03 0.94 2/64 8408
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 16127 44 0 0 25 0 11 0 546846969 864419840 23959 4294967295 134512640 134569956 3221224400 3221214432 1131297619 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 23959 13073 16 0 211024 0
vsize: 844160
[startup+180.008 s]
Raw data (loadavg): 1.06 1.03 0.94 2/64 8408
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 17115 44 0 0 25 0 11 0 546846969 864419840 23969 4294967295 134512640 134569956 3221224400 3221214528 1131532977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 23969 13073 16 0 211024 0
vsize: 844160
[startup+190.008 s]
Raw data (loadavg): 1.05 1.03 0.94 2/64 8408
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 18097 44 0 0 25 0 11 0 546846969 864419840 24038 4294967295 134512640 134569956 3221224400 3221214536 1131260653 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 24038 13073 16 0 211024 0
vsize: 844160
[startup+200.009 s]
Raw data (loadavg): 1.04 1.03 0.94 2/64 8408
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 19081 45 0 0 25 0 11 0 546846969 864419840 24044 4294967295 134512640 134569956 3221224400 3221214624 1131578983 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 24044 13073 16 0 211024 0
vsize: 844160
[startup+210.008 s]
Raw data (loadavg): 1.04 1.03 0.94 2/64 8408
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 20069 45 0 0 25 0 11 0 546846969 864419840 24053 4294967295 134512640 134569956 3221224400 3221214536 1131261832 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 24053 13073 16 0 211024 0
vsize: 844160
[startup+220.009 s]
Raw data (loadavg): 1.03 1.03 0.94 2/64 8408
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 21053 45 0 0 25 0 11 0 546846969 864419840 24062 4294967295 134512640 134569956 3221224400 3221214624 1131575392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 24062 13073 16 0 211024 0
vsize: 844160
[startup+230.01 s]
Raw data (loadavg): 1.02 1.03 0.94 2/64 8408
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 22041 46 0 0 25 0 11 0 546846969 864419840 24067 4294967295 134512640 134569956 3221224400 3221214624 1131575404 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 24067 13073 16 0 211024 0
vsize: 844160
[startup+240.011 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 8408
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 23031 46 0 0 25 0 11 0 546846969 864419840 24186 4294967295 134512640 134569956 3221224400 3221214528 1131532062 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 24186 13073 16 0 211024 0
vsize: 844160
[startup+250.011 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 8408
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 24025 46 0 0 25 0 11 0 546846969 864419840 24195 4294967295 134512640 134569956 3221224400 3221214528 1131533739 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 24195 13073 16 0 211024 0
vsize: 844160
[startup+260.011 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 8408
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 25012 46 0 0 25 0 11 0 546846969 864419840 24205 4294967295 134512640 134569956 3221224400 3221214624 1131575399 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 24205 13073 16 0 211024 0
vsize: 844160
[startup+270.011 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 8408
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 25984 46 0 0 25 0 11 0 546846969 864419840 24208 4294967295 134512640 134569956 3221224400 3221214528 1131533004 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 24208 13073 16 0 211024 0
vsize: 844160
[startup+280.011 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 8408
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 26963 47 0 0 25 0 11 0 546846969 864419840 24217 4294967295 134512640 134569956 3221224400 3221214760 1131371136 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 24217 13073 16 0 211024 0
vsize: 844160
[startup+290.012 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 8408
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 27926 47 0 0 25 0 11 0 546846969 864419840 24226 4294967295 134512640 134569956 3221224400 3221214620 1131260627 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 24226 13073 16 0 211024 0
vsize: 844160
[startup+300.012 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 8408
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 28889 47 0 0 25 0 11 0 546846969 864419840 24320 4294967295 134512640 134569956 3221224400 3221214532 1131297408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 24320 13073 16 0 211024 0
vsize: 844160
[startup+310.012 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 8408
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 29861 48 0 0 25 0 11 0 546846969 864419840 24478 4294967295 134512640 134569956 3221224400 3221214528 1131532080 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 24478 13073 16 0 211024 0
vsize: 844160
[startup+320.013 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 8408
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 30832 48 0 0 24 0 11 0 546846969 864419840 24481 4294967295 134512640 134569956 3221224400 3221214368 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 24481 13073 16 0 211024 0
vsize: 844160
[startup+330.013 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 8408
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 31803 48 0 0 25 0 11 0 546846969 864419840 24676 4294967295 134512640 134569956 3221224400 3221214528 1131532917 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 24676 13073 16 0 211024 0
vsize: 844160
[startup+340.014 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 8408
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 32782 49 0 0 25 0 11 0 546846969 864419840 24720 4294967295 134512640 134569956 3221224400 3221214528 1131532059 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 24720 13073 16 0 211024 0
vsize: 844160
[startup+350.014 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 8408
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 33757 49 0 0 24 0 11 0 546846969 864419840 24729 4294967295 134512640 134569956 3221224400 3221214432 1131297619 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 24729 13073 16 0 211024 0
vsize: 844160
[startup+360.013 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 8408
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 34734 49 0 0 25 0 11 0 546846969 864419840 24734 4294967295 134512640 134569956 3221224400 3221214528 1131533138 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 24734 13073 16 0 211024 0
vsize: 844160
[startup+370.014 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 8408
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 35711 50 0 0 25 0 11 0 546846969 864419840 24785 4294967295 134512640 134569956 3221224400 3221214528 1131532172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 24785 13073 16 0 211024 0
vsize: 844160
[startup+380.014 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 8408
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 36693 50 0 0 25 0 11 0 546846969 864419840 24839 4294967295 134512640 134569956 3221224400 3221214664 1131294448 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 24839 13073 16 0 211024 0
vsize: 844160
[startup+390.014 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 8408
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 37669 50 0 0 25 0 11 0 546846969 864419840 25002 4294967295 134512640 134569956 3221224400 3221214432 1131297619 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25002 13073 16 0 211024 0
vsize: 844160
[startup+400.014 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 8408
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 38654 50 0 0 25 0 11 0 546846969 864419840 25011 4294967295 134512640 134569956 3221224400 3221214536 1131260674 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25011 13073 16 0 211024 0
vsize: 844160
[startup+410.015 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 8408
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 39631 50 0 0 25 0 11 0 546846969 864419840 25015 4294967295 134512640 134569956 3221224400 3221214360 1078032837 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25015 13073 16 0 211024 0
vsize: 844160
[startup+420.015 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 8408
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 40603 51 0 0 25 0 11 0 546846969 864419840 25035 4294967295 134512640 134569956 3221224400 3221214432 1131297808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25035 13073 16 0 211024 0
vsize: 844160
[startup+430.015 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 8408
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 41578 51 0 0 25 0 11 0 546846969 864419840 25162 4294967295 134512640 134569956 3221224400 3221214432 1131297583 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25162 13073 16 0 211024 0
vsize: 844160
[startup+440.017 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 8408
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 42558 51 0 0 25 0 11 0 546846969 864419840 25167 4294967295 134512640 134569956 3221224400 3221214624 1131575399 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25167 13073 16 0 211024 0
vsize: 844160
[startup+450.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8408
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 43534 52 0 0 25 0 11 0 546846969 864419840 25178 4294967295 134512640 134569956 3221224400 3221214760 1131371081 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25178 13073 16 0 211024 0
vsize: 844160
[startup+460.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8408
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 44514 52 0 0 25 0 11 0 546846969 864419840 25325 4294967295 134512640 134569956 3221224400 3221214664 1131294704 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25325 13073 16 0 211024 0
vsize: 844160
[startup+470.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8408
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 45476 52 0 0 25 0 11 0 546846969 864419840 25332 4294967295 134512640 134569956 3221224400 3221214664 1131294393 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25332 13073 16 0 211024 0
vsize: 844160
[startup+480.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8408
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 46438 53 0 0 25 0 11 0 546846969 864419840 25425 4294967295 134512640 134569956 3221224400 3221214664 1131294372 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25425 13073 16 0 211024 0
vsize: 844160
[startup+490.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8408
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 47403 53 0 0 25 0 11 0 546846969 864419840 25449 4294967295 134512640 134569956 3221224400 3221214528 1131532073 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25449 13073 16 0 211024 0
vsize: 844160
[startup+500.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8408
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 48369 53 0 0 25 0 11 0 546846969 864419840 25540 4294967295 134512640 134569956 3221224400 3221214528 1131534375 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25540 13073 16 0 211024 0
vsize: 844160
[startup+510.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8408
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 49344 54 0 0 25 0 11 0 546846969 864419840 25617 4294967295 134512640 134569956 3221224400 3221214624 1131579100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25617 13073 16 0 211024 0
vsize: 844160
[startup+520.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8408
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 50324 54 0 0 25 0 11 0 546846969 864419840 25737 4294967295 134512640 134569956 3221224400 3221214664 1131294389 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25737 13073 16 0 211024 0
vsize: 844160
[startup+530.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8409
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 51305 55 0 0 25 0 11 0 546846969 864419840 25813 4294967295 134512640 134569956 3221224400 3221214760 1131373925 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25813 13073 16 0 211024 0
vsize: 844160
[startup+540.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8409
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 52284 55 0 0 25 0 11 0 546846969 864419840 25861 4294967295 134512640 134569956 3221224400 3221214760 1131362366 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25861 13073 16 0 211024 0
vsize: 844160
[startup+550.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8410
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 53271 56 0 0 25 0 11 0 546846969 864419840 25868 4294967295 134512640 134569956 3221224400 3221214756 1131295319 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25868 13073 16 0 211024 0
vsize: 844160
[startup+560.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 54234 56 0 0 25 0 11 0 546846969 864419840 25885 4294967295 134512640 134569956 3221224400 3221214360 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25885 13073 16 0 211024 0
vsize: 844160
[startup+570.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 55185 56 0 0 25 0 11 0 546846969 864419840 25929 4294967295 134512640 134569956 3221224400 3221214688 1131413759 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 25929 13073 16 0 211024 0
vsize: 844160
[startup+580.022 s]
Raw data (loadavg): 1.00 1.00 0.94 3/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 56132 57 0 0 25 0 11 0 546846969 864419840 25977 4294967295 134512640 134569956 3221224400 3221214688 1131413774 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 25977 13073 16 0 211024 0
vsize: 844160
[startup+590.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 57102 57 0 0 25 0 11 0 546846969 864419840 26228 4294967295 134512640 134569956 3221224400 3221214680 1131579036 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 26228 13073 16 0 211024 0
vsize: 844160
[startup+600.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 58076 57 0 0 25 0 11 0 546846969 864419840 26270 4294967295 134512640 134569956 3221224400 3221214792 1131348876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 26270 13073 16 0 211024 0
vsize: 844160
[startup+610.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 59044 58 0 0 25 0 11 0 546846969 864419840 26273 4294967295 134512640 134569956 3221224400 3221214848 1131310015 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 26273 13073 16 0 211024 0
vsize: 844160
[startup+620.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 60024 59 0 0 25 0 11 0 546846969 864419840 26363 4294967295 134512640 134569956 3221224400 3221214488 1131297435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 26363 13073 16 0 211024 0
vsize: 844160
[startup+630.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 61010 59 0 0 25 0 11 0 546846969 864419840 26413 4294967295 134512640 134569956 3221224400 3221214584 1131532248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 26413 13073 16 0 211024 0
vsize: 844160
[startup+640.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 62000 60 0 0 25 0 11 0 546846969 864419840 26413 4294967295 134512640 134569956 3221224400 3221214848 1131309925 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 26413 13073 16 0 211024 0
vsize: 844160
[startup+650.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 62989 60 0 0 25 0 11 0 546846969 864419840 26413 4294967295 134512640 134569956 3221224400 3221214584 1131532986 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 26413 13073 16 0 211024 0
vsize: 844160
[startup+660.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 63979 60 0 0 25 0 11 0 546846969 864419840 26461 4294967295 134512640 134569956 3221224400 3221214584 1131531800 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 26461 13073 16 0 211024 0
vsize: 844160
[startup+670.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 64977 60 0 0 25 0 11 0 546846969 864419840 26461 4294967295 134512640 134569956 3221224400 3221214488 1131297549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 26461 13073 16 0 211024 0
vsize: 844160
[startup+680.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 65975 60 0 0 25 0 11 0 546846969 864419840 26461 4294967295 134512640 134569956 3221224400 3221214812 1080203664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 26461 13073 16 0 211024 0
vsize: 844160
[startup+690.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 66972 61 0 0 25 0 11 0 546846969 864419840 26461 4294967295 134512640 134569956 3221224400 3221214584 1131532959 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 26461 13073 16 0 211024 0
vsize: 844160
[startup+700.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 67970 61 0 0 25 0 11 0 546846969 864419840 26461 4294967295 134512640 134569956 3221224400 3221214488 1131297549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 26461 13073 16 0 211024 0
vsize: 844160
[startup+710.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 68968 61 0 0 25 0 11 0 546846969 864419840 26461 4294967295 134512640 134569956 3221224400 3221214584 1131532062 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 26461 13073 16 0 211024 0
vsize: 844160
[startup+720.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 69966 62 0 0 25 0 11 0 546846969 864419840 26461 4294967295 134512640 134569956 3221224400 3221214584 1131532993 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 26461 13073 16 0 211024 0
vsize: 844160
[startup+730.028 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 70963 62 0 0 25 0 11 0 546846969 864419840 26461 4294967295 134512640 134569956 3221224400 3221214760 1131362516 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 26461 13073 16 0 211024 0
vsize: 844160
[startup+740.028 s]
Raw data (loadavg): 1.06 1.02 0.94 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 71960 62 0 0 25 0 11 0 546846969 864419840 26461 4294967295 134512640 134569956 3221224400 3221214680 1131578990 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 26461 13073 16 0 211024 0
vsize: 844160
[startup+750.03 s]
Raw data (loadavg): 1.05 1.01 0.94 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 72956 63 0 0 25 0 11 0 546846969 864419840 26461 4294967295 134512640 134569956 3221224400 3221214584 1131532120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 26461 13073 16 0 211024 0
vsize: 844160
[startup+760.029 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 73946 63 0 0 25 0 11 0 546846969 864419840 26461 4294967295 134512640 134569956 3221224400 3221214816 1131412641 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 26461 13073 16 0 211024 0
vsize: 844160
[startup+770.029 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 74925 64 0 0 25 0 11 0 546846969 864419840 26475 4294967295 134512640 134569956 3221224400 3221214716 1080204298 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 26475 13073 16 0 211024 0
vsize: 844160
[startup+780.03 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 75906 64 0 0 25 0 11 0 546846969 864419840 26475 4294967295 134512640 134569956 3221224400 3221214756 1080203741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 26475 13073 16 0 211024 0
vsize: 844160
[startup+790.031 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 76889 64 0 0 25 0 11 0 546846969 864419840 26486 4294967295 134512640 134569956 3221224400 3221214584 1131532252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 26486 13073 16 0 211024 0
vsize: 844160
[startup+800.03 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 77877 65 0 0 25 0 11 0 546846969 864419840 26527 4294967295 134512640 134569956 3221224400 3221214488 1131297583 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 26527 13073 16 0 211024 0
vsize: 844160
[startup+810.03 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 78864 65 0 0 25 0 11 0 546846969 864419840 26527 4294967295 134512640 134569956 3221224400 3221214488 1131297466 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 26527 13073 16 0 211024 0
vsize: 844160
[startup+820.031 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 79853 66 0 0 25 0 11 0 546846969 864419840 26607 4294967295 134512640 134569956 3221224400 3221214680 1131575399 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 26607 13073 16 0 211024 0
vsize: 844160
[startup+830.03 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 80847 66 0 0 25 0 11 0 546846969 864419840 26608 4294967295 134512640 134569956 3221224400 3221214584 1131532062 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 26608 13073 16 0 211024 0
vsize: 844160
[startup+840.032 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 81842 66 0 0 25 0 11 0 546846969 864419840 26608 4294967295 134512640 134569956 3221224400 3221214680 1131575399 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 26608 13073 16 0 211024 0
vsize: 844160
[startup+850.032 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 82830 67 0 0 25 0 11 0 546846969 864419840 26610 4294967295 134512640 134569956 3221224400 3221214488 1131297549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 26610 13073 16 0 211024 0
vsize: 844160
[startup+860.032 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 83815 67 0 0 25 0 11 0 546846969 864419840 26610 4294967295 134512640 134569956 3221224400 3221214584 1131532164 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 26610 13073 16 0 211024 0
vsize: 844160
[startup+870.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 84803 67 0 0 25 0 11 0 546846969 864419840 26610 4294967295 134512640 134569956 3221224400 3221214592 1131261864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 26610 13073 16 0 211024 0
vsize: 844160
[startup+880.033 s]
Raw data (loadavg): 1.38 1.08 0.97 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 85789 68 0 0 25 0 11 0 546846969 864419840 26654 4294967295 134512640 134569956 3221224400 3221214488 1131297583 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 26654 13073 16 0 211024 0
vsize: 844160
[startup+890.034 s]
Raw data (loadavg): 1.32 1.08 0.97 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 86784 68 0 0 25 0 11 0 546846969 864419840 26654 4294967295 134512640 134569956 3221224400 3221214488 1131297782 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 26654 13073 16 0 211024 0
vsize: 844160
[startup+900.034 s]
Raw data (loadavg): 1.27 1.08 0.97 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 87779 68 0 0 25 0 11 0 546846969 864419840 26654 4294967295 134512640 134569956 3221224400 3221214488 1131297539 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 26654 13073 16 0 211024 0
vsize: 844160
[startup+910.034 s]
Raw data (loadavg): 1.23 1.07 0.97 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 88767 69 0 0 25 0 11 0 546846969 864419840 26654 4294967295 134512640 134569956 3221224400 3221214592 1131261940 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 26654 13073 16 0 211024 0
vsize: 844160
[startup+920.035 s]
Raw data (loadavg): 1.19 1.07 0.97 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 89744 69 0 0 25 0 11 0 546846969 864419840 26654 4294967295 134512640 134569956 3221224400 3221214488 1131299352 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 26654 13073 16 0 211024 0
vsize: 844160
[startup+930.036 s]
Raw data (loadavg): 1.16 1.07 0.97 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 90723 69 0 0 25 0 11 0 546846969 864419840 26654 4294967295 134512640 134569956 3221224400 3221214680 1131579100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 26654 13073 16 0 211024 0
vsize: 844160
[startup+940.036 s]
Raw data (loadavg): 1.14 1.07 0.97 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 91705 70 0 0 25 0 11 0 546846969 864419840 26654 4294967295 134512640 134569956 3221224400 3221214488 1131298511 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 26654 13073 16 0 211024 0
vsize: 844160
[startup+950.036 s]
Raw data (loadavg): 1.12 1.06 0.97 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 92686 70 0 0 25 0 11 0 546846969 864419840 26698 4294967295 134512640 134569956 3221224400 3221214488 1131297472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 26698 13073 16 0 211024 0
vsize: 844160
[startup+960.036 s]
Raw data (loadavg): 1.10 1.06 0.97 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 93664 70 0 0 25 0 11 0 546846969 864419840 26782 4294967295 134512640 134569956 3221224400 3221214488 1131297891 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 26782 13073 16 0 211024 0
vsize: 844160
[startup+970.036 s]
Raw data (loadavg): 1.08 1.06 0.97 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 94641 70 0 0 25 0 11 0 546846969 864419840 26831 4294967295 134512640 134569956 3221224400 3221214680 1131575399 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 26831 13073 16 0 211024 0
vsize: 844160
[startup+980.036 s]
Raw data (loadavg): 1.07 1.06 0.97 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 95594 70 0 0 25 0 11 0 546846969 864419840 26844 4294967295 134512640 134569956 3221224400 3221214760 1131367366 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 26844 13073 16 0 211024 0
vsize: 844160
[startup+990.037 s]
Raw data (loadavg): 1.06 1.05 0.97 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 96555 70 0 0 25 0 11 0 546846969 864419840 26846 4294967295 134512640 134569956 3221224400 3221214680 1131575376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 26846 13073 16 0 211024 0
vsize: 844160
[startup+1000.04 s]
Raw data (loadavg): 1.05 1.05 0.97 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 97501 70 0 0 25 0 11 0 546846969 864419840 26932 4294967295 134512640 134569956 3221224400 3221214680 1131575410 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 26932 13073 16 0 211024 0
vsize: 844160
[startup+1010.04 s]
Raw data (loadavg): 1.04 1.05 0.97 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 98460 71 0 0 25 0 11 0 546846969 864419840 27136 4294967295 134512640 134569956 3221224400 3221214816 1131413421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 27136 13073 16 0 211024 0
vsize: 844160
[startup+1020.04 s]
Raw data (loadavg): 1.11 1.06 0.98 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 99428 71 0 0 24 0 11 0 546846969 864419840 27254 4294967295 134512640 134569956 3221224400 3221214584 1131532293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 27254 13073 16 0 211024 0
vsize: 844160
[startup+1030.04 s]
Raw data (loadavg): 1.09 1.06 0.98 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 100412 72 0 0 24 0 11 0 546846969 864419840 27296 4294967295 134512640 134569956 3221224400 3221214760 1131373987 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 27296 13073 16 0 211024 0
vsize: 844160
[startup+1040.04 s]
Raw data (loadavg): 1.08 1.06 0.98 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 101373 72 0 0 25 0 11 0 546846969 864419840 27336 4294967295 134512640 134569956 3221224400 3221214776 1131395840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 27336 13073 16 0 211024 0
vsize: 844160
[startup+1050.04 s]
Raw data (loadavg): 1.06 1.06 0.98 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 102319 72 0 0 25 0 11 0 546846969 864419840 27379 4294967295 134512640 134569956 3221224400 3221214804 1080203708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 27379 13073 16 0 211024 0
vsize: 844160
[startup+1060.04 s]
Raw data (loadavg): 1.05 1.05 0.98 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 103266 72 0 0 25 0 11 0 546846969 864419840 27434 4294967295 134512640 134569956 3221224400 3221214488 1131297577 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 27434 13073 16 0 211024 0
vsize: 844160
[startup+1070.04 s]
Raw data (loadavg): 1.04 1.05 0.98 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 104223 73 0 0 25 0 11 0 546846969 864419840 27716 4294967295 134512640 134569956 3221224400 3221214664 1131358713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 27716 13073 16 0 211024 0
vsize: 844160
[startup+1080.04 s]
Raw data (loadavg): 1.04 1.05 0.98 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 105191 73 0 0 25 0 11 0 546846969 864419840 27772 4294967295 134512640 134569956 3221224400 3221214712 1131657876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 27772 13073 16 0 211024 0
vsize: 844160
[startup+1090.04 s]
Raw data (loadavg): 1.03 1.05 0.98 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 106162 74 0 0 25 0 11 0 546846969 864419840 27817 4294967295 134512640 134569956 3221224400 3221214560 1131483396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 27817 13073 16 0 211024 0
vsize: 844160
[startup+1100.04 s]
Raw data (loadavg): 1.03 1.05 0.98 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 107137 74 0 0 25 0 11 0 546846969 864419840 27858 4294967295 134512640 134569956 3221224400 3221214488 1131297472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 27858 13073 16 0 211024 0
vsize: 844160
[startup+1110.04 s]
Raw data (loadavg): 1.02 1.04 0.98 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 108117 74 0 0 25 0 11 0 546846969 864419840 27906 4294967295 134512640 134569956 3221224400 3221214680 1131575399 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 27906 13073 16 0 211024 0
vsize: 844160
[startup+1120.04 s]
Raw data (loadavg): 1.02 1.04 0.98 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 109095 75 0 0 25 0 11 0 546846969 864419840 28057 4294967295 134512640 134569956 3221224400 3221214680 1131575399 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 28057 13073 16 0 211024 0
vsize: 844160
[startup+1130.04 s]
Raw data (loadavg): 1.01 1.04 0.98 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 110090 75 0 0 25 0 11 0 546846969 864419840 28057 4294967295 134512640 134569956 3221224400 3221214488 1131298045 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 28057 13073 16 0 211024 0
vsize: 844160
[startup+1140.04 s]
Raw data (loadavg): 1.01 1.04 0.98 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 111085 76 0 0 25 0 11 0 546846969 864419840 28057 4294967295 134512640 134569956 3221224400 3221214488 1131297771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 28057 13073 16 0 211024 0
vsize: 844160
[startup+1150.04 s]
Raw data (loadavg): 1.01 1.04 0.98 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 112079 76 0 0 25 0 11 0 546846969 864419840 28060 4294967295 134512640 134569956 3221224400 3221214488 1131297581 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 28060 13073 16 0 211024 0
vsize: 844160
[startup+1160.04 s]
Raw data (loadavg): 1.01 1.03 0.98 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 113076 76 0 0 25 0 11 0 546846969 864419840 28098 4294967295 134512640 134569956 3221224400 3221214488 1131297583 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 28098 13073 16 0 211024 0
vsize: 844160
[startup+1170.04 s]
Raw data (loadavg): 1.01 1.03 0.98 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 114073 76 0 0 25 0 11 0 546846969 864419840 28098 4294967295 134512640 134569956 3221224400 3221214488 1131297472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 28098 13073 16 0 211024 0
vsize: 844160
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.03 0.98 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 115068 77 0 0 25 0 11 0 546846969 864419840 28098 4294967295 134512640 134569956 3221224400 3221214488 1131297748 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 28098 13073 16 0 211024 0
vsize: 844160
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.03 0.98 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 116064 77 0 0 25 0 11 0 546846969 864419840 28098 4294967295 134512640 134569956 3221224400 3221214680 1131575399 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 28098 13073 16 0 211024 0
vsize: 844160
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.03 0.98 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 117059 78 0 0 25 0 11 0 546846969 864419840 28099 4294967295 134512640 134569956 3221224400 3221214488 1131297682 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 28099 13073 16 0 211024 0
vsize: 844160
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.03 0.98 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 118053 79 0 0 25 0 11 0 546846969 864419840 28099 4294967295 134512640 134569956 3221224400 3221214680 1131575396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 28099 13073 16 0 211024 0
vsize: 844160
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.03 0.98 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 119048 79 0 0 25 0 11 0 546846969 864419840 28099 4294967295 134512640 134569956 3221224400 3221214592 1131261864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 28099 13073 16 0 211024 0
vsize: 844160
[startup+1230.05 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 8411
Raw data (stat): 8394 (java) R 8393 3260 3259 0 -1 0 18115 3 1 0 120043 80 0 0 25 0 11 0 546846969 864419840 28099 4294967295 134512640 134569956 3221224400 3221214488 1131297771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211040 28099 13073 16 0 211024 0
vsize: 844160
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.13 s]
Raw data (loadavg): 1.00 1.02 0.98 1/54 8413
Raw data (stat): 8394 (java) Z 8393 3260 3259 0 -1 1036 18115 14577 1 0 120046 85 4242 43 25 0 1 0 546846969 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): 1230.13
CPU time (s): 1244.18
CPU user time (s): 1242.89
CPU system time (s): 1.2908
CPU usage (%): 101.142
Max. virtual memory (Kb): 846720
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####