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-lseu.opb
MD5SUM99657262afbbfce7034a3ec6b29d9b3b
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1120
Optimality of the best value was proved NO
Number of terms in the objective function 85
Biggest coefficient in the objective function 517
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 15494
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 1656
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 15494
Number of bits of the biggest sum of numbers14
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.02884
Number of variables89
Total number of constraints117
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)104
Number of constraints which are nor clauses,nor cardinality constraints11
Minimum length of a constraint1
Maximum length of a constraint47

Trace number 18166

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-04-21 13:44:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18495 boxname=wulflinc26 idbench=1423 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  99657262afbbfce7034a3ec6b29d9b3b  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-lseu.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-lseu.opb
IDLAUNCH: 18495
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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.061
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        534008 kB
Buffers:         30080 kB
Cached:         440344 kB
SwapCached:         68 kB
Active:          56532 kB
Inactive:       416764 kB
HighTotal:      131008 kB
HighFree:          364 kB
LowTotal:       903652 kB
LowFree:        533644 kB
SwapTotal:     2097892 kB
SwapFree:      2097800 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6876 kB
Slab:            21652 kB
Committed_AS:    63720 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 14:05:17 (client local time) WITH STATUS 143 IN 1235.59 SECONDS
stats: 18495 7 1235.59 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-lseu.opb
c reading problem 
c [nbvar=89]
c [nbconstr=117]
c time 0.626
c #vars     89
c #clauses  28
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=3840
c Current CPU time (ms) : 2.694
c starts	: 1
c conflicts	: 12
c decisions	: 79
c propagations	: 178
c inspects	: 269
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 12
c root simplifications	: 1
c 
c CURRENT OPTIMUM=3754
c Current CPU time (ms) : 4.434
c starts	: 2
c conflicts	: 23
c decisions	: 134
c propagations	: 344
c inspects	: 528
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 23
c root simplifications	: 2
c 
c CURRENT OPTIMUM=2352
c Current CPU time (ms) : 4.545
c starts	: 3
c conflicts	: 24
c decisions	: 172
c propagations	: 439
c inspects	: 782
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 24
c root simplifications	: 3
c 
c CURRENT OPTIMUM=2311
c Current CPU time (ms) : 10.863
c starts	: 5
c conflicts	: 130
c decisions	: 528
c propagations	: 1847
c inspects	: 8630
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 130
c root simplifications	: 5
c 
c CURRENT OPTIMUM=2237
c Current CPU time (ms) : 11.072
c starts	: 6
c conflicts	: 136
c decisions	: 561
c propagations	: 1994
c inspects	: 10166
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 136
c root simplifications	: 6
c 
c CURRENT OPTIMUM=2140
c Current CPU time (ms) : 11.528
c starts	: 7
c conflicts	: 145
c decisions	: 612
c propagations	: 2203
c inspects	: 11766
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 145
c root simplifications	: 7
c 
c CURRENT OPTIMUM=2065
c Current CPU time (ms) : 15.144
c starts	: 8
c conflicts	: 244
c decisions	: 916
c propagations	: 3661
c inspects	: 24245
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 244
c root simplifications	: 8
c 
c CURRENT OPTIMUM=2012
c Current CPU time (ms) : 16.477
c starts	: 9
c conflicts	: 273
c decisions	: 1046
c propagations	: 4140
c inspects	: 31575
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 273
c root simplifications	: 9
c 
c CURRENT OPTIMUM=1958
c Current CPU time (ms) : 19.44
c starts	: 10
c conflicts	: 326
c decisions	: 1247
c propagations	: 5020
c inspects	: 42536
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 326
c root simplifications	: 10
c 
c CURRENT OPTIMUM=1830
c Current CPU time (ms) : 22.367
c starts	: 11
c conflicts	: 382
c decisions	: 1444
c propagations	: 5844
c inspects	: 56255
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 382
c root simplifications	: 11
c 
c CURRENT OPTIMUM=1826
c Current CPU time (ms) : 28.271
c starts	: 12
c conflicts	: 477
c decisions	: 1850
c propagations	: 7329
c inspects	: 78212
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 477
c root simplifications	: 12
c 
c CURRENT OPTIMUM=1782
c Current CPU time (ms) : 34.664
c starts	: 13
c conflicts	: 565
c decisions	: 2261
c propagations	: 8700
c inspects	: 107439
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 565
c root simplifications	: 13
c 
c CURRENT OPTIMUM=1701
c Current CPU time (ms) : 38.531
c starts	: 14
c conflicts	: 603
c decisions	: 2519
c propagations	: 9452
c inspects	: 125110
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 603
c root simplifications	: 14
c 
c CURRENT OPTIMUM=1602
c Current CPU time (ms) : 102.843
c starts	: 18
c conflicts	: 1189
c decisions	: 4087
c propagations	: 18199
c inspects	: 413225
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1189
c root simplifications	: 18
c 
c CURRENT OPTIMUM=1598
c Current CPU time (ms) : 162.511
c starts	: 21
c conflicts	: 1628
c decisions	: 5515
c propagations	: 23901
c inspects	: 689954
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1628
c root simplifications	: 21
c 
c CURRENT OPTIMUM=1450
c Current CPU time (ms) : 192.492
c starts	: 23
c conflicts	: 1737
c decisions	: 5984
c propagations	: 25742
c inspects	: 804723
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1737
c root simplifications	: 23
c 
c CURRENT OPTIMUM=1439
c Current CPU time (ms) : 218.09
c starts	: 25
c conflicts	: 1865
c decisions	: 6660
c propagations	: 28030
c inspects	: 927512
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1865
c root simplifications	: 25
c 
c CURRENT OPTIMUM=1399
c Current CPU time (ms) : 233.066
c starts	: 26
c conflicts	: 1957
c decisions	: 6940
c propagations	: 29543
c inspects	: 999469
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1957
c root simplifications	: 26
c 
c CURRENT OPTIMUM=1260
c Current CPU time (ms) : 262.463
c starts	: 28
c conflicts	: 2102
c decisions	: 7566
c propagations	: 31495
c inspects	: 1129519
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 2102
c root simplifications	: 28
c 
c CURRENT OPTIMUM=1193
c Current CPU time (ms) : 530.731
c starts	: 33
c conflicts	: 3184
c decisions	: 10472
c propagations	: 45826
c inspects	: 2343240
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 3184
c root simplifications	: 33
#### 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.84 0.94 0.90 2/54 31942
Raw data (stat): 31942 (runsolver) R 31941 22612 22611 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 545542945 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 0 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0011 s]
Raw data (loadavg): 1.02 0.97 0.91 2/64 31955
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18067 3 1 0 541 40 0 0 25 0 11 0 545542945 865525760 21340 4294967295 134512640 134569956 3221224400 3221214640 1131163274 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211310 21340 13073 16 0 211294 0
vsize: 845240
[startup+20.0018 s]
Raw data (loadavg): 1.02 0.97 0.91 2/64 31960
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18067 3 1 0 1504 41 0 0 25 0 11 0 545542945 862806016 21436 4294967295 134512640 134569956 3221224400 3221214792 1131169097 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 21436 13073 16 0 210630 0
vsize: 842584
[startup+30.002 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 31963
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18067 3 1 0 2469 41 0 0 25 0 11 0 545542945 862806016 21828 4294967295 134512640 134569956 3221224400 3221214800 1131237847 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210646 21828 13073 16 0 210630 0
vsize: 842584
[startup+40.002 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 31965
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 3425 41 0 0 25 0 11 0 545542945 862806016 22122 4294967295 134512640 134569956 3221224400 3221214352 1131369687 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210646 22122 13073 16 0 210630 0
vsize: 842584
[startup+50.0018 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 31965
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 4365 42 0 0 25 0 11 0 545542945 862806016 22416 4294967295 134512640 134569956 3221224400 3221214400 1131364897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 22416 13073 16 0 210630 0
vsize: 842584
[startup+60.002 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 31965
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 5304 42 0 0 25 0 11 0 545542945 862806016 22682 4294967295 134512640 134569956 3221224400 3221214640 1131163809 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210646 22682 13073 16 0 210630 0
vsize: 842584
[startup+70.0023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31965
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 6251 42 0 0 25 0 11 0 545542945 862806016 22928 4294967295 134512640 134569956 3221224400 3221214792 1131169104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 22928 13073 16 0 210630 0
vsize: 842584
[startup+80.0029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31965
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 7210 43 0 0 25 0 11 0 545542945 862806016 23097 4294967295 134512640 134569956 3221224400 3221214856 1131144192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 23097 13073 16 0 210630 0
vsize: 842584
[startup+90.0032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31965
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 8171 43 0 0 25 0 11 0 545542945 862806016 23236 4294967295 134512640 134569956 3221224400 3221214528 1131207771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 23236 13073 16 0 210630 0
vsize: 842584
[startup+100.003 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31965
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 9128 43 0 0 25 0 11 0 545542945 862806016 23390 4294967295 134512640 134569956 3221224400 3221214792 1131194231 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 23390 13073 16 0 210630 0
vsize: 842584
[startup+110.004 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31966
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 10092 43 0 0 25 0 11 0 545542945 862806016 23510 4294967295 134512640 134569956 3221224400 3221214768 1131168998 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 23510 13073 16 0 210630 0
vsize: 842584
[startup+120.004 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31966
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 11054 44 0 0 25 0 11 0 545542945 862806016 23633 4294967295 134512640 134569956 3221224400 3221214768 1131168883 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 23633 13073 16 0 210630 0
vsize: 842584
[startup+130.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31966
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 12024 44 0 0 25 0 11 0 545542945 862806016 23715 4294967295 134512640 134569956 3221224400 3221214768 1131168902 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210646 23715 13073 16 0 210630 0
vsize: 842584
[startup+140.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31966
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 12987 44 0 0 25 0 11 0 545542945 862806016 23828 4294967295 134512640 134569956 3221224400 3221214768 1131169160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 23828 13073 16 0 210630 0
vsize: 842584
[startup+150.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31966
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 13951 44 0 0 25 0 11 0 545542945 862806016 23938 4294967295 134512640 134569956 3221224400 3221214768 1131169379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 23938 13073 16 0 210630 0
vsize: 842584
[startup+160.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31966
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 14920 44 0 0 25 0 11 0 545542945 862806016 24013 4294967295 134512640 134569956 3221224400 3221214592 1131545053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 24013 13073 16 0 210630 0
vsize: 842584
[startup+170.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31967
Raw data (stat): 31942 (java) S 31941 22612 22611 0 -1 0 18068 3 1 0 15884 45 0 0 25 0 11 0 545542945 862806016 24128 4294967295 134512640 134569956 3221224400 3221213232 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 24128 13073 16 0 210630 0
vsize: 842584
[startup+180.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31967
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 16859 45 0 0 25 0 11 0 545542945 862806016 24213 4294967295 134512640 134569956 3221224400 3221214360 1085679762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210646 24213 13073 16 0 210630 0
vsize: 842584
[startup+190.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31967
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 17831 45 0 0 25 0 11 0 545542945 862806016 24304 4294967295 134512640 134569956 3221224400 3221214592 1131333893 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 24304 13073 16 0 210630 0
vsize: 842584
[startup+200.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31968
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 18803 46 0 0 25 0 11 0 545542945 862806016 24396 4294967295 134512640 134569956 3221224400 3221214552 1131198975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 24396 13073 16 0 210630 0
vsize: 842584
[startup+210.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31968
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 19781 46 0 0 25 0 11 0 545542945 862806016 24465 4294967295 134512640 134569956 3221224400 3221214192 1131369692 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210646 24465 13073 16 0 210630 0
vsize: 842584
[startup+220.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31969
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 20754 47 0 0 25 0 11 0 545542945 862806016 24552 4294967295 134512640 134569956 3221224400 3221214712 1131268279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 24552 13073 16 0 210630 0
vsize: 842584
[startup+230.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31969
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 21726 47 0 0 25 0 11 0 545542945 862806016 24641 4294967295 134512640 134569956 3221224400 3221214632 1131177168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 24641 13073 16 0 210630 0
vsize: 842584
[startup+240.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31970
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 22698 47 0 0 25 0 11 0 545542945 862806016 24729 4294967295 134512640 134569956 3221224400 3221214592 1131544132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 24729 13073 16 0 210630 0
vsize: 842584
[startup+250.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31970
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 23676 48 0 0 25 0 11 0 545542945 862806016 24785 4294967295 134512640 134569956 3221224400 3221214456 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 24785 13073 16 0 210630 0
vsize: 842584
[startup+260.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31970
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 24647 48 0 0 25 0 11 0 545542945 862806016 24865 4294967295 134512640 134569956 3221224400 3221214768 1131168911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 24865 13073 16 0 210630 0
vsize: 842584
[startup+270.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31971
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 25618 49 0 0 25 0 11 0 545542945 862806016 24951 4294967295 134512640 134569956 3221224400 3221214576 1131333306 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210646 24951 13073 16 0 210630 0
vsize: 842584
[startup+280.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31971
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 26585 49 0 0 25 0 11 0 545542945 862806016 25040 4294967295 134512640 134569956 3221224400 3221214096 1131369681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 25040 13073 16 0 210630 0
vsize: 842584
[startup+290.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31971
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 27552 49 0 0 25 0 11 0 545542945 862806016 25136 4294967295 134512640 134569956 3221224400 3221214768 1131168911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 25136 13073 16 0 210630 0
vsize: 842584
[startup+300.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31971
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 28519 49 0 0 25 0 11 0 545542945 862806016 25230 4294967295 134512640 134569956 3221224400 3221214552 1085679756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 25230 13073 16 0 210630 0
vsize: 842584
[startup+310.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31971
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 29492 49 0 0 25 0 11 0 545542945 862806016 25306 4294967295 134512640 134569956 3221224400 3221214832 1131144380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 25306 13073 16 0 210630 0
vsize: 842584
[startup+320.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31971
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 30460 50 0 0 25 0 11 0 545542945 862806016 25385 4294967295 134512640 134569956 3221224400 3221214496 1131490586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 25385 13073 16 0 210630 0
vsize: 842584
[startup+330.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31971
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 31434 50 0 0 25 0 11 0 545542945 862806016 25459 4294967295 134512640 134569956 3221224400 3221214688 1131168521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210646 25459 13073 16 0 210630 0
vsize: 842584
[startup+340.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31971
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 32404 50 0 0 25 0 11 0 545542945 862806016 25553 4294967295 134512640 134569956 3221224400 3221214240 1131365210 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 25553 13073 16 0 210630 0
vsize: 842584
[startup+350.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31971
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 33374 50 0 0 25 0 11 0 545542945 862806016 25648 4294967295 134512640 134569956 3221224400 3221214552 1085679473 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 25648 13073 16 0 210630 0
vsize: 842584
[startup+360.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31971
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 34345 51 0 0 25 0 11 0 545542945 862806016 25732 4294967295 134512640 134569956 3221224400 3221214156 1131369680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 25732 13073 16 0 210630 0
vsize: 842584
[startup+370.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31971
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 35321 51 0 0 25 0 11 0 545542945 862806016 25796 4294967295 134512640 134569956 3221224400 3221214664 1131207620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 25796 13073 16 0 210630 0
vsize: 842584
[startup+380.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31971
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 36301 51 0 0 25 0 11 0 545542945 862806016 25839 4294967295 134512640 134569956 3221224400 3221214744 1131291554 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 25839 13073 16 0 210630 0
vsize: 842584
[startup+390.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31971
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 37282 51 0 0 25 0 11 0 545542945 862806016 25904 4294967295 134512640 134569956 3221224400 3221214104 1085679331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210646 25904 13073 16 0 210630 0
vsize: 842584
[startup+400.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31971
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 38254 51 0 0 25 0 11 0 545542945 862806016 25956 4294967295 134512640 134569956 3221224400 3221214632 1131163721 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 25956 13073 16 0 210630 0
vsize: 842584
[startup+410.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31971
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 39229 51 0 0 25 0 11 0 545542945 862806016 26015 4294967295 134512640 134569956 3221224400 3221214768 1131168977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 26015 13073 16 0 210630 0
vsize: 842584
[startup+420.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31971
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 40197 51 0 0 22 0 11 0 545542945 862806016 26131 4294967295 134512640 134569956 3221224400 3221214832 1131144213 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 26131 13073 16 0 210630 0
vsize: 842584
[startup+430.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31971
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 41170 52 0 0 25 0 11 0 545542945 862806016 26220 4294967295 134512640 134569956 3221224400 3221214632 1131163286 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 26220 13073 16 0 210630 0
vsize: 842584
[startup+440.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31971
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 42143 52 0 0 25 0 11 0 545542945 862806016 26298 4294967295 134512640 134569956 3221224400 3221214768 1131168911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 26298 13073 16 0 210630 0
vsize: 842584
[startup+450.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31971
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 43117 52 0 0 25 0 11 0 545542945 862806016 26353 4294967295 134512640 134569956 3221224400 3221214688 1131545604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 26353 13073 16 0 210630 0
vsize: 842584
[startup+460.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31971
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 44095 53 0 0 25 0 11 0 545542945 862806016 26403 4294967295 134512640 134569956 3221224400 3221214936 1131384711 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 26403 13073 16 0 210630 0
vsize: 842584
[startup+470.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31971
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 45068 53 0 0 25 0 11 0 545542945 862806016 26464 4294967295 134512640 134569956 3221224400 3221214608 1131211677 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 26464 13073 16 0 210630 0
vsize: 842584
[startup+480.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31971
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 46042 53 0 0 24 0 11 0 545542945 862806016 26544 4294967295 134512640 134569956 3221224400 3221214520 1131331109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 26544 13073 16 0 210630 0
vsize: 842584
[startup+490.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31971
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 47016 54 0 0 25 0 11 0 545542945 862806016 26614 4294967295 134512640 134569956 3221224400 3221214352 1131369628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 26614 13073 16 0 210630 0
vsize: 842584
[startup+500.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31971
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 47990 54 0 0 25 0 11 0 545542945 862806016 26684 4294967295 134512640 134569956 3221224400 3221214872 1131184482 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 26684 13073 16 0 210630 0
vsize: 842584
[startup+510.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31971
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 48964 54 0 0 25 0 11 0 545542945 862806016 26760 4294967295 134512640 134569956 3221224400 3221214160 1131369620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 26760 13073 16 0 210630 0
vsize: 842584
[startup+520.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31971
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 49942 54 0 0 25 0 11 0 545542945 862806016 26830 4294967295 134512640 134569956 3221224400 3221214768 1131168911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 26830 13073 16 0 210630 0
vsize: 842584
[startup+530.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31971
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 50918 54 0 0 25 0 11 0 545542945 862806016 26903 4294967295 134512640 134569956 3221224400 3221214768 1131169804 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 26903 13073 16 0 210630 0
vsize: 842584
[startup+540.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31972
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 51896 55 0 0 25 0 11 0 545542945 862806016 26962 4294967295 134512640 134569956 3221224400 3221214632 1131163267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 26962 13073 16 0 210630 0
vsize: 842584
[startup+550.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31972
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 52874 55 0 0 25 0 11 0 545542945 862806016 27016 4294967295 134512640 134569956 3221224400 3221214588 1131379084 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 27016 13073 16 0 210630 0
vsize: 842584
[startup+560.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31972
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 53852 55 0 0 25 0 11 0 545542945 862806016 27072 4294967295 134512640 134569956 3221224400 3221214768 1131168560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 27072 13073 16 0 210630 0
vsize: 842584
[startup+570.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31972
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 54825 55 0 0 25 0 11 0 545542945 862806016 27155 4294967295 134512640 134569956 3221224400 3221214160 1131369730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 27155 13073 16 0 210630 0
vsize: 842584
[startup+580.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31972
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 55803 55 0 0 25 0 11 0 545542945 862806016 27226 4294967295 134512640 134569956 3221224400 3221214448 1131369656 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 27226 13073 16 0 210630 0
vsize: 842584
[startup+590.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31972
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 56775 56 0 0 25 0 11 0 545542945 862806016 27313 4294967295 134512640 134569956 3221224400 3221214400 1078128033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 27313 13073 16 0 210630 0
vsize: 842584
[startup+600.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31972
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 57758 56 0 0 25 0 11 0 545542945 862806016 27369 4294967295 134512640 134569956 3221224400 3221214832 1131144209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 27369 13073 16 0 210630 0
vsize: 842584
[startup+610.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31972
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 58736 56 0 0 25 0 11 0 545542945 862806016 27430 4294967295 134512640 134569956 3221224400 3221214688 1131543116 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 27430 13073 16 0 210630 0
vsize: 842584
[startup+620.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31972
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 59713 56 0 0 25 0 11 0 545542945 862806016 27496 4294967295 134512640 134569956 3221224400 3221214528 1131207513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 27496 13073 16 0 210630 0
vsize: 842584
[startup+630.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31972
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 60686 57 0 0 25 0 11 0 545542945 862806016 27570 4294967295 134512640 134569956 3221224400 3221214376 1076461271 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 27570 13073 16 0 210630 0
vsize: 842584
[startup+640.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31972
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 61659 57 0 0 24 0 11 0 545542945 862806016 27630 4294967295 134512640 134569956 3221224400 3221214832 1131144192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 27630 13073 16 0 210630 0
vsize: 842584
[startup+650.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31972
Raw data (stat): 31942 (java) S 31941 22612 22611 0 -1 0 18068 3 1 0 62632 57 0 0 25 0 11 0 545542945 862806016 27695 4294967295 134512640 134569956 3221224400 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 27695 13073 16 0 210630 0
vsize: 842584
[startup+660.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31972
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 63608 58 0 0 25 0 11 0 545542945 862806016 27752 4294967295 134512640 134569956 3221224400 3221214576 1131332932 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 27752 13073 16 0 210630 0
vsize: 842584
[startup+670.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31972
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 64582 58 0 0 25 0 11 0 545542945 862806016 27846 4294967295 134512640 134569956 3221224400 3221214512 1131333060 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 27846 13073 16 0 210630 0
vsize: 842584
[startup+680.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31972
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 65557 59 0 0 24 0 11 0 545542945 862806016 27913 4294967295 134512640 134569956 3221224400 3221214768 1131169730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 27913 13073 16 0 210630 0
vsize: 842584
[startup+690.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31972
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 66536 59 0 0 25 0 11 0 545542945 862806016 27972 4294967295 134512640 134569956 3221224400 3221214768 1131169720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 27972 13073 16 0 210630 0
vsize: 842584
[startup+700.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31972
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 67511 59 0 0 25 0 11 0 545542945 862806016 28041 4294967295 134512640 134569956 3221224400 3221214872 1131184397 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 28041 13073 16 0 210630 0
vsize: 842584
[startup+710.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31972
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 68489 60 0 0 25 0 11 0 545542945 862806016 28097 4294967295 134512640 134569956 3221224400 3221214528 1131207936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 28097 13073 16 0 210630 0
vsize: 842584
[startup+720.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31972
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 69464 60 0 0 25 0 11 0 545542945 862806016 28167 4294967295 134512640 134569956 3221224400 3221214768 1131169404 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 28167 13073 16 0 210630 0
vsize: 842584
[startup+730.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31972
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 70439 60 0 0 25 0 11 0 545542945 862806016 28236 4294967295 134512640 134569956 3221224400 3221214768 1131169035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 28236 13073 16 0 210630 0
vsize: 842584
[startup+740.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31972
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 71415 61 0 0 25 0 11 0 545542945 862806016 28315 4294967295 134512640 134569956 3221224400 3221214688 1131544134 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 28315 13073 16 0 210630 0
vsize: 842584
[startup+750.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31972
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 72392 61 0 0 25 0 11 0 545542945 862806016 28372 4294967295 134512640 134569956 3221224400 3221214576 1131377980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 28372 13073 16 0 210630 0
vsize: 842584
[startup+760.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31972
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 73368 61 0 0 24 0 11 0 545542945 862806016 28445 4294967295 134512640 134569956 3221224400 3221214368 1080217328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 28445 13073 16 0 210630 0
vsize: 842584
[startup+770.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31972
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 74350 61 0 0 25 0 11 0 545542945 862806016 28498 4294967295 134512640 134569956 3221224400 3221214528 1131392902 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 28498 13073 16 0 210630 0
vsize: 842584
[startup+780.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31972
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 75332 62 0 0 25 0 11 0 545542945 862806016 28545 4294967295 134512640 134569956 3221224400 3221214400 1131541833 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 28545 13073 16 0 210630 0
vsize: 842584
[startup+790.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31972
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 76313 62 0 0 25 0 11 0 545542945 862806016 28601 4294967295 134512640 134569956 3221224400 3221214368 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 28601 13073 16 0 210630 0
vsize: 842584
[startup+800.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31972
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 77299 62 0 0 25 0 11 0 545542945 862806016 28635 4294967295 134512640 134569956 3221224400 3221214288 1131369738 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 28635 13073 16 0 210630 0
vsize: 842584
[startup+810.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31972
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 78279 62 0 0 25 0 11 0 545542945 862806016 28700 4294967295 134512640 134569956 3221224400 3221214576 1131331980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 28700 13073 16 0 210630 0
vsize: 842584
[startup+820.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31972
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 79256 62 0 0 25 0 11 0 545542945 862806016 28750 4294967295 134512640 134569956 3221224400 3221214352 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 28750 13073 16 0 210630 0
vsize: 842584
[startup+830.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31972
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 80233 63 0 0 25 0 11 0 545542945 862806016 28799 4294967295 134512640 134569956 3221224400 3221214932 1131379952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 28799 13073 16 0 210630 0
vsize: 842584
[startup+840.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31972
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 81205 63 0 0 24 0 11 0 545542945 862806016 28888 4294967295 134512640 134569956 3221224400 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 28888 13073 16 0 210630 0
vsize: 842584
[startup+850.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31972
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 82181 63 0 0 25 0 11 0 545542945 862806016 28956 4294967295 134512640 134569956 3221224400 3221214768 1131168862 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 28956 13073 16 0 210630 0
vsize: 842584
[startup+860.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31972
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 83162 64 0 0 25 0 11 0 545542945 862806016 29043 4294967295 134512640 134569956 3221224400 3221214592 1131546780 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 29043 13073 16 0 210630 0
vsize: 842584
[startup+870.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31972
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 84144 64 0 0 25 0 11 0 545542945 862806016 29089 4294967295 134512640 134569956 3221224400 3221214768 1131168911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 29089 13073 16 0 210630 0
vsize: 842584
[startup+880.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31972
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 85126 64 0 0 25 0 11 0 545542945 862806016 29139 4294967295 134512640 134569956 3221224400 3221214360 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 29139 13073 16 0 210630 0
vsize: 842584
[startup+890.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31972
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 86103 65 0 0 25 0 11 0 545542945 862806016 29212 4294967295 134512640 134569956 3221224400 3221214540 1131369675 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 29212 13073 16 0 210630 0
vsize: 842584
[startup+900.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31972
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 87082 65 0 0 25 0 11 0 545542945 862806016 29267 4294967295 134512640 134569956 3221224400 3221214592 1131329410 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 29267 13073 16 0 210630 0
vsize: 842584
[startup+910.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31972
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 88057 66 0 0 25 0 11 0 545542945 862806016 29328 4294967295 134512640 134569956 3221224400 3221214352 1131369604 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 29328 13073 16 0 210630 0
vsize: 842584
[startup+920.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 31972
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 89041 66 0 0 25 0 11 0 545542945 862806016 29372 4294967295 134512640 134569956 3221224400 3221214848 1131364324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 29372 13073 16 0 210630 0
vsize: 842584
[startup+930.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 31973
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 90015 66 0 0 25 0 11 0 545542945 862806016 29429 4294967295 134512640 134569956 3221224400 3221214736 1131226881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210646 29429 13073 16 0 210630 0
vsize: 842584
[startup+940.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 32025
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 90993 67 0 0 25 0 11 0 545542945 862806016 29483 4294967295 134512640 134569956 3221224400 3221214768 1131168625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 29483 13073 16 0 210630 0
vsize: 842584
[startup+950.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 32025
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 91973 68 0 0 25 0 11 0 545542945 862806016 29539 4294967295 134512640 134569956 3221224400 3221214768 1131169084 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 29539 13073 16 0 210630 0
vsize: 842584
[startup+960.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 32025
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 92953 68 0 0 25 0 11 0 545542945 862806016 29601 4294967295 134512640 134569956 3221224400 3221214600 1131396279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 29601 13073 16 0 210630 0
vsize: 842584
[startup+970.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 32025
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 93931 68 0 0 25 0 11 0 545542945 862806016 29679 4294967295 134512640 134569956 3221224400 3221214768 1131169126 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 29679 13073 16 0 210630 0
vsize: 842584
[startup+980.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 32025
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 94909 69 0 0 25 0 11 0 545542945 862806016 29729 4294967295 134512640 134569956 3221224400 3221214872 1131444161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 29729 13073 16 0 210630 0
vsize: 842584
[startup+990.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 32025
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 95891 69 0 0 25 0 11 0 545542945 862806016 29775 4294967295 134512640 134569956 3221224400 3221214304 1131544859 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 29775 13073 16 0 210630 0
vsize: 842584
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 32027
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 96872 70 0 0 25 0 11 0 545542945 862806016 29822 4294967295 134512640 134569956 3221224400 3221214640 1131369660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 29822 13073 16 0 210630 0
vsize: 842584
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 32027
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 97850 70 0 0 24 0 11 0 545542945 862806016 29865 4294967295 134512640 134569956 3221224400 3221214832 1131144213 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 29865 13073 16 0 210630 0
vsize: 842584
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 32027
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 98832 71 0 0 25 0 11 0 545542945 862806016 29917 4294967295 134512640 134569956 3221224400 3221214768 1131168992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 29917 13073 16 0 210630 0
vsize: 842584
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 32027
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 99814 71 0 0 25 0 11 0 545542945 862806016 29954 4294967295 134512640 134569956 3221224400 3221214872 1131185146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 29954 13073 16 0 210630 0
vsize: 842584
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 32027
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 100800 71 0 0 25 0 11 0 545542945 862806016 30005 4294967295 134512640 134569956 3221224400 3221214200 1131541854 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 30005 13073 16 0 210630 0
vsize: 842584
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 32027
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 101782 71 0 0 25 0 11 0 545542945 862806016 30047 4294967295 134512640 134569956 3221224400 3221214504 1131417555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 30047 13073 16 0 210630 0
vsize: 842584
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 32027
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 102761 72 0 0 25 0 11 0 545542945 862806016 30108 4294967295 134512640 134569956 3221224400 3221214768 1131168911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 30108 13073 16 0 210630 0
vsize: 842584
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 32027
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 103743 72 0 0 25 0 11 0 545542945 862806016 30142 4294967295 134512640 134569956 3221224400 3221213996 1131369680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 30142 13073 16 0 210630 0
vsize: 842584
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 32027
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 104725 73 0 0 25 0 11 0 545542945 862806016 30187 4294967295 134512640 134569956 3221224400 3221214768 1131168988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 30187 13073 16 0 210630 0
vsize: 842584
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 32027
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 105705 73 0 0 25 0 11 0 545542945 862806016 30221 4294967295 134512640 134569956 3221224400 3221214900 1130915153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 30221 13073 16 0 210630 0
vsize: 842584
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 32027
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 106681 73 0 0 25 0 11 0 545542945 862806016 30261 4294967295 134512640 134569956 3221224400 3221214716 1080204229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 30261 13073 16 0 210630 0
vsize: 842584
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 32027
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 107661 73 0 0 25 0 11 0 545542945 862806016 30318 4294967295 134512640 134569956 3221224400 3221214832 1131144246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 30318 13073 16 0 210630 0
vsize: 842584
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 32027
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 108634 73 0 0 25 0 11 0 545542945 862806016 30388 4294967295 134512640 134569956 3221224400 3221214376 1076461228 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 30388 13073 16 0 210630 0
vsize: 842584
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 32027
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 109612 74 0 0 25 0 11 0 545542945 862806016 30433 4294967295 134512640 134569956 3221224400 3221214600 1131374266 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 30433 13073 16 0 210630 0
vsize: 842584
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 32027
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 110594 74 0 0 25 0 11 0 545542945 862806016 30491 4294967295 134512640 134569956 3221224400 3221214160 1131369681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 30491 13073 16 0 210630 0
vsize: 842584
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 32027
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 111575 74 0 0 25 0 11 0 545542945 862806016 30530 4294967295 134512640 134569956 3221224400 3221214400 1131541933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 30530 13073 16 0 210630 0
vsize: 842584
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 32027
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 112547 75 0 0 24 0 11 0 545542945 862806016 30580 4294967295 134512640 134569956 3221224400 3221214832 1131144209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 30580 13073 16 0 210630 0
vsize: 842584
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 32027
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 113523 75 0 0 25 0 11 0 545542945 862806016 30647 4294967295 134512640 134569956 3221224400 3221214640 1131524052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 30647 13073 16 0 210630 0
vsize: 842584
[startup+1180.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 32027
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 114500 76 0 0 25 0 11 0 545542945 862806016 30711 4294967295 134512640 134569956 3221224400 3221214832 1131144216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 30711 13073 16 0 210630 0
vsize: 842584
[startup+1190.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 32027
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 115472 76 0 0 25 0 11 0 545542945 862806016 30781 4294967295 134512640 134569956 3221224400 3221214592 1131545017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 30781 13073 16 0 210630 0
vsize: 842584
[startup+1200.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 32027
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 116455 77 0 0 25 0 11 0 545542945 862806016 30831 4294967295 134512640 134569956 3221224400 3221214872 1131184477 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 30831 13073 16 0 210630 0
vsize: 842584
[startup+1210.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 32027
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 117437 77 0 0 25 0 11 0 545542945 862806016 30885 4294967295 134512640 134569956 3221224400 3221214768 1131168883 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 30885 13073 16 0 210630 0
vsize: 842584
[startup+1220.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 32027
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 118416 77 0 0 25 0 11 0 545542945 862806016 30944 4294967295 134512640 134569956 3221224400 3221214768 1131169156 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 30944 13073 16 0 210630 0
vsize: 842584
[startup+1230.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 32027
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 119398 77 0 0 25 0 11 0 545542945 862806016 31005 4294967295 134512640 134569956 3221224400 3221214832 1131144250 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 31005 13073 16 0 210630 0
vsize: 842584
[startup+1240.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 32027
Raw data (stat): 31942 (java) R 31941 22612 22611 0 -1 0 18068 3 1 0 120381 77 0 0 25 0 11 0 545542945 862806016 31053 4294967295 134512640 134569956 3221224400 3221214872 1131184695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210646 31053 13073 16 0 210630 0
vsize: 842584
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.16 s]
Raw data (loadavg): 1.00 0.97 0.91 1/54 32029
Raw data (stat): 31942 (java) Z 31941 22612 22611 0 -1 1036 18068 10475 1 0 120386 77 3064 30 25 0 1 0 545542945 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): 1240.16
CPU time (s): 1235.59
CPU user time (s): 1234.51
CPU system time (s): 1.08083
CPU usage (%): 99.6316
Max. virtual memory (Kb): 845240
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####