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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32a1.opb
MD5SUMeb47f4c49e66c2bccec3237bb66dd1b2
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 444
Optimality of the best value was proved NO
Number of terms in the objective function 918
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 918
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 918
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark9.00763
Number of variables918
Total number of constraints9671
Number of constraints which are clauses9671
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint32

Trace number 4310 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-04-13 16:16:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1314 boxname=wulflinc13 idbench=146 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  eb47f4c49e66c2bccec3237bb66dd1b2  /oldhome/oroussel/tmp/wulflinc13/normalized-ii32a1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc13/normalized-ii32a1.opb
IDLAUNCH: 1314
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        936068 kB
Buffers:         32532 kB
Cached:          46432 kB
SwapCached:        392 kB
Active:          43236 kB
Inactive:        38924 kB
HighTotal:      131008 kB
HighFree:        80752 kB
LowTotal:       903652 kB
LowFree:        855316 kB
SwapTotal:     2097136 kB
SwapFree:      2096744 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            10996 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 16:37:47 (client local time) WITH STATUS 143 IN  SECONDS
stats: 1314 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc13/normalized-ii32a1.opb
c reading problem 
c [nbvar=918]
c [nbconstr=9671]
c time 4.395
c #vars     918
c #clauses  9671
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=445
c Current CPU time (ms) : 39.795
c starts	: 4
c conflicts	: 476
c decisions	: 3067
c propagations	: 101215
c inspects	: 594745
c learned literals	: 1
c learned binary clauses	: 15
c learned ternary clauses	: 4
c learned clauses	: 475
c root simplifications	: 5
c 
c CURRENT OPTIMUM=444
c Current CPU time (ms) : 109.859
c starts	: 7
c conflicts	: 829
c decisions	: 3954
c propagations	: 172077
c inspects	: 1091291
c learned literals	: 1
c learned binary clauses	: 37
c learned ternary clauses	: 8
c learned clauses	: 828
c root simplifications	: 8
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 1.07 1.06 0.81 2/54 31522
Raw data (stat): 31522 (runsolver) R 31521 30701 30700 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419105002 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 1.29 1.11 0.83 3/64 31532
Raw data (stat): 31522 (java) S 31521 30701 30700 0 -1 0 18091 0 1 0 595 48 0 0 25 0 11 0 419105002 868679680 22548 4294967295 134512640 134569956 3221224416 3221213424 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212080 22548 13073 16 0 212064 0
vsize: 848320
[startup+20.0008 s]
Raw data (loadavg): 1.24 1.10 0.83 2/64 31532
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18103 0 1 0 1553 49 0 0 25 0 11 0 419105002 865497088 23815 4294967295 134512640 134569956 3221224416 3221214688 1131395641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 23815 13073 16 0 211287 0
vsize: 845212
[startup+30.0017 s]
Raw data (loadavg): 1.21 1.10 0.83 2/64 31532
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18103 0 1 0 2523 49 0 0 25 0 11 0 419105002 865497088 23815 4294967295 134512640 134569956 3221224416 3221214796 1080204226 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 23815 13073 16 0 211287 0
vsize: 845212
[startup+40.0014 s]
Raw data (loadavg): 1.17 1.09 0.83 2/64 31532
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18103 0 1 0 3487 49 0 0 25 0 11 0 419105002 865497088 24060 4294967295 134512640 134569956 3221224416 3221214624 1131489767 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 24060 13073 16 0 211287 0
vsize: 845212
[startup+50.0016 s]
Raw data (loadavg): 1.15 1.09 0.83 2/64 31533
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18103 4 1 0 4437 49 0 0 25 0 11 0 419105002 865497088 24443 4294967295 134512640 134569956 3221224416 3221214688 1131395067 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 24443 13073 16 0 211287 0
vsize: 845212
[startup+60.0017 s]
Raw data (loadavg): 1.12 1.09 0.83 2/64 31533
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18103 4 1 0 5382 49 0 0 25 0 11 0 419105002 865497088 24650 4294967295 134512640 134569956 3221224416 3221214752 1131220671 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 24650 13073 16 0 211287 0
vsize: 845212
[startup+70.0024 s]
Raw data (loadavg): 1.10 1.08 0.83 2/64 31533
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18103 4 1 0 6321 49 0 0 25 0 11 0 419105002 865497088 24775 4294967295 134512640 134569956 3221224416 3221214696 1131221225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 24775 13073 16 0 211287 0
vsize: 845212
[startup+80.0025 s]
Raw data (loadavg): 1.09 1.08 0.83 2/64 31533
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18103 4 1 0 7260 49 0 0 25 0 11 0 419105002 865497088 24775 4294967295 134512640 134569956 3221224416 3221214696 1131220799 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 24775 13073 16 0 211287 0
vsize: 845212
[startup+90.0027 s]
Raw data (loadavg): 1.07 1.08 0.83 2/64 31533
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18104 4 1 0 8199 49 0 0 25 0 11 0 419105002 865497088 24998 4294967295 134512640 134569956 3221224416 3221214792 1131360948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 24998 13073 16 0 211287 0
vsize: 845212
[startup+100.003 s]
Raw data (loadavg): 1.06 1.08 0.84 2/64 31533
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18104 4 1 0 9146 49 0 0 25 0 11 0 419105002 865497088 25315 4294967295 134512640 134569956 3221224416 3221214976 1131322503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 25315 13073 16 0 211287 0
vsize: 845212
[startup+110.004 s]
Raw data (loadavg): 1.05 1.07 0.84 2/64 31533
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18104 4 1 0 10101 49 0 0 25 0 11 0 419105002 865497088 25397 4294967295 134512640 134569956 3221224416 3221214696 1131220671 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 25397 13073 16 0 211287 0
vsize: 845212
[startup+120.005 s]
Raw data (loadavg): 1.04 1.07 0.84 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18104 4 1 0 11059 49 0 0 25 0 11 0 419105002 865497088 25469 4294967295 134512640 134569956 3221224416 3221214792 1131360955 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 25469 13073 16 0 211287 0
vsize: 845212
[startup+130.005 s]
Raw data (loadavg): 1.04 1.07 0.84 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18104 4 1 0 12009 49 0 0 25 0 11 0 419105002 865497088 25557 4294967295 134512640 134569956 3221224416 3221214792 1131360955 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 25557 13073 16 0 211287 0
vsize: 845212
[startup+140.005 s]
Raw data (loadavg): 1.03 1.06 0.84 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18104 4 1 0 12959 49 0 0 25 0 11 0 419105002 865497088 25678 4294967295 134512640 134569956 3221224416 3221214792 1131361020 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 25678 13073 16 0 211287 0
vsize: 845212
[startup+150.007 s]
Raw data (loadavg): 1.02 1.06 0.84 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18104 4 1 0 13909 49 0 0 25 0 11 0 419105002 865497088 25795 4294967295 134512640 134569956 3221224416 3221214792 1131361020 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 25795 13073 16 0 211287 0
vsize: 845212
[startup+160.007 s]
Raw data (loadavg): 1.02 1.06 0.84 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18104 4 1 0 14860 49 0 0 25 0 11 0 419105002 865497088 25975 4294967295 134512640 134569956 3221224416 3221214792 1131360955 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 25975 13073 16 0 211287 0
vsize: 845212
[startup+170.007 s]
Raw data (loadavg): 1.02 1.06 0.84 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18104 4 1 0 15815 49 0 0 25 0 11 0 419105002 865497088 26126 4294967295 134512640 134569956 3221224416 3221214792 1131360948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 26126 13073 16 0 211287 0
vsize: 845212
[startup+180.008 s]
Raw data (loadavg): 1.01 1.05 0.84 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18104 4 1 0 16766 49 0 0 25 0 11 0 419105002 865497088 26213 4294967295 134512640 134569956 3221224416 3221214792 1131360769 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 26213 13073 16 0 211287 0
vsize: 845212
[startup+190.008 s]
Raw data (loadavg): 1.01 1.05 0.84 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18104 4 1 0 17718 49 0 0 25 0 11 0 419105002 865497088 26296 4294967295 134512640 134569956 3221224416 3221214792 1131361020 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 26296 13073 16 0 211287 0
vsize: 845212
[startup+200.008 s]
Raw data (loadavg): 1.01 1.05 0.85 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18104 4 1 0 18661 49 0 0 25 0 11 0 419105002 865497088 26432 4294967295 134512640 134569956 3221224416 3221214696 1131221225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 26432 13073 16 0 211287 0
vsize: 845212
[startup+210.008 s]
Raw data (loadavg): 1.01 1.05 0.85 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18104 4 1 0 19604 49 0 0 25 0 11 0 419105002 865497088 26515 4294967295 134512640 134569956 3221224416 3221214696 1131220694 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 26515 13073 16 0 211287 0
vsize: 845212
[startup+220.009 s]
Raw data (loadavg): 1.01 1.05 0.85 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 20557 50 0 0 25 0 11 0 419105002 865497088 26816 4294967295 134512640 134569956 3221224416 3221214792 1131361988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 26816 13073 16 0 211287 0
vsize: 845212
[startup+230.01 s]
Raw data (loadavg): 1.00 1.04 0.85 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 21525 50 0 0 25 0 11 0 419105002 865497088 26910 4294967295 134512640 134569956 3221224416 3221214696 1131220293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 26910 13073 16 0 211287 0
vsize: 845212
[startup+240.01 s]
Raw data (loadavg): 1.00 1.04 0.85 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 22493 50 0 0 25 0 11 0 419105002 865497088 26994 4294967295 134512640 134569956 3221224416 3221214696 1131220671 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 26994 13073 16 0 211287 0
vsize: 845212
[startup+250.011 s]
Raw data (loadavg): 1.00 1.04 0.85 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 23461 50 0 0 25 0 11 0 419105002 865497088 27075 4294967295 134512640 134569956 3221224416 3221214792 1131360955 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 27075 13073 16 0 211287 0
vsize: 845212
[startup+260.011 s]
Raw data (loadavg): 1.00 1.04 0.85 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 24427 50 0 0 25 0 11 0 419105002 865497088 27212 4294967295 134512640 134569956 3221224416 3221214792 1131361020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 27212 13073 16 0 211287 0
vsize: 845212
[startup+270.011 s]
Raw data (loadavg): 1.00 1.04 0.85 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 25395 50 0 0 25 0 11 0 419105002 865497088 27270 4294967295 134512640 134569956 3221224416 3221214792 1131361020 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 27270 13073 16 0 211287 0
vsize: 845212
[startup+280.012 s]
Raw data (loadavg): 1.00 1.03 0.85 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 26362 50 0 0 24 0 11 0 419105002 865497088 27329 4294967295 134512640 134569956 3221224416 3221214792 1131361974 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 27329 13073 16 0 211287 0
vsize: 845212
[startup+290.013 s]
Raw data (loadavg): 1.00 1.03 0.85 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 27331 50 0 0 25 0 11 0 419105002 865497088 27411 4294967295 134512640 134569956 3221224416 3221214792 1131361020 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 27411 13073 16 0 211287 0
vsize: 845212
[startup+300.013 s]
Raw data (loadavg): 1.00 1.03 0.85 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 28301 50 0 0 25 0 11 0 419105002 865497088 27472 4294967295 134512640 134569956 3221224416 3221214792 1131360955 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 27472 13073 16 0 211287 0
vsize: 845212
[startup+310.014 s]
Raw data (loadavg): 1.00 1.03 0.86 3/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 29270 50 0 0 25 0 11 0 419105002 865497088 27507 4294967295 134512640 134569956 3221224416 3221214792 1131360948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 27507 13073 16 0 211287 0
vsize: 845212
[startup+320.014 s]
Raw data (loadavg): 1.00 1.03 0.86 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 30237 50 0 0 25 0 11 0 419105002 865497088 27602 4294967295 134512640 134569956 3221224416 3221214792 1131364564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 27602 13073 16 0 211287 0
vsize: 845212
[startup+330.015 s]
Raw data (loadavg): 1.00 1.03 0.86 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 31205 50 0 0 25 0 11 0 419105002 865497088 27679 4294967295 134512640 134569956 3221224416 3221214792 1131360917 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 27679 13073 16 0 211287 0
vsize: 845212
[startup+340.015 s]
Raw data (loadavg): 1.00 1.03 0.86 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 32170 50 0 0 25 0 11 0 419105002 865497088 27756 4294967295 134512640 134569956 3221224416 3221214792 1131360995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 27756 13073 16 0 211287 0
vsize: 845212
[startup+350.016 s]
Raw data (loadavg): 1.00 1.02 0.86 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 33140 50 0 0 25 0 11 0 419105002 865497088 27799 4294967295 134512640 134569956 3221224416 3221214848 1131318308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 27799 13073 16 0 211287 0
vsize: 845212
[startup+360.016 s]
Raw data (loadavg): 1.00 1.02 0.86 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 34110 50 0 0 25 0 11 0 419105002 865497088 27845 4294967295 134512640 134569956 3221224416 3221214696 1131220671 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 27845 13073 16 0 211287 0
vsize: 845212
[startup+370.015 s]
Raw data (loadavg): 1.00 1.02 0.86 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 35083 50 0 0 25 0 11 0 419105002 865497088 27885 4294967295 134512640 134569956 3221224416 3221214696 1131221470 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 27885 13073 16 0 211287 0
vsize: 845212
[startup+380.016 s]
Raw data (loadavg): 1.00 1.02 0.86 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 36052 50 0 0 25 0 11 0 419105002 865497088 27926 4294967295 134512640 134569956 3221224416 3221214792 1131361164 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 27926 13073 16 0 211287 0
vsize: 845212
[startup+390.016 s]
Raw data (loadavg): 1.00 1.02 0.86 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 37023 50 0 0 25 0 11 0 419105002 865497088 27957 4294967295 134512640 134569956 3221224416 3221214792 1131360995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 27957 13073 16 0 211287 0
vsize: 845212
[startup+400.02 s]
Raw data (loadavg): 1.00 1.02 0.86 2/64 31534
Raw data (stat): 31522 (java) S 31521 30701 30700 0 -1 0 18105 4 1 0 37993 50 0 0 25 0 11 0 419105002 865497088 27998 4294967295 134512640 134569956 3221224416 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 27998 13073 16 0 211287 0
vsize: 845212
[startup+410.023 s]
Raw data (loadavg): 1.00 1.02 0.87 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 38964 50 0 0 25 0 11 0 419105002 865497088 28028 4294967295 134512640 134569956 3221224416 3221214696 1131220758 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 28028 13073 16 0 211287 0
vsize: 845212
[startup+420.023 s]
Raw data (loadavg): 1.00 1.02 0.87 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 39928 50 0 0 25 0 11 0 419105002 865497088 28084 4294967295 134512640 134569956 3221224416 3221214792 1131361020 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 28084 13073 16 0 211287 0
vsize: 845212
[startup+430.023 s]
Raw data (loadavg): 1.00 1.02 0.87 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 40888 51 0 0 25 0 11 0 419105002 865497088 28168 4294967295 134512640 134569956 3221224416 3221214848 1131318592 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 28168 13073 16 0 211287 0
vsize: 845212
[startup+440.024 s]
Raw data (loadavg): 1.00 1.02 0.87 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 41859 51 0 0 25 0 11 0 419105002 865497088 28252 4294967295 134512640 134569956 3221224416 3221214848 1131318604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 28252 13073 16 0 211287 0
vsize: 845212
[startup+450.025 s]
Raw data (loadavg): 1.00 1.02 0.87 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 42826 51 0 0 25 0 11 0 419105002 865497088 28329 4294967295 134512640 134569956 3221224416 3221214696 1131220671 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 28329 13073 16 0 211287 0
vsize: 845212
[startup+460.025 s]
Raw data (loadavg): 1.00 1.01 0.87 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 43796 51 0 0 25 0 11 0 419105002 865497088 28401 4294967295 134512640 134569956 3221224416 3221214792 1131361974 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 28401 13073 16 0 211287 0
vsize: 845212
[startup+470.025 s]
Raw data (loadavg): 1.00 1.01 0.87 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 44763 51 0 0 25 0 11 0 419105002 865497088 28463 4294967295 134512640 134569956 3221224416 3221214696 1131220362 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 28463 13073 16 0 211287 0
vsize: 845212
[startup+480.027 s]
Raw data (loadavg): 1.00 1.01 0.87 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 45731 51 0 0 24 0 11 0 419105002 865497088 28547 4294967295 134512640 134569956 3221224416 3221214792 1131360955 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 28547 13073 16 0 211287 0
vsize: 845212
[startup+490.027 s]
Raw data (loadavg): 1.00 1.01 0.87 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 46703 51 0 0 25 0 11 0 419105002 865497088 28614 4294967295 134512640 134569956 3221224416 3221214848 1131318308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 28614 13073 16 0 211287 0
vsize: 845212
[startup+500.028 s]
Raw data (loadavg): 1.00 1.01 0.87 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 47673 51 0 0 25 0 11 0 419105002 865497088 28651 4294967295 134512640 134569956 3221224416 3221214848 1131318607 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 28651 13073 16 0 211287 0
vsize: 845212
[startup+510.03 s]
Raw data (loadavg): 1.00 1.01 0.88 2/64 31534
Raw data (stat): 31522 (java) S 31521 30701 30700 0 -1 0 18105 4 1 0 48644 51 0 0 25 0 11 0 419105002 865497088 28686 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 28686 13073 16 0 211287 0
vsize: 845212
[startup+520.03 s]
Raw data (loadavg): 1.00 1.01 0.88 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 49612 51 0 0 25 0 11 0 419105002 865497088 28721 4294967295 134512640 134569956 3221224416 3221214696 1131220679 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 28721 13073 16 0 211287 0
vsize: 845212
[startup+530.031 s]
Raw data (loadavg): 1.00 1.01 0.88 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 50579 51 0 0 25 0 11 0 419105002 865497088 28769 4294967295 134512640 134569956 3221224416 3221214792 1131360955 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 28769 13073 16 0 211287 0
vsize: 845212
[startup+540.032 s]
Raw data (loadavg): 1.00 1.01 0.88 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 51544 51 0 0 25 0 11 0 419105002 865497088 28827 4294967295 134512640 134569956 3221224416 3221214848 1131318604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 28827 13073 16 0 211287 0
vsize: 845212
[startup+550.032 s]
Raw data (loadavg): 1.00 1.01 0.88 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 52506 52 0 0 25 0 11 0 419105002 865497088 28953 4294967295 134512640 134569956 3221224416 3221214792 1131362014 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 28953 13073 16 0 211287 0
vsize: 845212
[startup+560.033 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 53470 52 0 0 25 0 11 0 419105002 865497088 29018 4294967295 134512640 134569956 3221224416 3221214696 1131221293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 29018 13073 16 0 211287 0
vsize: 845212
[startup+570.033 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 54438 52 0 0 25 0 11 0 419105002 865497088 29081 4294967295 134512640 134569956 3221224416 3221214696 1131220924 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 29081 13073 16 0 211287 0
vsize: 845212
[startup+580.033 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 55404 52 0 0 25 0 11 0 419105002 865497088 29147 4294967295 134512640 134569956 3221224416 3221214792 1131362014 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 29147 13073 16 0 211287 0
vsize: 845212
[startup+590.033 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 56375 52 0 0 25 0 11 0 419105002 865497088 29177 4294967295 134512640 134569956 3221224416 3221214792 1131364507 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 29177 13073 16 0 211287 0
vsize: 845212
[startup+600.035 s]
Raw data (loadavg): 1.00 1.00 0.88 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 57345 52 0 0 25 0 11 0 419105002 865497088 29207 4294967295 134512640 134569956 3221224416 3221214696 1131220671 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 29207 13073 16 0 211287 0
vsize: 845212
[startup+610.035 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 58312 52 0 0 25 0 11 0 419105002 865497088 29252 4294967295 134512640 134569956 3221224416 3221214696 1131220927 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 29252 13073 16 0 211287 0
vsize: 845212
[startup+620.035 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 59281 52 0 0 25 0 11 0 419105002 865497088 29275 4294967295 134512640 134569956 3221224416 3221214696 1131220849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 29275 13073 16 0 211287 0
vsize: 845212
[startup+630.036 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 60250 52 0 0 25 0 11 0 419105002 865497088 29318 4294967295 134512640 134569956 3221224416 3221214792 1131360955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 29318 13073 16 0 211287 0
vsize: 845212
[startup+640.036 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 61219 53 0 0 25 0 11 0 419105002 865497088 29368 4294967295 134512640 134569956 3221224416 3221214696 1131220331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 29368 13073 16 0 211287 0
vsize: 845212
[startup+650.037 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 62188 53 0 0 25 0 11 0 419105002 865497088 29404 4294967295 134512640 134569956 3221224416 3221214696 1131220396 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 29404 13073 16 0 211287 0
vsize: 845212
[startup+660.038 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 63155 53 0 0 25 0 11 0 419105002 865497088 29447 4294967295 134512640 134569956 3221224416 3221214792 1131361020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 29447 13073 16 0 211287 0
vsize: 845212
[startup+670.038 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 64119 54 0 0 25 0 11 0 419105002 865497088 29488 4294967295 134512640 134569956 3221224416 3221214792 1131360948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 29488 13073 16 0 211287 0
vsize: 845212
[startup+680.037 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 65092 54 0 0 25 0 11 0 419105002 865497088 29518 4294967295 134512640 134569956 3221224416 3221214792 1131360769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 29518 13073 16 0 211287 0
vsize: 845212
[startup+690.038 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 66058 54 0 0 25 0 11 0 419105002 865497088 29560 4294967295 134512640 134569956 3221224416 3221214696 1131220620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 29560 13073 16 0 211287 0
vsize: 845212
[startup+700.039 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 31534
Raw data (stat): 31522 (java) S 31521 30701 30700 0 -1 0 18105 4 1 0 67025 54 0 0 25 0 11 0 419105002 865497088 29619 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 29619 13073 16 0 211287 0
vsize: 845212
[startup+710.04 s]
Raw data (loadavg): 1.00 1.00 0.89 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 67993 54 0 0 25 0 11 0 419105002 865497088 29646 4294967295 134512640 134569956 3221224416 3221214696 1131220930 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 29646 13073 16 0 211287 0
vsize: 845212
[startup+720.04 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 68956 54 0 0 25 0 11 0 419105002 865497088 29699 4294967295 134512640 134569956 3221224416 3221214848 1131318781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 29699 13073 16 0 211287 0
vsize: 845212
[startup+730.04 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 69923 55 0 0 25 0 11 0 419105002 865497088 29749 4294967295 134512640 134569956 3221224416 3221214792 1131360955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 29749 13073 16 0 211287 0
vsize: 845212
[startup+740.04 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 70890 55 0 0 24 0 11 0 419105002 865497088 29786 4294967295 134512640 134569956 3221224416 3221214792 1131362963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 29786 13073 16 0 211287 0
vsize: 845212
[startup+750.042 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 71857 55 0 0 25 0 11 0 419105002 865497088 29845 4294967295 134512640 134569956 3221224416 3221214848 1131318515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 29845 13073 16 0 211287 0
vsize: 845212
[startup+760.042 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 72826 56 0 0 25 0 11 0 419105002 865497088 29888 4294967295 134512640 134569956 3221224416 3221214696 1131220331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 29888 13073 16 0 211287 0
vsize: 845212
[startup+770.042 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 73796 56 0 0 25 0 11 0 419105002 865497088 29939 4294967295 134512640 134569956 3221224416 3221214792 1131360948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 29939 13073 16 0 211287 0
vsize: 845212
[startup+780.042 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 74766 56 0 0 25 0 11 0 419105002 865497088 29985 4294967295 134512640 134569956 3221224416 3221214792 1131361020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 29985 13073 16 0 211287 0
vsize: 845212
[startup+790.043 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 75729 56 0 0 25 0 11 0 419105002 865497088 30029 4294967295 134512640 134569956 3221224416 3221214848 1131318490 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 30029 13073 16 0 211287 0
vsize: 845212
[startup+800.043 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 76701 57 0 0 25 0 11 0 419105002 865497088 30045 4294967295 134512640 134569956 3221224416 3221214696 1131220396 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 30045 13073 16 0 211287 0
vsize: 845212
[startup+810.043 s]
Raw data (loadavg): 1.00 1.00 0.90 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 77669 57 0 0 25 0 11 0 419105002 865497088 30068 4294967295 134512640 134569956 3221224416 3221214792 1131362014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 30068 13073 16 0 211287 0
vsize: 845212
[startup+820.043 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 78633 57 0 0 25 0 11 0 419105002 865497088 30112 4294967295 134512640 134569956 3221224416 3221214792 1131362835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 30112 13073 16 0 211287 0
vsize: 845212
[startup+830.044 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 79602 57 0 0 24 0 11 0 419105002 865497088 30138 4294967295 134512640 134569956 3221224416 3221214696 1131221180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 30138 13073 16 0 211287 0
vsize: 845212
[startup+840.044 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 80570 57 0 0 25 0 11 0 419105002 865497088 30163 4294967295 134512640 134569956 3221224416 3221214696 1131220671 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 30163 13073 16 0 211287 0
vsize: 845212
[startup+850.044 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 81532 58 0 0 25 0 11 0 419105002 865497088 30257 4294967295 134512640 134569956 3221224416 3221214792 1131360955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 30257 13073 16 0 211287 0
vsize: 845212
[startup+860.044 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 82505 58 0 0 25 0 11 0 419105002 865497088 30344 4294967295 134512640 134569956 3221224416 3221214792 1131360948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 30344 13073 16 0 211287 0
vsize: 845212
[startup+870.044 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 83475 58 0 0 25 0 11 0 419105002 865497088 30406 4294967295 134512640 134569956 3221224416 3221214704 1131517708 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 30406 13073 16 0 211287 0
vsize: 845212
[startup+880.045 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 84443 59 0 0 25 0 11 0 419105002 865497088 30448 4294967295 134512640 134569956 3221224416 3221214848 1131318322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 30448 13073 16 0 211287 0
vsize: 845212
[startup+890.045 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 85409 59 0 0 25 0 11 0 419105002 865497088 30464 4294967295 134512640 134569956 3221224416 3221214792 1131362010 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 30464 13073 16 0 211287 0
vsize: 845212
[startup+900.046 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 86375 59 0 0 24 0 11 0 419105002 865497088 30504 4294967295 134512640 134569956 3221224416 3221214696 1131220725 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 30504 13073 16 0 211287 0
vsize: 845212
[startup+910.047 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 87342 60 0 0 25 0 11 0 419105002 865497088 30537 4294967295 134512640 134569956 3221224416 3221214792 1131360955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 30537 13073 16 0 211287 0
vsize: 845212
[startup+920.046 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 88304 60 0 0 24 0 11 0 419105002 865497088 30598 4294967295 134512640 134569956 3221224416 3221214792 1131360785 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 30598 13073 16 0 211287 0
vsize: 845212
[startup+930.047 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 89276 60 0 0 25 0 11 0 419105002 865497088 30638 4294967295 134512640 134569956 3221224416 3221214788 1131221479 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 30638 13073 16 0 211287 0
vsize: 845212
[startup+940.048 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 90247 60 0 0 25 0 11 0 419105002 865497088 30672 4294967295 134512640 134569956 3221224416 3221214696 1131221212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 30672 13073 16 0 211287 0
vsize: 845212
[startup+950.048 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 91213 60 0 0 23 0 11 0 419105002 865497088 30706 4294967295 134512640 134569956 3221224416 3221214804 1080204176 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 30706 13073 16 0 211287 0
vsize: 845212
[startup+960.049 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 92179 60 0 0 25 0 11 0 419105002 865497088 30744 4294967295 134512640 134569956 3221224416 3221214792 1131361031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 30744 13073 16 0 211287 0
vsize: 845212
[startup+970.049 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 93147 61 0 0 25 0 11 0 419105002 865497088 30763 4294967295 134512640 134569956 3221224416 3221214792 1131361180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 30763 13073 16 0 211287 0
vsize: 845212
[startup+980.049 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 94110 61 0 0 25 0 11 0 419105002 865497088 30819 4294967295 134512640 134569956 3221224416 3221214792 1131362003 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 30819 13073 16 0 211287 0
vsize: 845212
[startup+990.049 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 95074 61 0 0 25 0 11 0 419105002 865497088 30880 4294967295 134512640 134569956 3221224416 3221214792 1131361020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 30880 13073 16 0 211287 0
vsize: 845212
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 96039 62 0 0 25 0 11 0 419105002 865497088 30938 4294967295 134512640 134569956 3221224416 3221214792 1131361150 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 30938 13073 16 0 211287 0
vsize: 845212
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 97005 62 0 0 25 0 11 0 419105002 865497088 31012 4294967295 134512640 134569956 3221224416 3221214792 1131361020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 31012 13073 16 0 211287 0
vsize: 845212
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 97968 62 0 0 25 0 11 0 419105002 865497088 31052 4294967295 134512640 134569956 3221224416 3221214696 1131220289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 31052 13073 16 0 211287 0
vsize: 845212
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 98936 62 0 0 25 0 11 0 419105002 865497088 31114 4294967295 134512640 134569956 3221224416 3221214792 1131362057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 31114 13073 16 0 211287 0
vsize: 845212
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 99904 63 0 0 25 0 11 0 419105002 865497088 31149 4294967295 134512640 134569956 3221224416 3221214792 1131361090 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 31149 13073 16 0 211287 0
vsize: 845212
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 100876 63 0 0 25 0 11 0 419105002 865497088 31174 4294967295 134512640 134569956 3221224416 3221214808 1131430122 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 31174 13073 16 0 211287 0
vsize: 845212
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 101842 64 0 0 25 0 11 0 419105002 865497088 31223 4294967295 134512640 134569956 3221224416 3221214792 1131364527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 31223 13073 16 0 211287 0
vsize: 845212
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 102815 64 0 0 25 0 11 0 419105002 865497088 31241 4294967295 134512640 134569956 3221224416 3221214792 1131362014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 31241 13073 16 0 211287 0
vsize: 845212
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 103782 64 0 0 25 0 11 0 419105002 865497088 31283 4294967295 134512640 134569956 3221224416 3221214788 1131221479 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 31283 13073 16 0 211287 0
vsize: 845212
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 104750 65 0 0 25 0 11 0 419105002 865497088 31338 4294967295 134512640 134569956 3221224416 3221214788 1131498275 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 31338 13073 16 0 211287 0
vsize: 845212
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 105719 65 0 0 25 0 11 0 419105002 865497088 31383 4294967295 134512640 134569956 3221224416 3221214732 1131148262 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 31383 13073 16 0 211287 0
vsize: 845212
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 106691 65 0 0 25 0 11 0 419105002 865497088 31418 4294967295 134512640 134569956 3221224416 3221214792 1131360948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 31418 13073 16 0 211287 0
vsize: 845212
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 107658 66 0 0 25 0 11 0 419105002 865497088 31456 4294967295 134512640 134569956 3221224416 3221214792 1131361053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 31456 13073 16 0 211287 0
vsize: 845212
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 108629 67 0 0 25 0 11 0 419105002 865497088 31499 4294967295 134512640 134569956 3221224416 3221214792 1131362057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 31499 13073 16 0 211287 0
vsize: 845212
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 109595 67 0 0 24 0 11 0 419105002 865497088 31527 4294967295 134512640 134569956 3221224416 3221214696 1131221293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 31527 13073 16 0 211287 0
vsize: 845212
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 110565 67 0 0 25 0 11 0 419105002 865497088 31574 4294967295 134512640 134569956 3221224416 3221214696 1131221470 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 31574 13073 16 0 211287 0
vsize: 845212
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 111535 68 0 0 25 0 11 0 419105002 865497088 31629 4294967295 134512640 134569956 3221224416 3221214744 1131329569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 31629 13073 16 0 211287 0
vsize: 845212
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 112501 68 0 0 25 0 11 0 419105002 865497088 31670 4294967295 134512640 134569956 3221224416 3221214696 1131220671 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 31670 13073 16 0 211287 0
vsize: 845212
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 113462 68 0 0 25 0 11 0 419105002 865497088 31731 4294967295 134512640 134569956 3221224416 3221214696 1131220289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 31731 13073 16 0 211287 0
vsize: 845212
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 114431 68 0 0 17 0 11 0 419105002 865497088 31792 4294967295 134512640 134569956 3221224416 3221214696 1131220396 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 31792 13073 16 0 211287 0
vsize: 845212
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 115395 68 0 0 25 0 11 0 419105002 865497088 31848 4294967295 134512640 134569956 3221224416 3221214792 1131360955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 31848 13073 16 0 211287 0
vsize: 845212
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 116361 69 0 0 25 0 11 0 419105002 865497088 31886 4294967295 134512640 134569956 3221224416 3221214792 1131360955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 31886 13073 16 0 211287 0
vsize: 845212
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 117322 70 0 0 24 0 11 0 419105002 865497088 31922 4294967295 134512640 134569956 3221224416 3221214788 1131220268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 31922 13073 16 0 211287 0
vsize: 845212
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 118288 70 0 0 25 0 11 0 419105002 865497088 32001 4294967295 134512640 134569956 3221224416 3221214696 1131220624 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211303 32001 13073 16 0 211287 0
vsize: 845212
[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 119249 70 0 0 25 0 11 0 419105002 865497088 32108 4294967295 134512640 134569956 3221224416 3221214696 1131221293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 32108 13073 16 0 211287 0
vsize: 845212
[startup+1250.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/64 31534
Raw data (stat): 31522 (java) R 31521 30701 30700 0 -1 0 18105 4 1 0 120210 70 0 0 25 0 11 0 419105002 865497088 32187 4294967295 134512640 134569956 3221224416 3221214792 1131361136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211303 32187 13073 16 0 211287 0
vsize: 845212
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.14 s]
Raw data (loadavg): 1.00 1.00 0.91 1/54 31536
Raw data (stat): 31522 (java) Z 31521 30701 30700 0 -1 1036 18105 22870 1 0 120212 76 5733 65 25 0 1 0 419105002 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.14
CPU time (s): 1260.89
CPU user time (s): 1259.46
CPU system time (s): 1.42478
CPU usage (%): 100.859
Max. virtual memory (Kb): 848320
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####