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-fixnet3.opb
MD5SUM	d5b458ca51c84d53d4ddd22dc72bb5f7
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	16410049
Optimality of the best value was proved	NO
Number of terms in the objective function	9830
Biggest coefficient in the objective function	52428800
Number of bits for the biggest coefficient in the objective function	26
Sum of the numbers in the objective function	23652414692
Number of bits of the sum of numbers in the objective function	35
Biggest number in a constraint	52428800
Number of bits of the biggest number in a constraint	26
Biggest sum of numbers in a constraint	23652414692
Number of bits of the biggest sum of numbers	35
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.25
Number of variables	9890
Total number of constraints	978
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	378
Number of constraints which are nor clauses,nor cardinality constraints	600
Minimum length of a constraint	1
Maximum length of a constraint	1072
Trace number 15712

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        576328 kB
Buffers:         34584 kB
Cached:         400684 kB
SwapCached:          0 kB
Active:         173876 kB
Inactive:       264304 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        576076 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6948 kB
Slab:            14476 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 05:58:45 (client local time) WITH STATUS 143 IN 1263.51 SECONDS
stats: 16818 7 1263.51 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-fixnet3.opb
c reading problem 
c [nbvar=9890]
c [nbconstr=978]
c time 33.618
c #vars     9890
c #clauses  701
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=58919380
c Current CPU time (ms) : 84.14
c starts	: 1
c conflicts	: 28
c decisions	: 8354
c propagations	: 18728
c inspects	: 28247
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 28
c root simplifications	: 4
#### 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.81 0.94 0.93 2/54 23234
Raw data (stat): 23234 (runsolver) R 23233 26667 26666 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 470831102 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.0003 s]
Raw data (loadavg): 0.84 0.94 0.93 2/63 23243
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 17975 0 1 0 883 41 0 0 25 0 10 0 470831102 853688320 19219 4294967295 134512640 134569956 3221224400 3221214472 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208420 19219 13073 16 0 208404 0
vsize: 833680
[startup+20.0015 s]
Raw data (loadavg): 0.86 0.94 0.93 2/63 23243
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 17976 0 1 0 1767 41 0 0 24 0 10 0 470831102 853954560 19820 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208485 19820 13073 16 0 208469 0
vsize: 833940
[startup+30.0018 s]
Raw data (loadavg): 0.88 0.94 0.93 4/63 23243
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18007 0 1 0 2638 42 0 0 25 0 10 0 470831102 861642752 22047 4294967295 134512640 134569956 3221224400 3221214416 1131250138 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210362 22047 13073 16 0 210346 0
vsize: 841448
[startup+40.0015 s]
Raw data (loadavg): 1.13 0.99 0.94 3/64 23244
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18111 0 1 0 3417 43 0 0 25 0 11 0 470831102 875270144 26824 4294967295 134512640 134569956 3221224400 3221214752 1130903587 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213689 26824 13073 16 0 213673 0
vsize: 854756
[startup+50.0029 s]
Raw data (loadavg): 1.26 1.03 0.95 3/64 23244
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18114 0 1 0 4201 43 0 0 25 0 11 0 470831102 872075264 26243 4294967295 134512640 134569956 3221224400 3221214680 1131423012 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 26243 13073 16 0 212893 0
vsize: 851636
[startup+60.0031 s]
Raw data (loadavg): 1.37 1.06 0.96 2/64 23244
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18119 0 1 0 5102 43 0 0 25 0 11 0 470831102 872075264 26317 4294967295 134512640 134569956 3221224400 3221214800 1131303830 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 26317 13073 16 0 212893 0
vsize: 851636
[startup+70.0109 s]
Raw data (loadavg): 1.39 1.07 0.97 3/64 23244
Raw data (stat): 23234 (java) S 23233 26667 26666 0 -1 0 18119 0 1 0 6027 43 0 0 25 0 11 0 470831102 877740032 27657 4294967295 134512640 134569956 3221224400 3221213440 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214292 27657 13073 16 0 214276 0
vsize: 857168
[startup+80.0321 s]
Raw data (loadavg): 1.33 1.07 0.97 2/64 23244
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18119 0 1 0 6968 43 0 0 25 0 11 0 470831102 872075264 26947 4294967295 134512640 134569956 3221224400 3221214800 1131303105 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 26947 13073 16 0 212893 0
vsize: 851636
[startup+90.0314 s]
Raw data (loadavg): 1.28 1.07 0.97 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 7929 44 0 0 25 0 11 0 470831102 872075264 27014 4294967295 134512640 134569956 3221224400 3221214792 1131304187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 27014 13073 16 0 212893 0
vsize: 851636
[startup+100.031 s]
Raw data (loadavg): 1.24 1.06 0.97 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 8884 44 0 0 25 0 11 0 470831102 872075264 27047 4294967295 134512640 134569956 3221224400 3221214688 1131294640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 27047 13073 16 0 212893 0
vsize: 851636
[startup+110.032 s]
Raw data (loadavg): 1.20 1.06 0.97 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 9837 44 0 0 25 0 11 0 470831102 872075264 27101 4294967295 134512640 134569956 3221224400 3221214792 1131303657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 27101 13073 16 0 212893 0
vsize: 851636
[startup+120.033 s]
Raw data (loadavg): 1.17 1.06 0.97 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 10805 44 0 0 25 0 11 0 470831102 872075264 27130 4294967295 134512640 134569956 3221224400 3221214792 1131303646 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 27130 13073 16 0 212893 0
vsize: 851636
[startup+130.032 s]
Raw data (loadavg): 1.14 1.06 0.97 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 11782 45 0 0 25 0 11 0 470831102 872075264 27367 4294967295 134512640 134569956 3221224400 3221214840 1131248100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 27367 13073 16 0 212893 0
vsize: 851636
[startup+140.033 s]
Raw data (loadavg): 1.12 1.05 0.97 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 12762 45 0 0 25 0 11 0 470831102 872075264 27418 4294967295 134512640 134569956 3221224400 3221214792 1131303330 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 27418 13073 16 0 212893 0
vsize: 851636
[startup+150.033 s]
Raw data (loadavg): 1.10 1.05 0.97 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 13747 45 0 0 25 0 11 0 470831102 872075264 27500 4294967295 134512640 134569956 3221224400 3221214840 1131248064 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 27500 13073 16 0 212893 0
vsize: 851636
[startup+160.033 s]
Raw data (loadavg): 1.08 1.05 0.97 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 14733 45 0 0 25 0 11 0 470831102 872075264 27523 4294967295 134512640 134569956 3221224400 3221214888 1131360763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 27523 13073 16 0 212893 0
vsize: 851636
[startup+170.034 s]
Raw data (loadavg): 1.07 1.05 0.97 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 15716 46 0 0 25 0 11 0 470831102 872075264 27543 4294967295 134512640 134569956 3221224400 3221214792 1131303324 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 27543 13073 16 0 212893 0
vsize: 851636
[startup+180.034 s]
Raw data (loadavg): 1.06 1.05 0.97 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 16696 46 0 0 25 0 11 0 470831102 872075264 27575 4294967295 134512640 134569956 3221224400 3221214792 1131304581 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 27575 13073 16 0 212893 0
vsize: 851636
[startup+190.035 s]
Raw data (loadavg): 1.05 1.04 0.97 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 17675 47 0 0 25 0 11 0 470831102 872075264 27606 4294967295 134512640 134569956 3221224400 3221214664 1131533633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 27606 13073 16 0 212893 0
vsize: 851636
[startup+200.035 s]
Raw data (loadavg): 1.04 1.04 0.97 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 18649 47 0 0 25 0 11 0 470831102 872075264 27649 4294967295 134512640 134569956 3221224400 3221214596 1130917143 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 27649 13073 16 0 212893 0
vsize: 851636
[startup+210.036 s]
Raw data (loadavg): 1.04 1.04 0.97 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 19628 47 0 0 25 0 11 0 470831102 872075264 27726 4294967295 134512640 134569956 3221224400 3221214792 1131303657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 27726 13073 16 0 212893 0
vsize: 851636
[startup+220.037 s]
Raw data (loadavg): 1.03 1.04 0.97 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 20602 48 0 0 25 0 11 0 470831102 872075264 27763 4294967295 134512640 134569956 3221224400 3221214840 1131248081 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 27763 13073 16 0 212893 0
vsize: 851636
[startup+230.038 s]
Raw data (loadavg): 1.02 1.04 0.97 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 21574 48 0 0 25 0 11 0 470831102 872075264 27816 4294967295 134512640 134569956 3221224400 3221214792 1131303612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 27816 13073 16 0 212893 0
vsize: 851636
[startup+240.037 s]
Raw data (loadavg): 1.02 1.04 0.97 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 22546 48 0 0 25 0 11 0 470831102 872075264 27864 4294967295 134512640 134569956 3221224400 3221214792 1131303737 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 27864 13073 16 0 212893 0
vsize: 851636
[startup+250.038 s]
Raw data (loadavg): 1.02 1.03 0.97 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 23521 49 0 0 25 0 11 0 470831102 872075264 27962 4294967295 134512640 134569956 3221224400 3221214888 1131359926 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 27962 13073 16 0 212893 0
vsize: 851636
[startup+260.039 s]
Raw data (loadavg): 1.01 1.03 0.97 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 24496 49 0 0 25 0 11 0 470831102 872075264 28012 4294967295 134512640 134569956 3221224400 3221214792 1131303568 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 28012 13073 16 0 212893 0
vsize: 851636
[startup+270.039 s]
Raw data (loadavg): 1.01 1.03 0.97 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 25469 49 0 0 24 0 11 0 470831102 872075264 28045 4294967295 134512640 134569956 3221224400 3221214840 1131248158 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 28045 13073 16 0 212893 0
vsize: 851636
[startup+280.039 s]
Raw data (loadavg): 1.01 1.03 0.97 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 26445 49 0 0 25 0 11 0 470831102 872075264 28114 4294967295 134512640 134569956 3221224400 3221214792 1131304613 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 28114 13073 16 0 212893 0
vsize: 851636
[startup+290.04 s]
Raw data (loadavg): 1.01 1.03 0.97 2/64 23245
Raw data (stat): 23234 (java) S 23233 26667 26666 0 -1 0 18120 4 1 0 27419 49 0 0 25 0 11 0 470831102 872075264 28175 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 28175 13073 16 0 212893 0
vsize: 851636
[startup+300.041 s]
Raw data (loadavg): 1.08 1.04 0.97 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 28396 50 0 0 25 0 11 0 470831102 872075264 28279 4294967295 134512640 134569956 3221224400 3221214792 1131303657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 28279 13073 16 0 212893 0
vsize: 851636
[startup+310.04 s]
Raw data (loadavg): 1.07 1.04 0.97 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 29376 50 0 0 25 0 11 0 470831102 872075264 28316 4294967295 134512640 134569956 3221224400 3221214576 1131294721 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 28316 13073 16 0 212893 0
vsize: 851636
[startup+320.041 s]
Raw data (loadavg): 1.06 1.04 0.97 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 30350 51 0 0 25 0 11 0 470831102 872075264 28334 4294967295 134512640 134569956 3221224400 3221214856 1131526477 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 28334 13073 16 0 212893 0
vsize: 851636
[startup+330.042 s]
Raw data (loadavg): 1.05 1.04 0.97 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 31318 51 0 0 25 0 11 0 470831102 872075264 28368 4294967295 134512640 134569956 3221224400 3221214792 1131303069 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 28368 13073 16 0 212893 0
vsize: 851636
[startup+340.042 s]
Raw data (loadavg): 1.04 1.03 0.97 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 32293 51 0 0 25 0 11 0 470831102 872075264 28460 4294967295 134512640 134569956 3221224400 3221214664 1131533694 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 28460 13073 16 0 212893 0
vsize: 851636
[startup+350.043 s]
Raw data (loadavg): 1.03 1.03 0.97 2/64 23245
Raw data (stat): 23234 (java) S 23233 26667 26666 0 -1 0 18120 4 1 0 33265 51 0 0 25 0 11 0 470831102 872075264 28602 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 28602 13073 16 0 212893 0
vsize: 851636
[startup+360.043 s]
Raw data (loadavg): 1.03 1.03 0.97 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 34249 52 0 0 25 0 11 0 470831102 872075264 28624 4294967295 134512640 134569956 3221224400 3221214664 1131533605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 28624 13073 16 0 212893 0
vsize: 851636
[startup+370.043 s]
Raw data (loadavg): 1.02 1.03 0.97 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 35187 52 0 0 25 0 11 0 470831102 872075264 28647 4294967295 134512640 134569956 3221224400 3221214792 1131304515 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 28647 13073 16 0 212893 0
vsize: 851636
[startup+380.043 s]
Raw data (loadavg): 1.02 1.03 0.97 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 36133 52 0 0 25 0 11 0 470831102 872075264 28738 4294967295 134512640 134569956 3221224400 3221214792 1131304541 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 28738 13073 16 0 212893 0
vsize: 851636
[startup+390.042 s]
Raw data (loadavg): 1.02 1.03 0.97 2/64 23245
Raw data (stat): 23234 (java) S 23233 26667 26666 0 -1 0 18120 4 1 0 37093 52 0 0 25 0 11 0 470831102 872075264 28753 4294967295 134512640 134569956 3221224400 3221213112 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 28753 13073 16 0 212893 0
vsize: 851636
[startup+400.044 s]
Raw data (loadavg): 1.01 1.03 0.97 2/64 23245
Raw data (stat): 23234 (java) S 23233 26667 26666 0 -1 0 18120 4 1 0 38031 52 0 0 25 0 11 0 470831102 872075264 28989 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 28989 13073 16 0 212893 0
vsize: 851636
[startup+410.044 s]
Raw data (loadavg): 1.01 1.02 0.97 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 38993 52 0 0 25 0 11 0 470831102 872075264 29048 4294967295 134512640 134569956 3221224400 3221214680 1131923088 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 29048 13073 16 0 212893 0
vsize: 851636
[startup+420.045 s]
Raw data (loadavg): 1.01 1.02 0.97 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 39962 53 0 0 25 0 11 0 470831102 872075264 29049 4294967295 134512640 134569956 3221224400 3221214840 1131248064 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 29049 13073 16 0 212893 0
vsize: 851636
[startup+430.046 s]
Raw data (loadavg): 1.01 1.02 0.97 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 40921 53 0 0 25 0 11 0 470831102 872075264 29330 4294967295 134512640 134569956 3221224400 3221214520 1131594872 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 29330 13073 16 0 212893 0
vsize: 851636
[startup+440.047 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 41885 53 0 0 25 0 11 0 470831102 872075264 29334 4294967295 134512640 134569956 3221224400 3221214528 1131295450 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 29334 13073 16 0 212893 0
vsize: 851636
[startup+450.048 s]
Raw data (loadavg): 1.08 1.04 0.98 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 42846 53 0 0 25 0 11 0 470831102 872075264 29371 4294967295 134512640 134569956 3221224400 3221214520 1131595714 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 29371 13073 16 0 212893 0
vsize: 851636
[startup+460.048 s]
Raw data (loadavg): 1.07 1.04 0.98 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 43807 54 0 0 25 0 11 0 470831102 872075264 29436 4294967295 134512640 134569956 3221224400 3221214792 1131303084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 29436 13073 16 0 212893 0
vsize: 851636
[startup+470.05 s]
Raw data (loadavg): 1.06 1.03 0.98 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 44772 54 0 0 25 0 11 0 470831102 872075264 29526 4294967295 134512640 134569956 3221224400 3221214888 1131360939 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 29526 13073 16 0 212893 0
vsize: 851636
[startup+480.05 s]
Raw data (loadavg): 1.05 1.03 0.98 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 45737 55 0 0 24 0 11 0 470831102 872075264 29647 4294967295 134512640 134569956 3221224400 3221214792 1131303853 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 29647 13073 16 0 212893 0
vsize: 851636
[startup+490.05 s]
Raw data (loadavg): 1.04 1.03 0.98 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 46710 55 0 0 25 0 11 0 470831102 872075264 29690 4294967295 134512640 134569956 3221224400 3221214632 1131923091 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 29690 13073 16 0 212893 0
vsize: 851636
[startup+500.051 s]
Raw data (loadavg): 1.03 1.03 0.98 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 47687 55 0 0 25 0 11 0 470831102 872075264 29785 4294967295 134512640 134569956 3221224400 3221214664 1131533668 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 29785 13073 16 0 212893 0
vsize: 851636
[startup+510.052 s]
Raw data (loadavg): 1.03 1.03 0.98 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 48654 56 0 0 25 0 11 0 470831102 872075264 29857 4294967295 134512640 134569956 3221224400 3221214792 1131303657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 29857 13073 16 0 212893 0
vsize: 851636
[startup+520.053 s]
Raw data (loadavg): 1.02 1.03 0.98 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 49618 56 0 0 25 0 11 0 470831102 872075264 29900 4294967295 134512640 134569956 3221224400 3221214624 1131423887 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 29900 13073 16 0 212893 0
vsize: 851636
[startup+530.054 s]
Raw data (loadavg): 1.02 1.03 0.98 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 50590 56 0 0 25 0 11 0 470831102 872075264 30039 4294967295 134512640 134569956 3221224400 3221214840 1131248064 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 30039 13073 16 0 212893 0
vsize: 851636
[startup+540.054 s]
Raw data (loadavg): 1.02 1.02 0.98 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 51578 57 0 0 25 0 11 0 470831102 872075264 30178 4294967295 134512640 134569956 3221224400 3221214792 1131303853 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 30178 13073 16 0 212893 0
vsize: 851636
[startup+550.055 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 52571 57 0 0 25 0 11 0 470831102 872075264 30184 4294967295 134512640 134569956 3221224400 3221214888 1131360156 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 30184 13073 16 0 212893 0
vsize: 851636
[startup+560.055 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 53564 57 0 0 25 0 11 0 470831102 872075264 30196 4294967295 134512640 134569956 3221224400 3221214792 1131303657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 30196 13073 16 0 212893 0
vsize: 851636
[startup+570.056 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 54558 58 0 0 25 0 11 0 470831102 872075264 30200 4294967295 134512640 134569956 3221224400 3221214792 1131303657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 30200 13073 16 0 212893 0
vsize: 851636
[startup+580.056 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 55551 58 0 0 25 0 11 0 470831102 872075264 30208 4294967295 134512640 134569956 3221224400 3221214792 1131303084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 30208 13073 16 0 212893 0
vsize: 851636
[startup+590.056 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 56542 58 0 0 25 0 11 0 470831102 872075264 30216 4294967295 134512640 134569956 3221224400 3221214632 1131923088 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 30216 13073 16 0 212893 0
vsize: 851636
[startup+600.057 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 57529 59 0 0 25 0 11 0 470831102 872075264 30217 4294967295 134512640 134569956 3221224400 3221214632 1131923088 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 30217 13073 16 0 212893 0
vsize: 851636
[startup+610.056 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 58506 59 0 0 25 0 11 0 470831102 872075264 30220 4294967295 134512640 134569956 3221224400 3221214632 1131923091 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 30220 13073 16 0 212893 0
vsize: 851636
[startup+620.058 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 59486 59 0 0 25 0 11 0 470831102 872075264 30220 4294967295 134512640 134569956 3221224400 3221214624 1131907844 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 30220 13073 16 0 212893 0
vsize: 851636
[startup+630.058 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 60450 60 0 0 25 0 11 0 470831102 872075264 30221 4294967295 134512640 134569956 3221224400 3221214520 1131594775 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 30221 13073 16 0 212893 0
vsize: 851636
[startup+640.058 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18120 4 1 0 61413 60 0 0 25 0 11 0 470831102 872075264 30238 4294967295 134512640 134569956 3221224400 3221214632 1131923088 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 30238 13073 16 0 212893 0
vsize: 851636
[startup+650.059 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 62362 61 0 0 25 0 11 0 470831102 872075264 30355 4294967295 134512640 134569956 3221224400 3221214664 1131533627 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 30355 13073 16 0 212893 0
vsize: 851636
[startup+660.059 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 63315 61 0 0 25 0 11 0 470831102 872075264 30477 4294967295 134512640 134569956 3221224400 3221214568 1131602241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 30477 13073 16 0 212893 0
vsize: 851636
[startup+670.06 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 64269 61 0 0 25 0 11 0 470831102 872075264 30622 4294967295 134512640 134569956 3221224400 3221214840 1131248216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 30622 13073 16 0 212893 0
vsize: 851636
[startup+680.068 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 65231 61 0 0 25 0 11 0 470831102 872075264 30718 4294967295 134512640 134569956 3221224400 3221214632 1131923091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 30718 13073 16 0 212893 0
vsize: 851636
[startup+690.067 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 66186 61 0 0 25 0 11 0 470831102 872075264 30902 4294967295 134512640 134569956 3221224400 3221214840 1131248085 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 30902 13073 16 0 212893 0
vsize: 851636
[startup+700.067 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 67141 61 0 0 25 0 11 0 470831102 872075264 31025 4294967295 134512640 134569956 3221224400 3221214624 1131907844 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 31025 13073 16 0 212893 0
vsize: 851636
[startup+710.068 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 68103 61 0 0 25 0 11 0 470831102 872075264 31143 4294967295 134512640 134569956 3221224400 3221214632 1131923088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 31143 13073 16 0 212893 0
vsize: 851636
[startup+720.069 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 69057 61 0 0 25 0 11 0 470831102 872075264 31252 4294967295 134512640 134569956 3221224400 3221214528 1131294555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 31252 13073 16 0 212893 0
vsize: 851636
[startup+730.068 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 70013 61 0 0 25 0 11 0 470831102 872075264 31401 4294967295 134512640 134569956 3221224400 3221214520 1131595662 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 31401 13073 16 0 212893 0
vsize: 851636
[startup+740.069 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 70974 61 0 0 25 0 11 0 470831102 872075264 31490 4294967295 134512640 134569956 3221224400 3221214624 1131907751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 31490 13073 16 0 212893 0
vsize: 851636
[startup+750.069 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 71925 61 0 0 25 0 11 0 470831102 872075264 31628 4294967295 134512640 134569956 3221224400 3221214632 1131923088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 31628 13073 16 0 212893 0
vsize: 851636
[startup+760.069 s]
Raw data (loadavg): 1.08 1.02 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 72892 61 0 0 25 0 11 0 470831102 872075264 31721 4294967295 134512640 134569956 3221224400 3221214520 1131294749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 31721 13073 16 0 212893 0
vsize: 851636
[startup+770.07 s]
Raw data (loadavg): 1.07 1.02 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 73847 61 0 0 25 0 11 0 470831102 872075264 31861 4294967295 134512640 134569956 3221224400 3221214688 1131923227 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 31861 13073 16 0 212893 0
vsize: 851636
[startup+780.07 s]
Raw data (loadavg): 1.06 1.02 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 74803 61 0 0 25 0 11 0 470831102 872075264 31970 4294967295 134512640 134569956 3221224400 3221214888 1131359914 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 31970 13073 16 0 212893 0
vsize: 851636
[startup+790.07 s]
Raw data (loadavg): 1.05 1.02 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 75766 62 0 0 25 0 11 0 470831102 872075264 32112 4294967295 134512640 134569956 3221224400 3221214480 1131902528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 32112 13073 16 0 212893 0
vsize: 851636
[startup+800.071 s]
Raw data (loadavg): 1.04 1.02 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 76731 62 0 0 25 0 11 0 470831102 872075264 32336 4294967295 134512640 134569956 3221224400 3221214840 1131248081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 32336 13073 16 0 212893 0
vsize: 851636
[startup+810.071 s]
Raw data (loadavg): 1.03 1.01 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 77710 62 0 0 25 0 11 0 470831102 872075264 32449 4294967295 134512640 134569956 3221224400 3221214792 1131303612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 32449 13073 16 0 212893 0
vsize: 851636
[startup+820.072 s]
Raw data (loadavg): 1.03 1.01 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 78695 62 0 0 17 0 11 0 470831102 872075264 32578 4294967295 134512640 134569956 3221224400 3221214792 1131303863 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 32578 13073 16 0 212893 0
vsize: 851636
[startup+830.073 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 79686 62 0 0 25 0 11 0 470831102 872075264 32579 4294967295 134512640 134569956 3221224400 3221214576 1131294774 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 32579 13073 16 0 212893 0
vsize: 851636
[startup+840.072 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 80674 62 0 0 25 0 11 0 470831102 872075264 32581 4294967295 134512640 134569956 3221224400 3221214840 1131248064 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 32581 13073 16 0 212893 0
vsize: 851636
[startup+850.073 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 81655 62 0 0 25 0 11 0 470831102 872075264 32584 4294967295 134512640 134569956 3221224400 3221214680 1131462460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 32584 13073 16 0 212893 0
vsize: 851636
[startup+860.073 s]
Raw data (loadavg): 1.01 1.01 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 82632 62 0 0 24 0 11 0 470831102 872075264 32587 4294967295 134512640 134569956 3221224400 3221214688 1131923098 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 32587 13073 16 0 212893 0
vsize: 851636
[startup+870.073 s]
Raw data (loadavg): 1.01 1.01 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 83604 62 0 0 25 0 11 0 470831102 872075264 32599 4294967295 134512640 134569956 3221224400 3221214688 1131923080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 32599 13073 16 0 212893 0
vsize: 851636
[startup+880.074 s]
Raw data (loadavg): 1.01 1.01 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 84573 62 0 0 25 0 11 0 470831102 872075264 32634 4294967295 134512640 134569956 3221224400 3221214792 1131303612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 32634 13073 16 0 212893 0
vsize: 851636
[startup+890.074 s]
Raw data (loadavg): 1.01 1.01 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 85545 62 0 0 25 0 11 0 470831102 872075264 32686 4294967295 134512640 134569956 3221224400 3221214584 1131294528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 32686 13073 16 0 212893 0
vsize: 851636
[startup+900.075 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 86516 62 0 0 25 0 11 0 470831102 872075264 32777 4294967295 134512640 134569956 3221224400 3221214688 1131923102 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 32777 13073 16 0 212893 0
vsize: 851636
[startup+910.074 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 87482 63 0 0 25 0 11 0 470831102 872075264 32854 4294967295 134512640 134569956 3221224400 3221214680 1131907872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 32854 13073 16 0 212893 0
vsize: 851636
[startup+920.075 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 88459 63 0 0 25 0 11 0 470831102 872075264 32915 4294967295 134512640 134569956 3221224400 3221214688 1131923175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 32915 13073 16 0 212893 0
vsize: 851636
[startup+930.076 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 89425 63 0 0 25 0 11 0 470831102 872075264 32977 4294967295 134512640 134569956 3221224400 3221214688 1131923244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 32977 13073 16 0 212893 0
vsize: 851636
[startup+940.076 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 90395 63 0 0 25 0 11 0 470831102 872075264 33063 4294967295 134512640 134569956 3221224400 3221214688 1131923072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 33063 13073 16 0 212893 0
vsize: 851636
[startup+950.179 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 91362 63 0 0 25 0 11 0 470831102 872075264 33179 4294967295 134512640 134569956 3221224400 3221214888 1131359753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 33179 13073 16 0 212893 0
vsize: 851636
[startup+960.179 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 92325 63 0 0 25 0 11 0 470831102 872075264 33273 4294967295 134512640 134569956 3221224400 3221214584 1131295069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 33273 13073 16 0 212893 0
vsize: 851636
[startup+970.18 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 93293 63 0 0 25 0 11 0 470831102 872075264 33334 4294967295 134512640 134569956 3221224400 3221214576 1131294640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 33334 13073 16 0 212893 0
vsize: 851636
[startup+980.18 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 94261 63 0 0 25 0 11 0 470831102 872075264 33409 4294967295 134512640 134569956 3221224400 3221214688 1131923072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 33409 13073 16 0 212893 0
vsize: 851636
[startup+990.18 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 95223 63 0 0 25 0 11 0 470831102 872075264 33511 4294967295 134512640 134569956 3221224400 3221214792 1131304070 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 33511 13073 16 0 212893 0
vsize: 851636
[startup+1000.18 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 96183 63 0 0 25 0 11 0 470831102 872075264 33642 4294967295 134512640 134569956 3221224400 3221214792 1131304574 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 33642 13073 16 0 212893 0
vsize: 851636
[startup+1010.18 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 97146 63 0 0 25 0 11 0 470831102 872075264 33724 4294967295 134512640 134569956 3221224400 3221214576 1131594570 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 33724 13073 16 0 212893 0
vsize: 851636
[startup+1020.18 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 98114 63 0 0 25 0 11 0 470831102 872075264 33803 4294967295 134512640 134569956 3221224400 3221214688 1131923154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 33803 13073 16 0 212893 0
vsize: 851636
[startup+1030.18 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 99080 63 0 0 25 0 11 0 470831102 872075264 33884 4294967295 134512640 134569956 3221224400 3221214576 1131294749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 33884 13073 16 0 212893 0
vsize: 851636
[startup+1040.18 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 100046 63 0 0 25 0 11 0 470831102 872075264 33958 4294967295 134512640 134569956 3221224400 3221214840 1131248081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 33958 13073 16 0 212893 0
vsize: 851636
[startup+1050.18 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 101012 64 0 0 25 0 11 0 470831102 872075264 34050 4294967295 134512640 134569956 3221224400 3221214680 1131590726 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 34050 13073 16 0 212893 0
vsize: 851636
[startup+1060.18 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 101979 64 0 0 25 0 11 0 470831102 872075264 34132 4294967295 134512640 134569956 3221224400 3221214584 1131294693 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 34132 13073 16 0 212893 0
vsize: 851636
[startup+1070.18 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 102940 64 0 0 21 0 11 0 470831102 872075264 34229 4294967295 134512640 134569956 3221224400 3221214404 1078128083 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 34229 13073 16 0 212893 0
vsize: 851636
[startup+1080.19 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 103901 64 0 0 25 0 11 0 470831102 872075264 34357 4294967295 134512640 134569956 3221224400 3221214584 1131797478 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 34357 13073 16 0 212893 0
vsize: 851636
[startup+1090.18 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 104863 64 0 0 25 0 11 0 470831102 872075264 34484 4294967295 134512640 134569956 3221224400 3221214792 1131304574 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 34484 13073 16 0 212893 0
vsize: 851636
[startup+1100.19 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 23245
Raw data (stat): 23234 (java) S 23233 26667 26666 0 -1 0 18121 4 1 0 105828 64 0 0 25 0 11 0 470831102 872075264 34576 4294967295 134512640 134569956 3221224400 3221213320 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 34576 13073 16 0 212893 0
vsize: 851636
[startup+1110.19 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 106792 64 0 0 25 0 11 0 470831102 872075264 34687 4294967295 134512640 134569956 3221224400 3221214688 1131923088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 34687 13073 16 0 212893 0
vsize: 851636
[startup+1120.19 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 107761 64 0 0 25 0 11 0 470831102 872075264 34745 4294967295 134512640 134569956 3221224400 3221214688 1131923088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 34745 13073 16 0 212893 0
vsize: 851636
[startup+1130.19 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 108729 64 0 0 25 0 11 0 470831102 872075264 34870 4294967295 134512640 134569956 3221224400 3221214688 1131923106 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 34870 13073 16 0 212893 0
vsize: 851636
[startup+1140.19 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 109701 64 0 0 25 0 11 0 470831102 872075264 34960 4294967295 134512640 134569956 3221224400 3221214888 1131360125 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 34960 13073 16 0 212893 0
vsize: 851636
[startup+1150.19 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 110672 64 0 0 24 0 11 0 470831102 872075264 35008 4294967295 134512640 134569956 3221224400 3221214688 1131923237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 35008 13073 16 0 212893 0
vsize: 851636
[startup+1160.19 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 111645 64 0 0 25 0 11 0 470831102 872075264 35029 4294967295 134512640 134569956 3221224400 3221214688 1131923080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 35029 13073 16 0 212893 0
vsize: 851636
[startup+1170.19 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 112612 64 0 0 25 0 11 0 470831102 872075264 35103 4294967295 134512640 134569956 3221224400 3221214584 1131294585 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 35103 13073 16 0 212893 0
vsize: 851636
[startup+1180.19 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 113582 64 0 0 25 0 11 0 470831102 872075264 35190 4294967295 134512640 134569956 3221224400 3221214792 1131303786 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 35190 13073 16 0 212893 0
vsize: 851636
[startup+1190.19 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 114557 65 0 0 25 0 11 0 470831102 872075264 35241 4294967295 134512640 134569956 3221224400 3221214840 1131248081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 35241 13073 16 0 212893 0
vsize: 851636
[startup+1200.19 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 115532 65 0 0 25 0 11 0 470831102 872075264 35311 4294967295 134512640 134569956 3221224400 3221214888 1131359967 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 35311 13073 16 0 212893 0
vsize: 851636
[startup+1210.19 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 116507 65 0 0 25 0 11 0 470831102 872075264 35378 4294967295 134512640 134569956 3221224400 3221214888 1131359743 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 35378 13073 16 0 212893 0
vsize: 851636
[startup+1220.19 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 117491 65 0 0 25 0 11 0 470831102 872075264 35426 4294967295 134512640 134569956 3221224400 3221214840 1131248096 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 35426 13073 16 0 212893 0
vsize: 851636
[startup+1230.19 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 118473 65 0 0 25 0 11 0 470831102 872075264 35474 4294967295 134512640 134569956 3221224400 3221214840 1131248064 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 35474 13073 16 0 212893 0
vsize: 851636
[startup+1240.19 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 119457 65 0 0 25 0 11 0 470831102 872075264 35516 4294967295 134512640 134569956 3221224400 3221214792 1131304443 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 35516 13073 16 0 212893 0
vsize: 851636
[startup+1250.19 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 23245
Raw data (stat): 23234 (java) R 23233 26667 26666 0 -1 0 18121 4 1 0 120436 65 0 0 25 0 11 0 470831102 872075264 35547 4294967295 134512640 134569956 3221224400 3221214792 1131303121 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212909 35547 13073 16 0 212893 0
vsize: 851636
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.32 s]
Raw data (loadavg): 1.00 1.00 0.99 1/54 23247
Raw data (stat): 23234 (java) Z 23233 26667 26666 0 -1 1036 18121 26007 1 0 120441 65 5771 71 25 0 1 0 470831102 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1250.32
CPU time (s): 1263.51
CPU user time (s): 1262.13
CPU system time (s): 1.37779
CPU usage (%): 101.055
Max. virtual memory (Kb): 857168
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####