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/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-CMS750_4.opb
MD5SUMad40fa9446ec809d050488ebdd2a269a
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 770
Biggest coefficient in the objective function 524288
Number of bits for the biggest coefficient in the objective function 20
Sum of the numbers in the objective function 1144575
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 128000000
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 268466430
Number of bits of the biggest sum of numbers29
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark20.1699
Number of variables128716
Total number of constraints28077
Number of constraints which are clauses2438
Number of constraints which are cardinality constraints (but not clauses)7196
Number of constraints which are nor clauses,nor cardinality constraints18443
Minimum length of a constraint1
Maximum length of a constraint55

Trace number 13956

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-04-20 22:25:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20016 boxname=wulflinc28 idbench=1540 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  ad40fa9446ec809d050488ebdd2a269a  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-CMS750_4.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-CMS750_4.opb
IDLAUNCH: 20016
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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	: 3
cpu MHz		: 451.077
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:        610524 kB
Buffers:         33480 kB
Cached:         356608 kB
SwapCached:        164 kB
Active:          96288 kB
Inactive:       296264 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        610244 kB
SwapTotal:     2097640 kB
SwapFree:      2097068 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6088 kB
Slab:            26040 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-20 22:47:53 (client local time) WITH STATUS 143 IN 1334.34 SECONDS
stats: 20016 7 1334.34 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-CMS750_4.opb
c reading problem 
c [nbvar=128716]
c [nbconstr=28077]
#### 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.86 0.95 0.90 2/54 9523
Raw data (stat): 9523 (runsolver) R 9522 10614 10613 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 540028592 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.0005 s]
Raw data (loadavg): 0.88 0.96 0.91 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 880 41 0 0 25 0 10 0 540028592 854011904 19155 4294967295 134512640 134569956 3221224400 3221214556 1076461342 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208499 19155 13073 16 0 208483 0
vsize: 833996
[startup+20.0041 s]
Raw data (loadavg): 0.90 0.96 0.91 2/63 9532
Raw data (stat): 9523 (java) S 9522 10614 10613 0 -1 0 18001 0 1 0 1804 41 0 0 25 0 10 0 540028592 853393408 19406 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208348 19406 13073 16 0 208332 0
vsize: 833392
[startup+30.0048 s]
Raw data (loadavg): 0.91 0.96 0.91 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 2712 41 0 0 25 0 10 0 540028592 853524480 19858 4294967295 134512640 134569956 3221224400 3221214812 1130920740 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208380 19858 13073 16 0 208364 0
vsize: 833520
[startup+40.0056 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 3635 41 0 0 25 0 10 0 540028592 855564288 20499 4294967295 134512640 134569956 3221224400 3221214504 1076461342 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208878 20499 13073 16 0 208862 0
vsize: 835512
[startup+50.0063 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 4561 41 0 0 25 0 10 0 540028592 855183360 20596 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208785 20596 13073 16 0 208769 0
vsize: 835140
[startup+60.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 5487 42 0 0 24 0 10 0 540028592 855183360 20735 4294967295 134512640 134569956 3221224400 3221214548 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208785 20735 13073 16 0 208769 0
vsize: 835140
[startup+70.0057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 6413 42 0 0 25 0 10 0 540028592 854315008 20642 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 20642 13073 16 0 208557 0
vsize: 834292
[startup+80.0084 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 7343 42 0 0 25 0 10 0 540028592 854315008 20834 4294967295 134512640 134569956 3221224400 3221214088 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 20834 13073 16 0 208557 0
vsize: 834292
[startup+90.0079 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 8278 42 0 0 25 0 10 0 540028592 854315008 20933 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 20933 13073 16 0 208557 0
vsize: 834292
[startup+100.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 9214 42 0 0 25 0 10 0 540028592 854315008 21025 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 21025 13073 16 0 208557 0
vsize: 834292
[startup+110.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 10152 42 0 0 25 0 10 0 540028592 854315008 21110 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 21110 13073 16 0 208557 0
vsize: 834292
[startup+120.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 11085 42 0 0 24 0 10 0 540028592 854315008 21195 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 21195 13073 16 0 208557 0
vsize: 834292
[startup+130.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 12022 42 0 0 25 0 10 0 540028592 854315008 21270 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 21270 13073 16 0 208557 0
vsize: 834292
[startup+140.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 12958 42 0 0 25 0 10 0 540028592 854315008 21341 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 21341 13073 16 0 208557 0
vsize: 834292
[startup+150.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 9532
Raw data (stat): 9523 (java) S 9522 10614 10613 0 -1 0 18001 0 1 0 13896 42 0 0 25 0 10 0 540028592 854315008 21410 4294967295 134512640 134569956 3221224400 3221213792 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 21410 13073 16 0 208557 0
vsize: 834292
[startup+160.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 14829 42 0 0 25 0 10 0 540028592 854315008 21479 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 21479 13073 16 0 208557 0
vsize: 834292
[startup+170.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 15765 42 0 0 25 0 10 0 540028592 854315008 21541 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 21541 13073 16 0 208557 0
vsize: 834292
[startup+180.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 16700 43 0 0 25 0 10 0 540028592 854315008 21601 4294967295 134512640 134569956 3221224400 3221214472 1131181932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 21601 13073 16 0 208557 0
vsize: 834292
[startup+190.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 17617 43 0 0 25 0 10 0 540028592 854315008 21659 4294967295 134512640 134569956 3221224400 3221214828 1080204160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 21659 13073 16 0 208557 0
vsize: 834292
[startup+200.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 18535 43 0 0 25 0 10 0 540028592 854315008 21716 4294967295 134512640 134569956 3221224400 3221214296 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 21716 13073 16 0 208557 0
vsize: 834292
[startup+210.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 19465 43 0 0 25 0 10 0 540028592 854315008 21936 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 21936 13073 16 0 208557 0
vsize: 834292
[startup+220.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 20392 43 0 0 25 0 10 0 540028592 854315008 21992 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 21992 13073 16 0 208557 0
vsize: 834292
[startup+230.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 21323 43 0 0 25 0 10 0 540028592 854315008 22044 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 22044 13073 16 0 208557 0
vsize: 834292
[startup+240.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 22253 43 0 0 25 0 10 0 540028592 854315008 22095 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 22095 13073 16 0 208557 0
vsize: 834292
[startup+250.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 23183 43 0 0 25 0 10 0 540028592 854315008 22144 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 22144 13073 16 0 208557 0
vsize: 834292
[startup+260.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 24112 43 0 0 25 0 10 0 540028592 854315008 22193 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 22193 13073 16 0 208557 0
vsize: 834292
[startup+270.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 25036 43 0 0 24 0 10 0 540028592 854315008 22244 4294967295 134512640 134569956 3221224400 3221214200 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 22244 13073 16 0 208557 0
vsize: 834292
[startup+280.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 25965 43 0 0 25 0 10 0 540028592 854315008 22290 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 22290 13073 16 0 208557 0
vsize: 834292
[startup+290.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 26892 43 0 0 25 0 10 0 540028592 854315008 22335 4294967295 134512640 134569956 3221224400 3221214548 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 22335 13073 16 0 208557 0
vsize: 834292
[startup+300.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 27818 43 0 0 25 0 10 0 540028592 854315008 22380 4294967295 134512640 134569956 3221224400 3221214548 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 22380 13073 16 0 208557 0
vsize: 834292
[startup+310.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 28744 43 0 0 25 0 10 0 540028592 854315008 22424 4294967295 134512640 134569956 3221224400 3221214872 1131267891 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 22424 13073 16 0 208557 0
vsize: 834292
[startup+320.043 s]
Raw data (loadavg): 1.08 0.99 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 29669 44 0 0 25 0 10 0 540028592 854315008 22467 4294967295 134512640 134569956 3221224400 3221214552 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 22467 13073 16 0 208557 0
vsize: 834292
[startup+330.044 s]
Raw data (loadavg): 1.07 0.99 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 30594 44 0 0 25 0 10 0 540028592 854315008 22509 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 22509 13073 16 0 208557 0
vsize: 834292
[startup+340.043 s]
Raw data (loadavg): 1.06 0.99 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 31518 44 0 0 25 0 10 0 540028592 854315008 22550 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 22550 13073 16 0 208557 0
vsize: 834292
[startup+350.044 s]
Raw data (loadavg): 1.05 0.99 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 32442 44 0 0 25 0 10 0 540028592 854315008 22591 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 22591 13073 16 0 208557 0
vsize: 834292
[startup+360.044 s]
Raw data (loadavg): 1.04 0.99 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 33365 44 0 0 25 0 10 0 540028592 854315008 22631 4294967295 134512640 134569956 3221224400 3221214472 1131182028 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 22631 13073 16 0 208557 0
vsize: 834292
[startup+370.044 s]
Raw data (loadavg): 1.03 0.99 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 34287 44 0 0 25 0 10 0 540028592 854315008 22670 4294967295 134512640 134569956 3221224400 3221214552 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 22670 13073 16 0 208557 0
vsize: 834292
[startup+380.044 s]
Raw data (loadavg): 1.03 0.99 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 35209 44 0 0 25 0 10 0 540028592 854315008 22709 4294967295 134512640 134569956 3221224400 3221214504 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 22709 13073 16 0 208557 0
vsize: 834292
[startup+390.044 s]
Raw data (loadavg): 1.02 0.99 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 36130 45 0 0 25 0 10 0 540028592 854315008 22747 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 22747 13073 16 0 208557 0
vsize: 834292
[startup+400.045 s]
Raw data (loadavg): 1.02 0.99 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 37050 45 0 0 25 0 10 0 540028592 854315008 22785 4294967295 134512640 134569956 3221224400 3221214352 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 22785 13073 16 0 208557 0
vsize: 834292
[startup+410.045 s]
Raw data (loadavg): 1.02 0.99 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 37970 45 0 0 25 0 10 0 540028592 854315008 22823 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 22823 13073 16 0 208557 0
vsize: 834292
[startup+420.045 s]
Raw data (loadavg): 1.01 0.99 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 38889 45 0 0 25 0 10 0 540028592 854315008 22859 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 22859 13073 16 0 208557 0
vsize: 834292
[startup+430.046 s]
Raw data (loadavg): 1.01 0.99 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 39807 45 0 0 25 0 10 0 540028592 854315008 22897 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 22897 13073 16 0 208557 0
vsize: 834292
[startup+440.047 s]
Raw data (loadavg): 1.01 0.99 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 40725 45 0 0 25 0 10 0 540028592 854315008 22935 4294967295 134512640 134569956 3221224400 3221214296 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 22935 13073 16 0 208557 0
vsize: 834292
[startup+450.047 s]
Raw data (loadavg): 1.01 0.99 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 41644 45 0 0 25 0 10 0 540028592 854315008 22976 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 22976 13073 16 0 208557 0
vsize: 834292
[startup+460.047 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 42561 45 0 0 25 0 10 0 540028592 854315008 23016 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 23016 13073 16 0 208557 0
vsize: 834292
[startup+470.048 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 43477 45 0 0 25 0 10 0 540028592 854315008 23063 4294967295 134512640 134569956 3221224400 3221214532 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 23063 13073 16 0 208557 0
vsize: 834292
[startup+480.048 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 44393 45 0 0 24 0 10 0 540028592 854315008 23112 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 23112 13073 16 0 208557 0
vsize: 834292
[startup+490.052 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 9532
Raw data (stat): 9523 (java) S 9522 10614 10613 0 -1 0 18001 0 1 0 45311 45 0 0 25 0 10 0 540028592 854315008 23147 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 23147 13073 16 0 208557 0
vsize: 834292
[startup+500.053 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 46229 45 0 0 25 0 10 0 540028592 854315008 23203 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 23203 13073 16 0 208557 0
vsize: 834292
[startup+510.053 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 47143 45 0 0 25 0 10 0 540028592 854315008 23242 4294967295 134512640 134569956 3221224400 3221214504 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 23242 13073 16 0 208557 0
vsize: 834292
[startup+520.053 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 48057 45 0 0 21 0 10 0 540028592 854315008 23282 4294967295 134512640 134569956 3221224400 3221214296 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 23282 13073 16 0 208557 0
vsize: 834292
[startup+530.054 s]
Raw data (loadavg): 1.00 0.99 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 48970 46 0 0 25 0 10 0 540028592 854315008 23320 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 23320 13073 16 0 208557 0
vsize: 834292
[startup+540.054 s]
Raw data (loadavg): 1.07 1.01 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 49883 46 0 0 20 0 10 0 540028592 854315008 23357 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 23357 13073 16 0 208557 0
vsize: 834292
[startup+550.058 s]
Raw data (loadavg): 1.06 1.01 0.92 2/63 9532
Raw data (stat): 9523 (java) S 9522 10614 10613 0 -1 0 18001 0 1 0 50798 46 0 0 25 0 10 0 540028592 854315008 23393 4294967295 134512640 134569956 3221224400 3221213592 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 23393 13073 16 0 208557 0
vsize: 834292
[startup+560.061 s]
Raw data (loadavg): 1.05 1.01 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 51712 46 0 0 25 0 10 0 540028592 854315008 23428 4294967295 134512640 134569956 3221224400 3221214656 1130887239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 23428 13073 16 0 208557 0
vsize: 834292
[startup+570.061 s]
Raw data (loadavg): 1.04 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 52623 46 0 0 25 0 10 0 540028592 854315008 23501 4294967295 134512640 134569956 3221224400 3221214356 1079300785 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 23501 13073 16 0 208557 0
vsize: 834292
[startup+580.062 s]
Raw data (loadavg): 1.04 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 53534 46 0 0 25 0 10 0 540028592 854315008 23541 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 23541 13073 16 0 208557 0
vsize: 834292
[startup+590.063 s]
Raw data (loadavg): 1.03 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 54444 46 0 0 25 0 10 0 540028592 854315008 23589 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 23589 13073 16 0 208557 0
vsize: 834292
[startup+600.064 s]
Raw data (loadavg): 1.02 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 55359 46 0 0 25 0 10 0 540028592 854315008 23618 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 23618 13073 16 0 208557 0
vsize: 834292
[startup+610.064 s]
Raw data (loadavg): 1.02 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 56268 46 0 0 25 0 10 0 540028592 854315008 23661 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 23661 13073 16 0 208557 0
vsize: 834292
[startup+620.065 s]
Raw data (loadavg): 1.02 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 57177 47 0 0 25 0 10 0 540028592 854315008 23691 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 23691 13073 16 0 208557 0
vsize: 834292
[startup+630.065 s]
Raw data (loadavg): 1.01 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 58085 48 0 0 24 0 10 0 540028592 854315008 23746 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 23746 13073 16 0 208557 0
vsize: 834292
[startup+640.065 s]
Raw data (loadavg): 1.01 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 59000 48 0 0 25 0 10 0 540028592 854315008 23776 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 23776 13073 16 0 208557 0
vsize: 834292
[startup+650.066 s]
Raw data (loadavg): 1.01 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 59908 48 0 0 25 0 10 0 540028592 854315008 23814 4294967295 134512640 134569956 3221224400 3221214504 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 23814 13073 16 0 208557 0
vsize: 834292
[startup+660.066 s]
Raw data (loadavg): 1.01 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) S 9522 10614 10613 0 -1 0 18001 0 1 0 60815 49 0 0 25 0 10 0 540028592 854315008 23857 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 23857 13073 16 0 208557 0
vsize: 834292
[startup+670.066 s]
Raw data (loadavg): 1.01 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 61728 49 0 0 25 0 10 0 540028592 854315008 23893 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 23893 13073 16 0 208557 0
vsize: 834292
[startup+680.067 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 62635 50 0 0 25 0 10 0 540028592 854315008 23927 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 23927 13073 16 0 208557 0
vsize: 834292
[startup+690.067 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) S 9522 10614 10613 0 -1 0 18001 0 1 0 63544 50 0 0 25 0 10 0 540028592 854315008 23980 4294967295 134512640 134569956 3221224400 3221213792 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 23980 13073 16 0 208557 0
vsize: 834292
[startup+700.068 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 64449 50 0 0 25 0 10 0 540028592 854315008 24638 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 24638 13073 16 0 208557 0
vsize: 834292
[startup+710.068 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 65350 51 0 0 24 0 10 0 540028592 854315008 24643 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 24643 13073 16 0 208557 0
vsize: 834292
[startup+720.068 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 66251 51 0 0 25 0 10 0 540028592 854315008 24672 4294967295 134512640 134569956 3221224400 3221214744 1130890616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 24672 13073 16 0 208557 0
vsize: 834292
[startup+730.069 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18001 0 1 0 67146 52 0 0 24 0 10 0 540028592 854315008 24706 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 24706 13073 16 0 208557 0
vsize: 834292
[startup+740.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 68047 52 0 0 25 0 10 0 540028592 854315008 24732 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 24732 13073 16 0 208557 0
vsize: 834292
[startup+750.071 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) S 9522 10614 10613 0 -1 0 18002 0 1 0 68943 52 0 0 25 0 10 0 540028592 854315008 24770 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 24770 13073 16 0 208557 0
vsize: 834292
[startup+760.071 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 69841 53 0 0 25 0 10 0 540028592 854315008 24797 4294967295 134512640 134569956 3221224400 3221214552 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 24797 13073 16 0 208557 0
vsize: 834292
[startup+770.071 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 70741 53 0 0 25 0 10 0 540028592 854315008 24830 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 24830 13073 16 0 208557 0
vsize: 834292
[startup+780.072 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 71633 53 0 0 25 0 10 0 540028592 854315008 24861 4294967295 134512640 134569956 3221224400 3221214296 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 24861 13073 16 0 208557 0
vsize: 834292
[startup+790.072 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 72531 53 0 0 25 0 10 0 540028592 854315008 24888 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 24888 13073 16 0 208557 0
vsize: 834292
[startup+800.073 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 73423 53 0 0 25 0 10 0 540028592 854315008 24921 4294967295 134512640 134569956 3221224400 3221214504 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 24921 13073 16 0 208557 0
vsize: 834292
[startup+810.073 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 74320 53 0 0 25 0 10 0 540028592 854315008 24951 4294967295 134512640 134569956 3221224400 3221214552 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 24951 13073 16 0 208557 0
vsize: 834292
[startup+820.076 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) S 9522 10614 10613 0 -1 0 18002 0 1 0 75215 54 0 0 25 0 10 0 540028592 854315008 24979 4294967295 134512640 134569956 3221224400 3221213792 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 24979 13073 16 0 208557 0
vsize: 834292
[startup+830.077 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 76106 54 0 0 25 0 10 0 540028592 854315008 25009 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 25009 13073 16 0 208557 0
vsize: 834292
[startup+840.077 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 77002 54 0 0 25 0 10 0 540028592 854315008 25035 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 25035 13073 16 0 208557 0
vsize: 834292
[startup+850.078 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 77891 54 0 0 24 0 10 0 540028592 854315008 25060 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 25060 13073 16 0 208557 0
vsize: 834292
[startup+860.079 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 78787 54 0 0 25 0 10 0 540028592 854315008 25098 4294967295 134512640 134569956 3221224400 3221214552 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 25098 13073 16 0 208557 0
vsize: 834292
[startup+870.078 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 79682 54 0 0 25 0 10 0 540028592 854315008 25126 4294967295 134512640 134569956 3221224400 3221214296 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 25126 13073 16 0 208557 0
vsize: 834292
[startup+880.079 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 80570 54 0 0 24 0 10 0 540028592 854315008 25155 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 25155 13073 16 0 208557 0
vsize: 834292
[startup+890.079 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 81465 54 0 0 19 0 10 0 540028592 854315008 25178 4294967295 134512640 134569956 3221224400 3221214352 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 25178 13073 16 0 208557 0
vsize: 834292
[startup+900.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 82359 54 0 0 22 0 10 0 540028592 854315008 25201 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 25201 13073 16 0 208557 0
vsize: 834292
[startup+910.081 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 83247 54 0 0 18 0 10 0 540028592 854315008 25226 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 25226 13073 16 0 208557 0
vsize: 834292
[startup+920.081 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 84140 54 0 0 20 0 10 0 540028592 854315008 25265 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 25265 13073 16 0 208557 0
vsize: 834292
[startup+930.082 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 85033 54 0 0 21 0 10 0 540028592 854315008 25287 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 25287 13073 16 0 208557 0
vsize: 834292
[startup+940.086 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 85918 54 0 0 17 0 10 0 540028592 854315008 25318 4294967295 134512640 134569956 3221224400 3221213856 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 25318 13073 16 0 208557 0
vsize: 834292
[startup+950.087 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 86810 54 0 0 18 0 10 0 540028592 854315008 25347 4294967295 134512640 134569956 3221224400 3221214548 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 25347 13073 16 0 208557 0
vsize: 834292
[startup+960.088 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 87702 54 0 0 20 0 10 0 540028592 854315008 25370 4294967295 134512640 134569956 3221224400 3221214620 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 25370 13073 16 0 208557 0
vsize: 834292
[startup+970.088 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 88593 54 0 0 22 0 10 0 540028592 854315008 25401 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 25401 13073 16 0 208557 0
vsize: 834292
[startup+980.09 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 89477 55 0 0 17 0 10 0 540028592 854315008 25430 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 25430 13073 16 0 208557 0
vsize: 834292
[startup+990.09 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 90369 55 0 0 18 0 10 0 540028592 854315008 25452 4294967295 134512640 134569956 3221224400 3221214548 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 25452 13073 16 0 208557 0
vsize: 834292
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 91259 55 0 0 21 0 10 0 540028592 854315008 25483 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 25483 13073 16 0 208557 0
vsize: 834292
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 92153 55 0 0 22 0 10 0 540028592 854315008 25515 4294967295 134512640 134569956 3221224400 3221214296 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 25515 13073 16 0 208557 0
vsize: 834292
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 93039 55 0 0 18 0 10 0 540028592 854315008 25551 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 25551 13073 16 0 208557 0
vsize: 834292
[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 93937 55 0 0 20 0 10 0 540028592 854315008 25566 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 25566 13073 16 0 208557 0
vsize: 834292
[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) S 9522 10614 10613 0 -1 0 18002 0 1 0 94833 55 0 0 22 0 10 0 540028592 854315008 25599 4294967295 134512640 134569956 3221224400 3221213860 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 25599 13073 16 0 208557 0
vsize: 834292
[startup+1050.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 95722 56 0 0 17 0 10 0 540028592 854315008 25599 4294967295 134512640 134569956 3221224400 3221214792 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 25599 13073 16 0 208557 0
vsize: 834292
[startup+1060.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 96619 56 0 0 20 0 10 0 540028592 854315008 25634 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 25634 13073 16 0 208557 0
vsize: 834292
[startup+1070.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) S 9522 10614 10613 0 -1 0 18002 0 1 0 97518 56 0 0 23 0 10 0 540028592 854315008 25680 4294967295 134512640 134569956 3221224400 3221213788 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 25680 13073 16 0 208557 0
vsize: 834292
[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 98416 56 0 0 20 0 10 0 540028592 854315008 25827 4294967295 134512640 134569956 3221224400 3221214296 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 25827 13073 16 0 208557 0
vsize: 834292
[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 99316 56 0 0 22 0 10 0 540028592 854315008 25836 4294967295 134512640 134569956 3221224400 3221214828 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 25836 13073 16 0 208557 0
vsize: 834292
[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 100209 56 0 0 18 0 10 0 540028592 854315008 25998 4294967295 134512640 134569956 3221224400 3221214656 1130887239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 25998 13073 16 0 208557 0
vsize: 834292
[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 101111 56 0 0 20 0 10 0 540028592 854315008 26254 4294967295 134512640 134569956 3221224400 3221214620 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 26254 13073 16 0 208557 0
vsize: 834292
[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 102008 56 0 0 23 0 10 0 540028592 854315008 26292 4294967295 134512640 134569956 3221224400 3221214296 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 26292 13073 16 0 208557 0
vsize: 834292
[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 102901 57 0 0 18 0 10 0 540028592 854315008 26311 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 26311 13073 16 0 208557 0
vsize: 834292
[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 103800 57 0 0 21 0 10 0 540028592 854315008 26451 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 26451 13073 16 0 208557 0
vsize: 834292
[startup+1150.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 104700 57 0 0 23 0 10 0 540028592 854315008 26478 4294967295 134512640 134569956 3221224400 3221214548 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 26478 13073 16 0 208557 0
vsize: 834292
[startup+1160.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 105594 57 0 0 18 0 10 0 540028592 854315008 26621 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 26621 13073 16 0 208557 0
vsize: 834292
[startup+1170.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 106491 57 0 0 19 0 10 0 540028592 854315008 26628 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 26628 13073 16 0 208557 0
vsize: 834292
[startup+1180.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 107386 57 0 0 22 0 10 0 540028592 854315008 26803 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 26803 13073 16 0 208557 0
vsize: 834292
[startup+1190.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 108273 57 0 0 18 0 10 0 540028592 854315008 26820 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 26820 13073 16 0 208557 0
vsize: 834292
[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 109170 57 0 0 19 0 10 0 540028592 854315008 26844 4294967295 134512640 134569956 3221224400 3221214296 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 26844 13073 16 0 208557 0
vsize: 834292
[startup+1210.12 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 110069 57 0 0 21 0 10 0 540028592 854315008 27250 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 27250 13073 16 0 208557 0
vsize: 834292
[startup+1220.13 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 110961 58 0 0 18 0 10 0 540028592 854315008 27652 4294967295 134512640 134569956 3221224400 3221214504 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 27652 13073 16 0 208557 0
vsize: 834292
[startup+1230.13 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 111860 58 0 0 20 0 10 0 540028592 854315008 28312 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 28312 13073 16 0 208557 0
vsize: 834292
[startup+1240.13 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 112759 58 0 0 22 0 10 0 540028592 854315008 29100 4294967295 134512640 134569956 3221224400 3221214296 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 29100 13073 16 0 208557 0
vsize: 834292
[startup+1250.13 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 113650 58 0 0 18 0 10 0 540028592 854315008 29892 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 29892 13073 16 0 208557 0
vsize: 834292
[startup+1260.13 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 114547 58 0 0 19 0 10 0 540028592 854315008 30570 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 30570 13073 16 0 208557 0
vsize: 834292
[startup+1270.13 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 115444 59 0 0 21 0 10 0 540028592 854315008 31370 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208573 31370 13073 16 0 208557 0
vsize: 834292
[startup+1280.13 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) S 9522 10614 10613 0 -1 0 18002 0 1 0 116341 59 0 0 22 0 10 0 540028592 854315008 32170 4294967295 134512640 134569956 3221224400 3221213792 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 32170 13073 16 0 208557 0
vsize: 834292
[startup+1290.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 117231 59 0 0 18 0 10 0 540028592 854315008 32974 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 32974 13073 16 0 208557 0
vsize: 834292
[startup+1300.13 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 118127 59 0 0 20 0 10 0 540028592 854315008 33778 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 33778 13073 16 0 208557 0
vsize: 834292
[startup+1310.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 119022 60 0 0 20 0 10 0 540028592 854315008 34468 4294967295 134512640 134569956 3221224400 3221214296 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 34468 13073 16 0 208557 0
vsize: 834292
[startup+1320.13 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) S 9522 10614 10613 0 -1 0 18002 0 1 0 119916 60 0 0 23 0 10 0 540028592 854315008 35305 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 35311 13073 16 0 208557 0
vsize: 834292
[startup+1330.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/63 9532
Raw data (stat): 9523 (java) R 9522 10614 10613 0 -1 0 18002 0 1 0 120804 61 0 0 18 0 10 0 540028592 854315008 36093 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208573 36093 13073 16 0 208557 0
vsize: 834292
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1330.23 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 9533
Raw data (stat): 9523 (java) Z 9522 10614 10613 0 -1 1036 18002 20042 1 0 120806 67 12492 67 19 0 1 0 540028592 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): 1330.23
CPU time (s): 1334.34
CPU user time (s): 1332.99
CPU system time (s): 1.35479
CPU usage (%): 100.309
Max. virtual memory (Kb): 835512
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####