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/MIPLIB/miplib3/normalized-mps-v2-13-7-flugpl.opb
MD5SUM1b5898327a7b85a882e36ea549878fdf
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1843200
Optimality of the best value was proved NO
Number of terms in the objective function 195
Biggest coefficient in the objective function 47185920
Number of bits for the biggest coefficient in the objective function 26
Sum of the numbers in the objective function 103639200
Number of bits of the sum of numbers in the objective function 27
Biggest number in a constraint 78643200
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 159755625
Number of bits of the biggest sum of numbers28
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.181972
Number of variables195
Total number of constraints29
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints29
Minimum length of a constraint5
Maximum length of a constraint45

Trace number 18234

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc17 THE 2005-04-21 14:02:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18365 boxname=wulflinc17 idbench=1413 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  1b5898327a7b85a882e36ea549878fdf  /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-flugpl.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-flugpl.opb
IDLAUNCH: 18365
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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:        879280 kB
Buffers:         17148 kB
Cached:         111616 kB
SwapCached:        436 kB
Active:          46224 kB
Inactive:        85276 kB
HighTotal:      131008 kB
HighFree:        21784 kB
LowTotal:       903652 kB
LowFree:        857496 kB
SwapTotal:     2097892 kB
SwapFree:      2097220 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6032 kB
Slab:            18176 kB
Committed_AS:    63820 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 14:22:45 (client local time) WITH STATUS 143 IN 1262.66 SECONDS
stats: 18365 7 1262.66 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-flugpl.opb
c reading problem 
c [nbvar=195]
c [nbconstr=29]
c time 0.628
c #vars     195
c #clauses  35
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=2121982
c Current CPU time (ms) : 15.437
c starts	: 2
c conflicts	: 212
c decisions	: 470
c propagations	: 1447
c inspects	: 7832
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 212
c root simplifications	: 2
c 
c CURRENT OPTIMUM=2005760
c Current CPU time (ms) : 25.778
c starts	: 3
c conflicts	: 292
c decisions	: 960
c propagations	: 2625
c inspects	: 14979
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 292
c root simplifications	: 9
c 
c CURRENT OPTIMUM=1921792
c Current CPU time (ms) : 28.917
c starts	: 4
c conflicts	: 308
c decisions	: 1186
c propagations	: 3110
c inspects	: 17599
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 308
c root simplifications	: 13
c 
c CURRENT OPTIMUM=1917184
c Current CPU time (ms) : 31.09
c starts	: 5
c conflicts	: 327
c decisions	: 1370
c propagations	: 3537
c inspects	: 20452
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 327
c root simplifications	: 15
#### 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.71 0.93 0.90 2/55 31389
Raw data (stat): 31389 (runsolver) R 31388 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 545651964 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.0007 s]
Raw data (loadavg): 0.92 0.96 0.91 4/65 31399
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 9731 0 1 0 674 21 0 0 25 0 11 0 545651964 891715584 18279 4294967295 134512640 134569956 3221224400 3221214752 1131243955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 217704 18280 13073 16 0 217688 0
vsize: 870816
[startup+20.0013 s]
Raw data (loadavg): 1.24 1.03 0.93 4/65 31400
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18267 4 1 0 1476 40 0 0 25 0 11 0 545651964 909582336 31489 4294967295 134512640 134569956 3221224400 3221214260 1085679264 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 222066 31489 13073 16 0 222050 0
vsize: 888264
[startup+30.002 s]
Raw data (loadavg): 1.51 1.09 0.95 4/65 31402
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 2009 40 0 0 25 0 11 0 545651964 904491008 30981 4294967295 134512640 134569956 3221224400 3221214632 1131446544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 30981 13073 16 0 220807 0
vsize: 883292
[startup+40.0026 s]
Raw data (loadavg): 1.58 1.12 0.97 2/65 31403
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 2899 40 0 0 25 0 11 0 545651964 904491008 31145 4294967295 134512640 134569956 3221224400 3221214776 1131245663 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 31145 13073 16 0 220807 0
vsize: 883292
[startup+50.0042 s]
Raw data (loadavg): 1.49 1.12 0.97 2/65 31403
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 3877 40 0 0 25 0 11 0 545651964 904491008 31243 4294967295 134512640 134569956 3221224400 3221214776 1131240630 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 31243 13073 16 0 220807 0
vsize: 883292
[startup+60.0049 s]
Raw data (loadavg): 1.41 1.11 0.97 2/65 31403
Raw data (stat): 31389 (java) S 31388 20838 20837 0 -1 0 18270 4 1 0 4854 40 0 0 25 0 11 0 545651964 904491008 31323 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 31323 13073 16 0 220807 0
vsize: 883292
[startup+70.0054 s]
Raw data (loadavg): 1.35 1.11 0.97 2/65 31403
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 5836 41 0 0 25 0 11 0 545651964 904491008 31499 4294967295 134512640 134569956 3221224400 3221214776 1131245736 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 31499 13073 16 0 220807 0
vsize: 883292
[startup+80.006 s]
Raw data (loadavg): 1.29 1.11 0.97 2/65 31403
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 6826 41 0 0 25 0 11 0 545651964 904491008 31533 4294967295 134512640 134569956 3221224400 3221214776 1131252680 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 31533 13073 16 0 220807 0
vsize: 883292
[startup+90.0069 s]
Raw data (loadavg): 1.33 1.12 0.97 2/65 31403
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 7814 41 0 0 25 0 11 0 545651964 904491008 31598 4294967295 134512640 134569956 3221224400 3221214752 1131248181 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 31598 13073 16 0 220807 0
vsize: 883292
[startup+100.007 s]
Raw data (loadavg): 1.28 1.11 0.97 2/65 31403
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 8801 42 0 0 25 0 11 0 545651964 904491008 31634 4294967295 134512640 134569956 3221224400 3221214480 1085632287 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 31634 13073 16 0 220807 0
vsize: 883292
[startup+110.008 s]
Raw data (loadavg): 1.23 1.11 0.97 2/65 31403
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 9788 42 0 0 25 0 11 0 545651964 904491008 31674 4294967295 134512640 134569956 3221224400 3221214752 1131248095 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 31674 13073 16 0 220807 0
vsize: 883292
[startup+120.009 s]
Raw data (loadavg): 1.20 1.11 0.97 2/65 31405
Raw data (stat): 31389 (java) S 31388 20838 20837 0 -1 0 18270 4 1 0 10774 42 0 0 25 0 11 0 545651964 904491008 31724 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 31724 13073 16 0 220807 0
vsize: 883292
[startup+130.009 s]
Raw data (loadavg): 1.17 1.10 0.97 2/65 31405
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 11762 43 0 0 25 0 11 0 545651964 904491008 31803 4294967295 134512640 134569956 3221224400 3221214752 1131240695 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 31803 13073 16 0 220807 0
vsize: 883292
[startup+140.01 s]
Raw data (loadavg): 1.14 1.10 0.97 2/65 31405
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 12752 43 0 0 25 0 11 0 545651964 904491008 31861 4294967295 134512640 134569956 3221224400 3221214752 1131250768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 31861 13073 16 0 220807 0
vsize: 883292
[startup+150.012 s]
Raw data (loadavg): 1.12 1.09 0.97 2/65 31405
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 13743 43 0 0 25 0 11 0 545651964 904491008 31905 4294967295 134512640 134569956 3221224400 3221214752 1131242589 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 31905 13073 16 0 220807 0
vsize: 883292
[startup+160.012 s]
Raw data (loadavg): 1.10 1.09 0.97 2/65 31405
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 14732 44 0 0 25 0 11 0 545651964 904491008 31953 4294967295 134512640 134569956 3221224400 3221214752 1131242593 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 31953 13073 16 0 220807 0
vsize: 883292
[startup+170.012 s]
Raw data (loadavg): 1.08 1.09 0.97 2/65 31405
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 15723 45 0 0 25 0 11 0 545651964 904491008 31999 4294967295 134512640 134569956 3221224400 3221214752 1131255739 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 31999 13073 16 0 220807 0
vsize: 883292
[startup+180.012 s]
Raw data (loadavg): 1.07 1.08 0.97 2/65 31405
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 16714 45 0 0 25 0 11 0 545651964 904491008 32044 4294967295 134512640 134569956 3221224400 3221214688 1131447424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 32044 13073 16 0 220807 0
vsize: 883292
[startup+190.013 s]
Raw data (loadavg): 1.06 1.08 0.97 2/65 31405
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 17705 45 0 0 25 0 11 0 545651964 904491008 32086 4294967295 134512640 134569956 3221224400 3221214752 1131244832 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 32086 13073 16 0 220807 0
vsize: 883292
[startup+200.013 s]
Raw data (loadavg): 1.05 1.08 0.97 2/65 31407
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 18694 46 0 0 25 0 11 0 545651964 904491008 32126 4294967295 134512640 134569956 3221224400 3221214752 1131241714 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 32126 13073 16 0 220807 0
vsize: 883292
[startup+210.014 s]
Raw data (loadavg): 1.04 1.07 0.97 2/65 31407
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 19685 46 0 0 25 0 11 0 545651964 904491008 32166 4294967295 134512640 134569956 3221224400 3221214752 1131244252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 32166 13073 16 0 220807 0
vsize: 883292
[startup+220.015 s]
Raw data (loadavg): 1.04 1.07 0.97 2/65 31407
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 20675 47 0 0 25 0 11 0 545651964 904491008 32209 4294967295 134512640 134569956 3221224400 3221214752 1131240431 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 32209 13073 16 0 220807 0
vsize: 883292
[startup+230.015 s]
Raw data (loadavg): 1.03 1.07 0.97 2/65 31407
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 21665 47 0 0 25 0 11 0 545651964 904491008 32259 4294967295 134512640 134569956 3221224400 3221214752 1131249730 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 32259 13073 16 0 220807 0
vsize: 883292
[startup+240.016 s]
Raw data (loadavg): 1.02 1.07 0.97 2/65 31407
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 22656 48 0 0 25 0 11 0 545651964 904491008 32297 4294967295 134512640 134569956 3221224400 3221214752 1131252680 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 32297 13073 16 0 220807 0
vsize: 883292
[startup+250.017 s]
Raw data (loadavg): 1.02 1.06 0.97 2/65 31407
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 23645 48 0 0 25 0 11 0 545651964 904491008 32337 4294967295 134512640 134569956 3221224400 3221214752 1131250790 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 32337 13073 16 0 220807 0
vsize: 883292
[startup+260.018 s]
Raw data (loadavg): 1.02 1.06 0.97 2/65 31407
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 24632 48 0 0 25 0 11 0 545651964 904491008 32380 4294967295 134512640 134569956 3221224400 3221214752 1131250568 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 32380 13073 16 0 220807 0
vsize: 883292
[startup+270.018 s]
Raw data (loadavg): 1.01 1.06 0.97 2/65 31407
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 25616 49 0 0 24 0 11 0 545651964 904491008 32454 4294967295 134512640 134569956 3221224400 3221214752 1131255739 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 32454 13073 16 0 220807 0
vsize: 883292
[startup+280.018 s]
Raw data (loadavg): 1.01 1.06 0.97 2/65 31407
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 26600 49 0 0 25 0 11 0 545651964 904491008 32522 4294967295 134512640 134569956 3221224400 3221214752 1131242432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 32522 13073 16 0 220807 0
vsize: 883292
[startup+290.019 s]
Raw data (loadavg): 1.01 1.05 0.97 2/65 31407
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 27583 50 0 0 25 0 11 0 545651964 904491008 32588 4294967295 134512640 134569956 3221224400 3221214752 1131244867 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 32588 13073 16 0 220807 0
vsize: 883292
[startup+300.019 s]
Raw data (loadavg): 1.01 1.05 0.97 2/65 31407
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 28570 50 0 0 25 0 11 0 545651964 904491008 32701 4294967295 134512640 134569956 3221224400 3221214752 1131244886 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 32701 13073 16 0 220807 0
vsize: 883292
[startup+310.02 s]
Raw data (loadavg): 1.01 1.05 0.97 2/65 31407
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 29560 51 0 0 25 0 11 0 545651964 904491008 32749 4294967295 134512640 134569956 3221224400 3221214752 1131240623 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 32749 13073 16 0 220807 0
vsize: 883292
[startup+320.021 s]
Raw data (loadavg): 1.00 1.05 0.97 2/65 31407
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 30548 51 0 0 25 0 11 0 545651964 904491008 32813 4294967295 134512640 134569956 3221224400 3221214752 1131241750 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 32813 13073 16 0 220807 0
vsize: 883292
[startup+330.021 s]
Raw data (loadavg): 1.00 1.05 0.97 2/65 31407
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 31538 51 0 0 25 0 11 0 545651964 904491008 32861 4294967295 134512640 134569956 3221224400 3221214752 1131249597 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 32861 13073 16 0 220807 0
vsize: 883292
[startup+340.022 s]
Raw data (loadavg): 1.00 1.04 0.97 2/65 31407
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 32528 52 0 0 25 0 11 0 545651964 904491008 32916 4294967295 134512640 134569956 3221224400 3221214752 1131246012 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 32916 13073 16 0 220807 0
vsize: 883292
[startup+350.023 s]
Raw data (loadavg): 1.00 1.04 0.97 2/65 31407
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 33517 53 0 0 25 0 11 0 545651964 904491008 32967 4294967295 134512640 134569956 3221224400 3221214752 1131242589 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 32967 13073 16 0 220807 0
vsize: 883292
[startup+360.024 s]
Raw data (loadavg): 1.00 1.04 0.97 2/65 31407
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 34507 53 0 0 25 0 11 0 545651964 904491008 33017 4294967295 134512640 134569956 3221224400 3221214752 1131244962 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 33017 13073 16 0 220807 0
vsize: 883292
[startup+370.024 s]
Raw data (loadavg): 1.00 1.04 0.97 2/65 31407
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 35497 53 0 0 25 0 11 0 545651964 904491008 33065 4294967295 134512640 134569956 3221224400 3221214752 1131250742 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 33065 13073 16 0 220807 0
vsize: 883292
[startup+380.024 s]
Raw data (loadavg): 1.00 1.04 0.97 2/65 31407
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 36487 54 0 0 25 0 11 0 545651964 904491008 33102 4294967295 134512640 134569956 3221224400 3221214792 1131856480 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 33102 13073 16 0 220807 0
vsize: 883292
[startup+390.025 s]
Raw data (loadavg): 1.00 1.03 0.97 2/65 31407
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 37477 54 0 0 25 0 11 0 545651964 904491008 33151 4294967295 134512640 134569956 3221224400 3221214752 1131248140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 33151 13073 16 0 220807 0
vsize: 883292
[startup+400.025 s]
Raw data (loadavg): 1.00 1.03 0.97 2/65 31407
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 38467 55 0 0 25 0 11 0 545651964 904491008 33201 4294967295 134512640 134569956 3221224400 3221214752 1131241655 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 33201 13073 16 0 220807 0
vsize: 883292
[startup+410.026 s]
Raw data (loadavg): 1.00 1.03 0.97 2/65 31407
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 39457 55 0 0 25 0 11 0 545651964 904491008 33244 4294967295 134512640 134569956 3221224400 3221214752 1131250537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 33244 13073 16 0 220807 0
vsize: 883292
[startup+420.027 s]
Raw data (loadavg): 1.00 1.03 0.97 2/65 31409
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 40447 56 0 0 25 0 11 0 545651964 904491008 33282 4294967295 134512640 134569956 3221224400 3221214688 1131713807 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 33282 13073 16 0 220807 0
vsize: 883292
[startup+430.027 s]
Raw data (loadavg): 1.00 1.03 0.97 2/65 31409
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 41436 56 0 0 25 0 11 0 545651964 904491008 33329 4294967295 134512640 134569956 3221224400 3221214752 1131250746 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 33329 13073 16 0 220807 0
vsize: 883292
[startup+440.027 s]
Raw data (loadavg): 1.00 1.03 0.97 2/65 31409
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 42426 56 0 0 25 0 11 0 545651964 904491008 33373 4294967295 134512640 134569956 3221224400 3221214752 1131253745 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 33373 13073 16 0 220807 0
vsize: 883292
[startup+450.029 s]
Raw data (loadavg): 1.00 1.03 0.97 2/65 31409
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 43416 57 0 0 25 0 11 0 545651964 904491008 33423 4294967295 134512640 134569956 3221224400 3221214752 1131255739 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 33423 13073 16 0 220807 0
vsize: 883292
[startup+460.03 s]
Raw data (loadavg): 1.00 1.02 0.97 2/65 31409
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 44407 57 0 0 25 0 11 0 545651964 904491008 33465 4294967295 134512640 134569956 3221224400 3221214752 1131251170 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 33465 13073 16 0 220807 0
vsize: 883292
[startup+470.029 s]
Raw data (loadavg): 1.00 1.02 0.97 2/65 31409
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 45396 58 0 0 25 0 11 0 545651964 904491008 33508 4294967295 134512640 134569956 3221224400 3221214752 1131242589 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 33508 13073 16 0 220807 0
vsize: 883292
[startup+480.03 s]
Raw data (loadavg): 1.00 1.02 0.97 2/65 31409
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 46386 58 0 0 25 0 11 0 545651964 904491008 33553 4294967295 134512640 134569956 3221224400 3221214752 1131253621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 33553 13073 16 0 220807 0
vsize: 883292
[startup+490.031 s]
Raw data (loadavg): 1.00 1.02 0.97 2/65 31409
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 47376 58 0 0 25 0 11 0 545651964 904491008 33596 4294967295 134512640 134569956 3221224400 3221214752 1131240630 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 33596 13073 16 0 220807 0
vsize: 883292
[startup+500.031 s]
Raw data (loadavg): 1.00 1.02 0.97 2/65 31409
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 48367 59 0 0 25 0 11 0 545651964 904491008 33638 4294967295 134512640 134569956 3221224400 3221214752 1131245777 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 33638 13073 16 0 220807 0
vsize: 883292
[startup+510.031 s]
Raw data (loadavg): 1.00 1.02 0.97 2/65 31409
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 49357 59 0 0 25 0 11 0 545651964 904491008 33679 4294967295 134512640 134569956 3221224400 3221214752 1131248043 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 33679 13073 16 0 220807 0
vsize: 883292
[startup+520.032 s]
Raw data (loadavg): 1.00 1.02 0.97 2/65 31409
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 50347 59 0 0 25 0 11 0 545651964 904491008 33720 4294967295 134512640 134569956 3221224400 3221214560 1131717520 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 33720 13073 16 0 220807 0
vsize: 883292
[startup+530.032 s]
Raw data (loadavg): 1.00 1.02 0.97 2/65 31409
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 51338 59 0 0 25 0 11 0 545651964 904491008 33758 4294967295 134512640 134569956 3221224400 3221214752 1131242589 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 33758 13073 16 0 220807 0
vsize: 883292
[startup+540.032 s]
Raw data (loadavg): 1.00 1.02 0.97 2/65 31409
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 52328 59 0 0 25 0 11 0 545651964 904491008 33804 4294967295 134512640 134569956 3221224400 3221214752 1131253932 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 33804 13073 16 0 220807 0
vsize: 883292
[startup+550.032 s]
Raw data (loadavg): 1.00 1.02 0.97 2/65 31409
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 53318 59 0 0 25 0 11 0 545651964 904491008 33844 4294967295 134512640 134569956 3221224400 3221214752 1131244811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 33844 13073 16 0 220807 0
vsize: 883292
[startup+560.033 s]
Raw data (loadavg): 1.00 1.02 0.97 2/65 31409
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 54308 59 0 0 25 0 11 0 545651964 904491008 33885 4294967295 134512640 134569956 3221224400 3221214752 1131245777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 33885 13073 16 0 220807 0
vsize: 883292
[startup+570.033 s]
Raw data (loadavg): 1.00 1.01 0.97 2/65 31409
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 55298 59 0 0 25 0 11 0 545651964 904491008 33926 4294967295 134512640 134569956 3221224400 3221214752 1131246878 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 33926 13073 16 0 220807 0
vsize: 883292
[startup+580.033 s]
Raw data (loadavg): 1.00 1.01 0.97 2/65 31409
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 56289 59 0 0 25 0 11 0 545651964 904491008 33968 4294967295 134512640 134569956 3221224400 3221214752 1131241631 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 33968 13073 16 0 220807 0
vsize: 883292
[startup+590.034 s]
Raw data (loadavg): 1.00 1.01 0.97 2/65 31409
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 57279 59 0 0 25 0 11 0 545651964 904491008 34006 4294967295 134512640 134569956 3221224400 3221214424 1085679293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 34006 13073 16 0 220807 0
vsize: 883292
[startup+600.034 s]
Raw data (loadavg): 1.00 1.01 0.97 2/65 31409
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 58270 59 0 0 25 0 11 0 545651964 904491008 34046 4294967295 134512640 134569956 3221224400 3221214752 1131244832 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 34046 13073 16 0 220807 0
vsize: 883292
[startup+610.035 s]
Raw data (loadavg): 1.00 1.01 0.97 2/65 31409
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 59260 59 0 0 25 0 11 0 545651964 904491008 34080 4294967295 134512640 134569956 3221224400 3221214752 1131250537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 34080 13073 16 0 220807 0
vsize: 883292
[startup+620.035 s]
Raw data (loadavg): 1.00 1.01 0.97 2/65 31409
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 60249 59 0 0 25 0 11 0 545651964 904491008 34117 4294967295 134512640 134569956 3221224400 3221214752 1131251448 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 34117 13073 16 0 220807 0
vsize: 883292
[startup+630.035 s]
Raw data (loadavg): 1.00 1.01 0.97 2/65 31409
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 61239 60 0 0 25 0 11 0 545651964 904491008 34170 4294967295 134512640 134569956 3221224400 3221214752 1131253580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 34170 13073 16 0 220807 0
vsize: 883292
[startup+640.036 s]
Raw data (loadavg): 1.00 1.01 0.97 2/65 31409
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 62229 60 0 0 25 0 11 0 545651964 904491008 34209 4294967295 134512640 134569956 3221224400 3221214752 1131245777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 34209 13073 16 0 220807 0
vsize: 883292
[startup+650.037 s]
Raw data (loadavg): 1.00 1.01 0.97 2/65 31409
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 63219 60 0 0 25 0 11 0 545651964 904491008 34243 4294967295 134512640 134569956 3221224400 3221214752 1131246032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 34243 13073 16 0 220807 0
vsize: 883292
[startup+660.037 s]
Raw data (loadavg): 1.00 1.01 0.97 2/65 31409
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 64209 60 0 0 25 0 11 0 545651964 904491008 34284 4294967295 134512640 134569956 3221224400 3221214752 1131255739 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 34284 13073 16 0 220807 0
vsize: 883292
[startup+670.038 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31409
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 65199 60 0 0 25 0 11 0 545651964 904491008 34330 4294967295 134512640 134569956 3221224400 3221214640 1131458556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 34330 13073 16 0 220807 0
vsize: 883292
[startup+680.038 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31409
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 66189 60 0 0 25 0 11 0 545651964 904491008 34367 4294967295 134512640 134569956 3221224400 3221214752 1131252680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 34367 13073 16 0 220807 0
vsize: 883292
[startup+690.039 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31409
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 67180 60 0 0 25 0 11 0 545651964 904491008 34404 4294967295 134512640 134569956 3221224400 3221214752 1131255751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 34404 13073 16 0 220807 0
vsize: 883292
[startup+700.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31409
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 68170 60 0 0 25 0 11 0 545651964 904491008 34443 4294967295 134512640 134569956 3221224400 3221214752 1131245777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 34443 13073 16 0 220807 0
vsize: 883292
[startup+710.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31409
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 69160 60 0 0 25 0 11 0 545651964 904491008 34484 4294967295 134512640 134569956 3221224400 3221214752 1131245871 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 34484 13073 16 0 220807 0
vsize: 883292
[startup+720.039 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31411
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 70151 60 0 0 25 0 11 0 545651964 904491008 34520 4294967295 134512640 134569956 3221224400 3221214752 1131241828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 34520 13073 16 0 220807 0
vsize: 883292
[startup+730.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31411
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 71141 60 0 0 25 0 11 0 545651964 904491008 34557 4294967295 134512640 134569956 3221224400 3221214752 1131253621 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 34557 13073 16 0 220807 0
vsize: 883292
[startup+740.041 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31411
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 72131 60 0 0 25 0 11 0 545651964 904491008 34586 4294967295 134512640 134569956 3221224400 3221214752 1131245828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 34586 13073 16 0 220807 0
vsize: 883292
[startup+750.041 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31411
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 73121 60 0 0 25 0 11 0 545651964 904491008 34623 4294967295 134512640 134569956 3221224400 3221214752 1131255281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 34623 13073 16 0 220807 0
vsize: 883292
[startup+760.042 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31411
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 74110 60 0 0 25 0 11 0 545651964 904491008 34664 4294967295 134512640 134569956 3221224400 3221214512 1131458583 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 34664 13073 16 0 220807 0
vsize: 883292
[startup+770.043 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31411
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 75100 60 0 0 25 0 11 0 545651964 904491008 34711 4294967295 134512640 134569956 3221224400 3221214712 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 34711 13073 16 0 220807 0
vsize: 883292
[startup+780.043 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31411
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 76090 61 0 0 25 0 11 0 545651964 904491008 34742 4294967295 134512640 134569956 3221224400 3221214752 1131244728 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 34742 13073 16 0 220807 0
vsize: 883292
[startup+790.043 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31411
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 77078 61 0 0 25 0 11 0 545651964 904491008 34776 4294967295 134512640 134569956 3221224400 3221214752 1131241672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 34776 13073 16 0 220807 0
vsize: 883292
[startup+800.043 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31411
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 78065 61 0 0 25 0 11 0 545651964 904491008 34832 4294967295 134512640 134569956 3221224400 3221214752 1131245777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 34832 13073 16 0 220807 0
vsize: 883292
[startup+810.044 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31411
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 79052 61 0 0 25 0 11 0 545651964 904491008 34890 4294967295 134512640 134569956 3221224400 3221214424 1085679386 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 34890 13073 16 0 220807 0
vsize: 883292
[startup+820.044 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31411
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 80038 61 0 0 25 0 11 0 545651964 904491008 34962 4294967295 134512640 134569956 3221224400 3221214752 1131248890 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 34962 13073 16 0 220807 0
vsize: 883292
[startup+830.044 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31411
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 81024 61 0 0 25 0 11 0 545651964 904491008 35035 4294967295 134512640 134569956 3221224400 3221214752 1131242589 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 35035 13073 16 0 220807 0
vsize: 883292
[startup+840.044 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31411
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 82011 61 0 0 25 0 11 0 545651964 904491008 35097 4294967295 134512640 134569956 3221224400 3221214792 1131856447 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 35097 13073 16 0 220807 0
vsize: 883292
[startup+850.046 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31411
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 82998 61 0 0 25 0 11 0 545651964 904491008 35190 4294967295 134512640 134569956 3221224400 3221214752 1131246888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 35190 13073 16 0 220807 0
vsize: 883292
[startup+860.046 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31411
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 83984 61 0 0 25 0 11 0 545651964 904491008 35254 4294967295 134512640 134569956 3221224400 3221214752 1131248857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 35254 13073 16 0 220807 0
vsize: 883292
[startup+870.046 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31411
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 84971 61 0 0 25 0 11 0 545651964 904491008 35311 4294967295 134512640 134569956 3221224400 3221214752 1131243516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 35311 13073 16 0 220807 0
vsize: 883292
[startup+880.046 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31411
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 85958 62 0 0 25 0 11 0 545651964 904491008 35377 4294967295 134512640 134569956 3221224400 3221214752 1131240630 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 35377 13073 16 0 220807 0
vsize: 883292
[startup+890.047 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31411
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 86944 62 0 0 25 0 11 0 545651964 904491008 35438 4294967295 134512640 134569956 3221224400 3221214752 1131242548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 35438 13073 16 0 220807 0
vsize: 883292
[startup+900.047 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31411
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 87930 62 0 0 25 0 11 0 545651964 904491008 35501 4294967295 134512640 134569956 3221224400 3221214560 1131720448 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 35501 13073 16 0 220807 0
vsize: 883292
[startup+910.048 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31411
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 88915 62 0 0 25 0 11 0 545651964 904491008 35575 4294967295 134512640 134569956 3221224400 3221214752 1131248095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 35575 13073 16 0 220807 0
vsize: 883292
[startup+920.048 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31411
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 89893 62 0 0 25 0 11 0 545651964 904491008 35653 4294967295 134512640 134569956 3221224400 3221214752 1131253852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 35653 13073 16 0 220807 0
vsize: 883292
[startup+930.048 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31411
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 90869 62 0 0 24 0 11 0 545651964 904491008 35731 4294967295 134512640 134569956 3221224400 3221214752 1131240630 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 35731 13073 16 0 220807 0
vsize: 883292
[startup+940.049 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31411
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 91849 62 0 0 25 0 11 0 545651964 904491008 35847 4294967295 134512640 134569956 3221224400 3221214752 1131245736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 35847 13073 16 0 220807 0
vsize: 883292
[startup+950.051 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31411
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 92833 62 0 0 25 0 11 0 545651964 904491008 35955 4294967295 134512640 134569956 3221224400 3221214752 1131252787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 35955 13073 16 0 220807 0
vsize: 883292
[startup+960.051 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31411
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 93819 62 0 0 25 0 11 0 545651964 904491008 36011 4294967295 134512640 134569956 3221224400 3221214792 1131856528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 36011 13073 16 0 220807 0
vsize: 883292
[startup+970.053 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31411
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 94806 63 0 0 25 0 11 0 545651964 904491008 36077 4294967295 134512640 134569956 3221224400 3221214752 1131242792 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 36077 13073 16 0 220807 0
vsize: 883292
[startup+980.059 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31411
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 95793 63 0 0 24 0 11 0 545651964 904491008 36132 4294967295 134512640 134569956 3221224400 3221214752 1131248997 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 36132 13073 16 0 220807 0
vsize: 883292
[startup+990.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31411
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 96781 63 0 0 25 0 11 0 545651964 904491008 36181 4294967295 134512640 134569956 3221224400 3221214752 1131253459 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 36181 13073 16 0 220807 0
vsize: 883292
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31411
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 97768 64 0 0 25 0 11 0 545651964 904491008 36230 4294967295 134512640 134569956 3221224400 3221214752 1131248088 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 36230 13073 16 0 220807 0
vsize: 883292
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31411
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 98755 64 0 0 25 0 11 0 545651964 904491008 36295 4294967295 134512640 134569956 3221224400 3221214752 1131252617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 36295 13073 16 0 220807 0
vsize: 883292
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31413
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 99742 65 0 0 25 0 11 0 545651964 904491008 36344 4294967295 134512640 134569956 3221224400 3221214752 1131242589 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 36344 13073 16 0 220807 0
vsize: 883292
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31413
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 100728 65 0 0 25 0 11 0 545651964 904491008 36401 4294967295 134512640 134569956 3221224400 3221214752 1131249710 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 36401 13073 16 0 220807 0
vsize: 883292
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31413
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 101716 65 0 0 25 0 11 0 545651964 904491008 36462 4294967295 134512640 134569956 3221224400 3221214512 1131458577 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 36462 13073 16 0 220807 0
vsize: 883292
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31413
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 102704 66 0 0 25 0 11 0 545651964 904491008 36512 4294967295 134512640 134569956 3221224400 3221214752 1131250537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 36512 13073 16 0 220807 0
vsize: 883292
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31413
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 103692 66 0 0 25 0 11 0 545651964 904491008 36561 4294967295 134512640 134569956 3221224400 3221214752 1131240630 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 36561 13073 16 0 220807 0
vsize: 883292
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31413
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 104679 66 0 0 25 0 11 0 545651964 904491008 36610 4294967295 134512640 134569956 3221224400 3221214752 1131240431 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 36610 13073 16 0 220807 0
vsize: 883292
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31413
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 105667 67 0 0 24 0 11 0 545651964 904491008 36659 4294967295 134512640 134569956 3221224400 3221214752 1131241786 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 36659 13073 16 0 220807 0
vsize: 883292
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31413
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 106655 67 0 0 25 0 11 0 545651964 904491008 36708 4294967295 134512640 134569956 3221224400 3221214752 1131255739 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 36708 13073 16 0 220807 0
vsize: 883292
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31413
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 107643 67 0 0 25 0 11 0 545651964 904491008 36757 4294967295 134512640 134569956 3221224400 3221214752 1131255779 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 36757 13073 16 0 220807 0
vsize: 883292
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31413
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 108631 67 0 0 25 0 11 0 545651964 904491008 36806 4294967295 134512640 134569956 3221224400 3221214752 1131247497 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 36806 13073 16 0 220807 0
vsize: 883292
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31413
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 109619 68 0 0 25 0 11 0 545651964 904491008 36855 4294967295 134512640 134569956 3221224400 3221214752 1131242589 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 36855 13073 16 0 220807 0
vsize: 883292
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31413
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 110606 68 0 0 25 0 11 0 545651964 904491008 36920 4294967295 134512640 134569956 3221224400 3221214752 1131251458 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 36920 13073 16 0 220807 0
vsize: 883292
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31413
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 111593 69 0 0 24 0 11 0 545651964 904491008 36969 4294967295 134512640 134569956 3221224400 3221214752 1131250496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 36969 13073 16 0 220807 0
vsize: 883292
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31413
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 112581 70 0 0 25 0 11 0 545651964 904491008 37003 4294967295 134512640 134569956 3221224400 3221214752 1131248114 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 37003 13073 16 0 220807 0
vsize: 883292
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31413
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 113568 70 0 0 25 0 11 0 545651964 904491008 37052 4294967295 134512640 134569956 3221224400 3221214752 1131241666 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 37052 13073 16 0 220807 0
vsize: 883292
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31413
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 114554 71 0 0 25 0 11 0 545651964 904491008 37113 4294967295 134512640 134569956 3221224400 3221214752 1131255739 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 37113 13073 16 0 220807 0
vsize: 883292
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31413
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 115542 72 0 0 25 0 11 0 545651964 904491008 37162 4294967295 134512640 134569956 3221224400 3221214792 1131855682 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 37162 13073 16 0 220807 0
vsize: 883292
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31413
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 116530 72 0 0 25 0 11 0 545651964 904491008 37211 4294967295 134512640 134569956 3221224400 3221214640 1131458577 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 37211 13073 16 0 220807 0
vsize: 883292
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31413
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 117517 73 0 0 25 0 11 0 545651964 904491008 37259 4294967295 134512640 134569956 3221224400 3221214752 1131248949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 37259 13073 16 0 220807 0
vsize: 883292
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31413
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 118506 73 0 0 25 0 11 0 545651964 904491008 37308 4294967295 134512640 134569956 3221224400 3221214512 1131458577 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 220823 37308 13073 16 0 220807 0
vsize: 883292
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31413
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 119493 73 0 0 25 0 11 0 545651964 904491008 37357 4294967295 134512640 134569956 3221224400 3221214748 1131971187 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 37357 13073 16 0 220807 0
vsize: 883292
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/65 31413
Raw data (stat): 31389 (java) R 31388 20838 20837 0 -1 0 18270 4 1 0 120481 74 0 0 25 0 11 0 545651964 904491008 37406 4294967295 134512640 134569956 3221224400 3221214752 1131245852 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 220823 37406 13073 16 0 220807 0
vsize: 883292
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.23 s]
Raw data (loadavg): 1.00 1.00 0.97 1/55 31415
Raw data (stat): 31389 (java) Z 31388 20838 20837 0 -1 1036 18270 43602 1 2 120488 81 5579 116 25 0 1 0 545651964 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.23
CPU time (s): 1262.66
CPU user time (s): 1260.67
CPU system time (s): 1.9857
CPU usage (%): 102.636
Max. virtual memory (Kb): 888264
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####