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/miplib3/normalized-mps-v2-20-10-markshare2.opb
MD5SUM	111dddb6adf389a5275ab413feff6076
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	429056
Optimality of the best value was proved	NO
Number of terms in the objective function	210
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	7516192761
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	7516192761
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1201.36
Number of variables	270
Total number of constraints	67
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	60
Number of constraints which are nor clauses,nor cardinality constraints	7
Minimum length of a constraint	1
Maximum length of a constraint	90
Trace number 21290

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-04-21 23:17:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13529 boxname=wulflinc15 idbench=1041 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  111dddb6adf389a5275ab413feff6076  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-markshare2.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-markshare2.opb
IDLAUNCH: 13529
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 2
cpu MHz		: 450.999
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:        223752 kB
Buffers:         30184 kB
Cached:         759000 kB
SwapCached:        432 kB
Active:         163084 kB
Inactive:       628216 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        223500 kB
SwapTotal:     2097136 kB
SwapFree:      2095984 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            13968 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 23:37:58 (client local time) WITH STATUS 143 IN 1226.22 SECONDS
stats: 13529 7 1226.22 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-markshare2.opb
c reading problem 
c [nbvar=270]
c [nbconstr=67]
c time 0.961
c #vars     270
c #clauses  15
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=10764288
c Current CPU time (ms) : 3.414
c starts	: 1
c conflicts	: 3
c decisions	: 208
c propagations	: 595
c inspects	: 1224
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 3
c root simplifications	: 4
c 
c CURRENT OPTIMUM=10434560
c Current CPU time (ms) : 7.073
c starts	: 2
c conflicts	: 15
c decisions	: 261
c propagations	: 1040
c inspects	: 2593
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 15
c root simplifications	: 7
c 
c CURRENT OPTIMUM=1363968
c Current CPU time (ms) : 9.21
c starts	: 3
c conflicts	: 18
c decisions	: 324
c propagations	: 1541
c inspects	: 6194
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 18
c root simplifications	: 11
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.95 0.90 2/54 19789
Raw data (stat): 19789 (runsolver) R 19788 29151 29150 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 490750667 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.0004 s]
Raw data (loadavg): 1.10 1.00 0.92 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18068 3 1 0 644 40 0 0 25 0 11 0 490750667 859631616 20123 4294967295 134512640 134569956 3221224400 3221214792 1131229184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209871 20123 13073 16 0 209855 0
vsize: 839484
[startup+20.0018 s]
Raw data (loadavg): 1.09 1.00 0.92 3/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18073 3 1 0 1553 40 0 0 25 0 11 0 490750667 869654528 22622 4294967295 134512640 134569956 3221224400 3221214784 1131183663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212318 22622 13073 16 0 212302 0
vsize: 849272
[startup+30.0031 s]
Raw data (loadavg): 1.07 1.00 0.92 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18073 3 1 0 2525 40 0 0 25 0 11 0 490750667 866111488 21928 4294967295 134512640 134569956 3221224400 3221214696 1131194273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 21928 13073 16 0 211437 0
vsize: 845812
[startup+40.0029 s]
Raw data (loadavg): 1.06 1.00 0.92 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 3490 41 0 0 25 0 11 0 490750667 866111488 22067 4294967295 134512640 134569956 3221224400 3221214744 1131187345 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 22067 13073 16 0 211437 0
vsize: 845812
[startup+50.0033 s]
Raw data (loadavg): 1.05 1.00 0.92 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 4466 41 0 0 25 0 11 0 490750667 866111488 22260 4294967295 134512640 134569956 3221224400 3221214792 1131225167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 22260 13073 16 0 211437 0
vsize: 845812
[startup+60.0035 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 5446 41 0 0 25 0 11 0 490750667 866111488 22333 4294967295 134512640 134569956 3221224400 3221214696 1131194273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 22333 13073 16 0 211437 0
vsize: 845812
[startup+70.0054 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 6427 42 0 0 25 0 11 0 490750667 866111488 22405 4294967295 134512640 134569956 3221224400 3221214696 1131194393 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 22405 13073 16 0 211437 0
vsize: 845812
[startup+80.0057 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 7410 42 0 0 25 0 11 0 490750667 866111488 22469 4294967295 134512640 134569956 3221224400 3221214696 1131194273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 22469 13073 16 0 211437 0
vsize: 845812
[startup+90.006 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 8393 42 0 0 25 0 11 0 490750667 866111488 22529 4294967295 134512640 134569956 3221224400 3221214696 1131195031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 22529 13073 16 0 211437 0
vsize: 845812
[startup+100.007 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 9374 42 0 0 25 0 11 0 490750667 866111488 22604 4294967295 134512640 134569956 3221224400 3221214696 1131194503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 22604 13073 16 0 211437 0
vsize: 845812
[startup+110.007 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 10358 43 0 0 25 0 11 0 490750667 866111488 22674 4294967295 134512640 134569956 3221224400 3221214744 1131187165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 22674 13073 16 0 211437 0
vsize: 845812
[startup+120.008 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 11342 43 0 0 25 0 11 0 490750667 866111488 22743 4294967295 134512640 134569956 3221224400 3221214788 1131194119 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 22743 13073 16 0 211437 0
vsize: 845812
[startup+130.008 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 12328 43 0 0 25 0 11 0 490750667 866111488 22827 4294967295 134512640 134569956 3221224400 3221214696 1131194273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 22827 13073 16 0 211437 0
vsize: 845812
[startup+140.008 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 13313 43 0 0 25 0 11 0 490750667 866111488 22898 4294967295 134512640 134569956 3221224400 3221214792 1131227256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 22898 13073 16 0 211437 0
vsize: 845812
[startup+150.008 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 14298 43 0 0 25 0 11 0 490750667 866111488 22949 4294967295 134512640 134569956 3221224400 3221214784 1131183630 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 22949 13073 16 0 211437 0
vsize: 845812
[startup+160.009 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 15285 43 0 0 25 0 11 0 490750667 866111488 23044 4294967295 134512640 134569956 3221224400 3221214696 1131194273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 23044 13073 16 0 211437 0
vsize: 845812
[startup+170.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 16271 43 0 0 25 0 11 0 490750667 866111488 23099 4294967295 134512640 134569956 3221224400 3221214696 1131194531 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 23099 13073 16 0 211437 0
vsize: 845812
[startup+180.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 17258 44 0 0 25 0 11 0 490750667 866111488 23151 4294967295 134512640 134569956 3221224400 3221214696 1131194320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 23151 13073 16 0 211437 0
vsize: 845812
[startup+190.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 18244 44 0 0 25 0 11 0 490750667 866111488 23220 4294967295 134512640 134569956 3221224400 3221214792 1131225379 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 23220 13073 16 0 211437 0
vsize: 845812
[startup+200.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 19231 44 0 0 25 0 11 0 490750667 866111488 23285 4294967295 134512640 134569956 3221224400 3221214696 1131195086 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 23285 13073 16 0 211437 0
vsize: 845812
[startup+210.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 20217 44 0 0 25 0 11 0 490750667 866111488 23322 4294967295 134512640 134569956 3221224400 3221214792 1131229904 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 23322 13073 16 0 211437 0
vsize: 845812
[startup+220.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 21200 44 0 0 24 0 11 0 490750667 866111488 23390 4294967295 134512640 134569956 3221224400 3221214256 1079668454 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 23390 13073 16 0 211437 0
vsize: 845812
[startup+230.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 22185 44 0 0 25 0 11 0 490750667 866111488 23440 4294967295 134512640 134569956 3221224400 3221214696 1131195086 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 23440 13073 16 0 211437 0
vsize: 845812
[startup+240.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 23170 44 0 0 25 0 11 0 490750667 866111488 23522 4294967295 134512640 134569956 3221224400 3221214696 1131194175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 23522 13073 16 0 211437 0
vsize: 845812
[startup+250.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 24155 45 0 0 25 0 11 0 490750667 866111488 23592 4294967295 134512640 134569956 3221224400 3221214696 1131190422 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 23592 13073 16 0 211437 0
vsize: 845812
[startup+260.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 25140 45 0 0 25 0 11 0 490750667 866111488 23644 4294967295 134512640 134569956 3221224400 3221214792 1131229184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 23644 13073 16 0 211437 0
vsize: 845812
[startup+270.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 26125 45 0 0 25 0 11 0 490750667 866111488 23713 4294967295 134512640 134569956 3221224400 3221214792 1131229696 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 23713 13073 16 0 211437 0
vsize: 845812
[startup+280.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 27110 46 0 0 25 0 11 0 490750667 866111488 23763 4294967295 134512640 134569956 3221224400 3221214792 1131225286 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 23763 13073 16 0 211437 0
vsize: 845812
[startup+290.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 28096 46 0 0 25 0 11 0 490750667 866111488 23830 4294967295 134512640 134569956 3221224400 3221214792 1131225379 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 23830 13073 16 0 211437 0
vsize: 845812
[startup+300.013 s]
Raw data (loadavg): 1.08 1.02 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 29082 46 0 0 25 0 11 0 490750667 866111488 23875 4294967295 134512640 134569956 3221224400 3221214696 1131191092 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 23875 13073 16 0 211437 0
vsize: 845812
[startup+310.013 s]
Raw data (loadavg): 1.07 1.02 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 30066 47 0 0 25 0 11 0 490750667 866111488 23946 4294967295 134512640 134569956 3221224400 3221214696 1131195041 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 23946 13073 16 0 211437 0
vsize: 845812
[startup+320.012 s]
Raw data (loadavg): 1.06 1.01 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 31050 47 0 0 24 0 11 0 490750667 866111488 24027 4294967295 134512640 134569956 3221224400 3221214696 1131194934 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 24027 13073 16 0 211437 0
vsize: 845812
[startup+330.013 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 32035 47 0 0 24 0 11 0 490750667 866111488 24097 4294967295 134512640 134569956 3221224400 3221214604 1131501952 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 24097 13073 16 0 211437 0
vsize: 845812
[startup+340.014 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 33020 48 0 0 25 0 11 0 490750667 866111488 24173 4294967295 134512640 134569956 3221224400 3221214696 1131194199 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 24173 13073 16 0 211437 0
vsize: 845812
[startup+350.014 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 34006 48 0 0 25 0 11 0 490750667 866111488 24247 4294967295 134512640 134569956 3221224400 3221214696 1131190517 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 24247 13073 16 0 211437 0
vsize: 845812
[startup+360.015 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 34993 48 0 0 25 0 11 0 490750667 866111488 24312 4294967295 134512640 134569956 3221224400 3221214696 1131194427 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 24312 13073 16 0 211437 0
vsize: 845812
[startup+370.015 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 35980 48 0 0 25 0 11 0 490750667 866111488 24363 4294967295 134512640 134569956 3221224400 3221214792 1131226688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 24363 13073 16 0 211437 0
vsize: 845812
[startup+380.015 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 36965 49 0 0 25 0 11 0 490750667 866111488 24415 4294967295 134512640 134569956 3221224400 3221214744 1131187157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 24415 13073 16 0 211437 0
vsize: 845812
[startup+390.015 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 37951 49 0 0 25 0 11 0 490750667 866111488 24462 4294967295 134512640 134569956 3221224400 3221214696 1131195171 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 24462 13073 16 0 211437 0
vsize: 845812
[startup+400.017 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 38934 49 0 0 24 0 11 0 490750667 866111488 24533 4294967295 134512640 134569956 3221224400 3221214792 1131227504 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 24533 13073 16 0 211437 0
vsize: 845812
[startup+410.017 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 39918 50 0 0 24 0 11 0 490750667 866111488 24598 4294967295 134512640 134569956 3221224400 3221214792 1131228195 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 24598 13073 16 0 211437 0
vsize: 845812
[startup+420.017 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 40902 50 0 0 25 0 11 0 490750667 866111488 24663 4294967295 134512640 134569956 3221224400 3221214792 1131225444 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 24663 13073 16 0 211437 0
vsize: 845812
[startup+430.018 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 41887 51 0 0 25 0 11 0 490750667 866111488 24752 4294967295 134512640 134569956 3221224400 3221214744 1131184707 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 24752 13073 16 0 211437 0
vsize: 845812
[startup+440.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 42871 51 0 0 25 0 11 0 490750667 866111488 24830 4294967295 134512640 134569956 3221224400 3221214792 1131227256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 24830 13073 16 0 211437 0
vsize: 845812
[startup+450.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 43857 51 0 0 25 0 11 0 490750667 866111488 24892 4294967295 134512640 134569956 3221224400 3221214792 1131226741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 24892 13073 16 0 211437 0
vsize: 845812
[startup+460.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 44843 52 0 0 25 0 11 0 490750667 866111488 24982 4294967295 134512640 134569956 3221224400 3221214696 1131194273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 24982 13073 16 0 211437 0
vsize: 845812
[startup+470.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 45830 52 0 0 25 0 11 0 490750667 866111488 25040 4294967295 134512640 134569956 3221224400 3221214792 1131226337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 25040 13073 16 0 211437 0
vsize: 845812
[startup+480.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 46815 52 0 0 25 0 11 0 490750667 866111488 25106 4294967295 134512640 134569956 3221224400 3221214696 1131194273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 25106 13073 16 0 211437 0
vsize: 845812
[startup+490.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 47799 53 0 0 24 0 11 0 490750667 866111488 25159 4294967295 134512640 134569956 3221224400 3221214792 1131229696 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 25159 13073 16 0 211437 0
vsize: 845812
[startup+500.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 48784 53 0 0 25 0 11 0 490750667 866111488 25219 4294967295 134512640 134569956 3221224400 3221214792 1131229696 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 25219 13073 16 0 211437 0
vsize: 845812
[startup+510.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 49771 53 0 0 25 0 11 0 490750667 866111488 25283 4294967295 134512640 134569956 3221224400 3221214696 1131196078 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 25283 13073 16 0 211437 0
vsize: 845812
[startup+520.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 50757 53 0 0 25 0 11 0 490750667 866111488 25344 4294967295 134512640 134569956 3221224400 3221214696 1131190391 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 25344 13073 16 0 211437 0
vsize: 845812
[startup+530.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 51742 54 0 0 25 0 11 0 490750667 866111488 25409 4294967295 134512640 134569956 3221224400 3221214792 1131227074 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 25409 13073 16 0 211437 0
vsize: 845812
[startup+540.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 52728 55 0 0 25 0 11 0 490750667 866111488 25468 4294967295 134512640 134569956 3221224400 3221214792 1131229154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 25468 13073 16 0 211437 0
vsize: 845812
[startup+550.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 53713 55 0 0 25 0 11 0 490750667 866111488 25532 4294967295 134512640 134569956 3221224400 3221214696 1131194273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 25532 13073 16 0 211437 0
vsize: 845812
[startup+560.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 54699 55 0 0 25 0 11 0 490750667 866111488 25593 4294967295 134512640 134569956 3221224400 3221214696 1131196174 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 25593 13073 16 0 211437 0
vsize: 845812
[startup+570.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 55686 55 0 0 25 0 11 0 490750667 866111488 25659 4294967295 134512640 134569956 3221224400 3221214792 1131227379 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 25659 13073 16 0 211437 0
vsize: 845812
[startup+580.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 56672 56 0 0 25 0 11 0 490750667 866111488 25732 4294967295 134512640 134569956 3221224400 3221214696 1131194233 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 25732 13073 16 0 211437 0
vsize: 845812
[startup+590.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 57659 56 0 0 25 0 11 0 490750667 866111488 25777 4294967295 134512640 134569956 3221224400 3221214744 1131187165 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 25777 13073 16 0 211437 0
vsize: 845812
[startup+600.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 58647 56 0 0 25 0 11 0 490750667 866111488 25838 4294967295 134512640 134569956 3221224400 3221214696 1131194521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 25838 13073 16 0 211437 0
vsize: 845812
[startup+610.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 59633 57 0 0 25 0 11 0 490750667 866111488 25887 4294967295 134512640 134569956 3221224400 3221214696 1131194968 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 25887 13073 16 0 211437 0
vsize: 845812
[startup+620.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 60620 57 0 0 25 0 11 0 490750667 866111488 25949 4294967295 134512640 134569956 3221224400 3221214792 1131225411 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 25949 13073 16 0 211437 0
vsize: 845812
[startup+630.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 61606 58 0 0 25 0 11 0 490750667 866111488 25998 4294967295 134512640 134569956 3221224400 3221214792 1131229890 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 25998 13073 16 0 211437 0
vsize: 845812
[startup+640.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 62593 58 0 0 25 0 11 0 490750667 866111488 26057 4294967295 134512640 134569956 3221224400 3221214792 1131229681 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 26057 13073 16 0 211437 0
vsize: 845812
[startup+650.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 63579 58 0 0 25 0 11 0 490750667 866111488 26132 4294967295 134512640 134569956 3221224400 3221214696 1131194531 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 26132 13073 16 0 211437 0
vsize: 845812
[startup+660.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 64565 59 0 0 25 0 11 0 490750667 866111488 26187 4294967295 134512640 134569956 3221224400 3221214792 1131226703 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 26187 13073 16 0 211437 0
vsize: 845812
[startup+670.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 65552 59 0 0 25 0 11 0 490750667 866111488 26231 4294967295 134512640 134569956 3221224400 3221214696 1131194273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 26231 13073 16 0 211437 0
vsize: 845812
[startup+680.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 66539 60 0 0 25 0 11 0 490750667 866111488 26287 4294967295 134512640 134569956 3221224400 3221214744 1131187140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 26287 13073 16 0 211437 0
vsize: 845812
[startup+690.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 67527 60 0 0 25 0 11 0 490750667 866111488 26340 4294967295 134512640 134569956 3221224400 3221214792 1131225444 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 26340 13073 16 0 211437 0
vsize: 845812
[startup+700.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 68514 60 0 0 25 0 11 0 490750667 866111488 26386 4294967295 134512640 134569956 3221224400 3221214696 1131195086 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211453 26386 13073 16 0 211437 0
vsize: 845812
[startup+710.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 69501 61 0 0 25 0 11 0 490750667 866111488 26430 4294967295 134512640 134569956 3221224400 3221214792 1131225167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 26430 13073 16 0 211437 0
vsize: 845812
[startup+720.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 70489 61 0 0 25 0 11 0 490750667 866111488 26482 4294967295 134512640 134569956 3221224400 3221214792 1131227570 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 26482 13073 16 0 211437 0
vsize: 845812
[startup+730.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 71476 61 0 0 25 0 11 0 490750667 866111488 26536 4294967295 134512640 134569956 3221224400 3221214696 1131194371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 26536 13073 16 0 211437 0
vsize: 845812
[startup+740.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 72463 61 0 0 25 0 11 0 490750667 866111488 26585 4294967295 134512640 134569956 3221224400 3221214792 1131229184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 26585 13073 16 0 211437 0
vsize: 845812
[startup+750.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 73450 61 0 0 25 0 11 0 490750667 866111488 26639 4294967295 134512640 134569956 3221224400 3221214792 1131227242 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 26639 13073 16 0 211437 0
vsize: 845812
[startup+760.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 74437 61 0 0 25 0 11 0 490750667 866111488 26693 4294967295 134512640 134569956 3221224400 3221214784 1131183666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 26693 13073 16 0 211437 0
vsize: 845812
[startup+770.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 75424 61 0 0 25 0 11 0 490750667 866111488 26748 4294967295 134512640 134569956 3221224400 3221214792 1131225444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 26748 13073 16 0 211437 0
vsize: 845812
[startup+780.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 76411 61 0 0 25 0 11 0 490750667 866111488 26802 4294967295 134512640 134569956 3221224400 3221214696 1131196141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 26802 13073 16 0 211437 0
vsize: 845812
[startup+790.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 77397 61 0 0 25 0 11 0 490750667 866111488 26843 4294967295 134512640 134569956 3221224400 3221214792 1131229696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 26843 13073 16 0 211437 0
vsize: 845812
[startup+800.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 78383 61 0 0 25 0 11 0 490750667 866111488 26898 4294967295 134512640 134569956 3221224400 3221214696 1131194285 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 26898 13073 16 0 211437 0
vsize: 845812
[startup+810.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 79371 61 0 0 25 0 11 0 490750667 866111488 26956 4294967295 134512640 134569956 3221224400 3221214792 1131229696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 26956 13073 16 0 211437 0
vsize: 845812
[startup+820.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 80359 61 0 0 25 0 11 0 490750667 866111488 27001 4294967295 134512640 134569956 3221224400 3221214792 1131358919 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 27001 13073 16 0 211437 0
vsize: 845812
[startup+830.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 81346 61 0 0 25 0 11 0 490750667 866111488 27054 4294967295 134512640 134569956 3221224400 3221214788 1131183596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 27054 13073 16 0 211437 0
vsize: 845812
[startup+840.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 82331 61 0 0 24 0 11 0 490750667 866111488 27101 4294967295 134512640 134569956 3221224400 3221214792 1131228167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 27101 13073 16 0 211437 0
vsize: 845812
[startup+850.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 83317 61 0 0 24 0 11 0 490750667 866111488 27146 4294967295 134512640 134569956 3221224400 3221214792 1131225379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 27146 13073 16 0 211437 0
vsize: 845812
[startup+860.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 84303 61 0 0 24 0 11 0 490750667 866111488 27208 4294967295 134512640 134569956 3221224400 3221214784 1131183663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 27208 13073 16 0 211437 0
vsize: 845812
[startup+870.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 85290 62 0 0 25 0 11 0 490750667 866111488 27255 4294967295 134512640 134569956 3221224400 3221214792 1131226414 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 27255 13073 16 0 211437 0
vsize: 845812
[startup+880.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 86275 62 0 0 24 0 11 0 490750667 866111488 27317 4294967295 134512640 134569956 3221224400 3221214792 1131225444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 27317 13073 16 0 211437 0
vsize: 845812
[startup+890.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 87262 62 0 0 24 0 11 0 490750667 866111488 27388 4294967295 134512640 134569956 3221224400 3221214696 1131194273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 27388 13073 16 0 211437 0
vsize: 845812
[startup+900.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 88250 62 0 0 25 0 11 0 490750667 866111488 27419 4294967295 134512640 134569956 3221224400 3221214792 1131225379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 27419 13073 16 0 211437 0
vsize: 845812
[startup+910.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 89238 62 0 0 25 0 11 0 490750667 866111488 27473 4294967295 134512640 134569956 3221224400 3221214792 1131225379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 27473 13073 16 0 211437 0
vsize: 845812
[startup+920.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 90225 62 0 0 24 0 11 0 490750667 866111488 27520 4294967295 134512640 134569956 3221224400 3221214792 1131230618 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 27520 13073 16 0 211437 0
vsize: 845812
[startup+930.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 91213 62 0 0 24 0 11 0 490750667 866111488 27563 4294967295 134512640 134569956 3221224400 3221214696 1131194902 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 27563 13073 16 0 211437 0
vsize: 845812
[startup+940.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 92200 62 0 0 25 0 11 0 490750667 866111488 27599 4294967295 134512640 134569956 3221224400 3221214696 1131194231 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 27599 13073 16 0 211437 0
vsize: 845812
[startup+950.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 93188 62 0 0 25 0 11 0 490750667 866111488 27650 4294967295 134512640 134569956 3221224400 3221214792 1131225444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 27650 13073 16 0 211437 0
vsize: 845812
[startup+960.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 94175 62 0 0 25 0 11 0 490750667 866111488 27697 4294967295 134512640 134569956 3221224400 3221214792 1131229347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 27697 13073 16 0 211437 0
vsize: 845812
[startup+970.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 95161 62 0 0 25 0 11 0 490750667 866111488 27764 4294967295 134512640 134569956 3221224400 3221214832 1131289300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 27764 13073 16 0 211437 0
vsize: 845812
[startup+980.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 96147 62 0 0 25 0 11 0 490750667 866111488 27805 4294967295 134512640 134569956 3221224400 3221214792 1131225379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 27805 13073 16 0 211437 0
vsize: 845812
[startup+990.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 97134 62 0 0 25 0 11 0 490750667 866111488 27869 4294967295 134512640 134569956 3221224400 3221214792 1131226760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 27869 13073 16 0 211437 0
vsize: 845812
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 98121 63 0 0 25 0 11 0 490750667 866111488 27955 4294967295 134512640 134569956 3221224400 3221214788 1131183682 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 27955 13073 16 0 211437 0
vsize: 845812
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 99108 63 0 0 25 0 11 0 490750667 866111488 27990 4294967295 134512640 134569956 3221224400 3221214788 1131187104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 27990 13073 16 0 211437 0
vsize: 845812
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 100095 63 0 0 25 0 11 0 490750667 866111488 28038 4294967295 134512640 134569956 3221224400 3221214696 1131194954 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 28038 13073 16 0 211437 0
vsize: 845812
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 101082 63 0 0 25 0 11 0 490750667 866111488 28093 4294967295 134512640 134569956 3221224400 3221214792 1131227496 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 28093 13073 16 0 211437 0
vsize: 845812
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 102068 63 0 0 25 0 11 0 490750667 866111488 28141 4294967295 134512640 134569956 3221224400 3221214696 1131194402 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 28141 13073 16 0 211437 0
vsize: 845812
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 103055 63 0 0 25 0 11 0 490750667 866111488 28199 4294967295 134512640 134569956 3221224400 3221214792 1131225372 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 28199 13073 16 0 211437 0
vsize: 845812
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 104042 63 0 0 25 0 11 0 490750667 866111488 28261 4294967295 134512640 134569956 3221224400 3221214744 1131187152 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 28261 13073 16 0 211437 0
vsize: 845812
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 105030 63 0 0 25 0 11 0 490750667 866111488 28301 4294967295 134512640 134569956 3221224400 3221214696 1131196158 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 28301 13073 16 0 211437 0
vsize: 845812
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 106017 63 0 0 25 0 11 0 490750667 866111488 28363 4294967295 134512640 134569956 3221224400 3221214696 1131195930 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 28363 13073 16 0 211437 0
vsize: 845812
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 107004 63 0 0 25 0 11 0 490750667 866111488 28402 4294967295 134512640 134569956 3221224400 3221214792 1131225379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 28402 13073 16 0 211437 0
vsize: 845812
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 107991 63 0 0 25 0 11 0 490750667 866111488 28462 4294967295 134512640 134569956 3221224400 3221214696 1131194418 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 28462 13073 16 0 211437 0
vsize: 845812
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 108978 63 0 0 25 0 11 0 490750667 866111488 28497 4294967295 134512640 134569956 3221224400 3221214696 1131195171 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 28497 13073 16 0 211437 0
vsize: 845812
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 109965 63 0 0 25 0 11 0 490750667 866111488 28556 4294967295 134512640 134569956 3221224400 3221214608 1131616636 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 28556 13073 16 0 211437 0
vsize: 845812
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 110952 63 0 0 25 0 11 0 490750667 866111488 28608 4294967295 134512640 134569956 3221224400 3221214792 1131226760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 28608 13073 16 0 211437 0
vsize: 845812
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 111938 63 0 0 25 0 11 0 490750667 866111488 28679 4294967295 134512640 134569956 3221224400 3221214792 1131229519 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 28679 13073 16 0 211437 0
vsize: 845812
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 112923 63 0 0 25 0 11 0 490750667 866111488 28702 4294967295 134512640 134569956 3221224400 3221214752 1131286030 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 28702 13073 16 0 211437 0
vsize: 845812
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 113909 64 0 0 25 0 11 0 490750667 866111488 28822 4294967295 134512640 134569956 3221224400 3221214788 1131187104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 28822 13073 16 0 211437 0
vsize: 845812
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 114895 64 0 0 25 0 11 0 490750667 866111488 28870 4294967295 134512640 134569956 3221224400 3221214792 1131225379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 28870 13073 16 0 211437 0
vsize: 845812
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 115879 64 0 0 25 0 11 0 490750667 866111488 28929 4294967295 134512640 134569956 3221224400 3221214792 1131227256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 28929 13073 16 0 211437 0
vsize: 845812
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 116863 64 0 0 25 0 11 0 490750667 866111488 29007 4294967295 134512640 134569956 3221224400 3221214696 1131194465 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 29007 13073 16 0 211437 0
vsize: 845812
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 117847 64 0 0 25 0 11 0 490750667 866111488 29059 4294967295 134512640 134569956 3221224400 3221214696 1131194273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 29059 13073 16 0 211437 0
vsize: 845812
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 118831 64 0 0 25 0 11 0 490750667 866111488 29197 4294967295 134512640 134569956 3221224400 3221214696 1131194503 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 29197 13073 16 0 211437 0
vsize: 845812
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 119816 64 0 0 25 0 11 0 490750667 866111488 29287 4294967295 134512640 134569956 3221224400 3221214696 1131195930 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 29287 13073 16 0 211437 0
vsize: 845812
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 19802
Raw data (stat): 19789 (java) R 19788 29151 29150 0 -1 0 18074 3 1 0 120802 64 0 0 25 0 11 0 490750667 866111488 29341 4294967295 134512640 134569956 3221224400 3221214744 1131187117 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211453 29341 13073 16 0 211437 0
vsize: 845812
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.16 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 19804
Raw data (stat): 19789 (java) Z 19788 29151 29150 0 -1 1036 18074 8058 1 0 120804 64 1721 30 25 0 1 0 490750667 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.16
CPU time (s): 1226.22
CPU user time (s): 1225.26
CPU system time (s): 0.955854
CPU usage (%): 99.6801
Max. virtual memory (Kb): 849272
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####