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-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core4872-1529.opb
MD5SUM21523a021e6bde8cb1bd98f2664add6c
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2147483647
Optimality of the best value was proved NO
Number of terms in the objective function 24975
Biggest coefficient in the objective function 53687091200000000000
Number of bits for the biggest coefficient in the objective function 66
Sum of the numbers in the objective function 226603053881884901376
Number of bits of the sum of numbers in the objective function 68
Biggest number in a constraint 10240000000000000000000
Number of bits of the biggest number in a constraint 74
Biggest sum of numbers in a constraint 10466603053881885720576
Number of bits of the biggest sum of numbers74
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark40.6528
Number of variables24975
Total number of constraints29520
Number of constraints which are clauses4872
Number of constraints which are cardinality constraints (but not clauses)24647
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint24975

Trace number 20397

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        635392 kB
Buffers:         25376 kB
Cached:         352116 kB
SwapCached:        316 kB
Active:          47848 kB
Inactive:       331608 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        635140 kB
SwapTotal:     2097136 kB
SwapFree:      2095948 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5200 kB
Slab:            14120 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 21:08:47 (client local time) WITH STATUS 143 IN 1269.73 SECONDS
stats: 15063 7 1269.73 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-core4872-1529.opb
c reading problem 
c [nbvar=24975]
c [nbconstr=29520]
c time 196.525
c #vars     24975
c #clauses  4875
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=-2052587520
c Current CPU time (ms) : 313.656
c starts	: 1
c conflicts	: 0
c decisions	: 23639
c propagations	: 24975
c inspects	: 42806
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
c 
c CURRENT OPTIMUM=-2052587520
c Current CPU time (ms) : 372.478
c starts	: 2
c conflicts	: 0
c decisions	: 47278
c propagations	: 49899
c inspects	: 48517
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 2
c 
c CURRENT OPTIMUM=-2052587520
c Current CPU time (ms) : 414.676
c starts	: 3
c conflicts	: 0
c decisions	: 70917
c propagations	: 74823
c inspects	: 52978
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 3
c 
c CURRENT OPTIMUM=-2052587520
c Current CPU time (ms) : 474.025
c starts	: 4
c conflicts	: 0
c decisions	: 94556
c propagations	: 99747
c inspects	: 58090
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 4
c 
c CURRENT OPTIMUM=-2052587520
c Current CPU time (ms) : 528.105
c starts	: 5
c conflicts	: 0
c decisions	: 118195
c propagations	: 124671
c inspects	: 62931
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 5
c 
c CURRENT OPTIMUM=-2052587520
c Current CPU time (ms) : 585.645
c starts	: 6
c conflicts	: 0
c decisions	: 141834
c propagations	: 149595
c inspects	: 67950
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 6
c 
c CURRENT OPTIMUM=-2052587520
c Current CPU time (ms) : 631.334
c starts	: 7
c conflicts	: 0
c decisions	: 165473
c propagations	: 174519
c inspects	: 72570
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 7
c 
c CURRENT OPTIMUM=-2052587520
c Current CPU time (ms) : 690.368
c starts	: 8
c conflicts	: 0
c decisions	: 189112
c propagations	: 199443
c inspects	: 77685
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 8
c 
c CURRENT OPTIMUM=-2052587520
c Current CPU time (ms) : 735.44
c starts	: 9
c conflicts	: 0
c decisions	: 212751
c propagations	: 224367
c inspects	: 82290
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 9
c 
c CURRENT OPTIMUM=-2052587520
c Current CPU time (ms) : 779.637
c starts	: 10
c conflicts	: 0
c decisions	: 236390
c propagations	: 249291
c inspects	: 86870
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 10
c 
c CURRENT OPTIMUM=-2052587520
c Current CPU time (ms) : 822.648
c starts	: 11
c conflicts	: 0
c decisions	: 260029
c propagations	: 274215
c inspects	: 91391
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 11
c 
c CURRENT OPTIMUM=-2052587520
c Current CPU time (ms) : 867.264
c starts	: 12
c conflicts	: 0
c decisions	: 283668
c propagations	: 299139
c inspects	: 95995
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 12
c 
c CURRENT OPTIMUM=-2052587520
c Current CPU time (ms) : 925.029
c starts	: 13
c conflicts	: 0
c decisions	: 307307
c propagations	: 324063
c inspects	: 100975
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 13
c 
c CURRENT OPTIMUM=-2052587520
c Current CPU time (ms) : 969.586
c starts	: 14
c conflicts	: 0
c decisions	: 330946
c propagations	: 348987
c inspects	: 105555
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 14
c 
c CURRENT OPTIMUM=-2052587520
c Current CPU time (ms) : 1028.518
c starts	: 15
c conflicts	: 0
c decisions	: 354585
c propagations	: 373911
c inspects	: 110628
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 15
c 
c CURRENT OPTIMUM=-2052587520
c Current CPU time (ms) : 1086.383
c starts	: 16
c conflicts	: 0
c decisions	: 378224
c propagations	: 398835
c inspects	: 115647
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 16
c 
c CURRENT OPTIMUM=-2052587520
c Current CPU time (ms) : 1138.464
c starts	: 17
c conflicts	: 0
c decisions	: 401863
c propagations	: 423759
c inspects	: 120488
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 17
c 
c CURRENT OPTIMUM=-2052587520
c Current CPU time (ms) : 1191.903
c starts	: 18
c conflicts	: 0
c decisions	: 425502
c propagations	: 448683
c inspects	: 125361
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 18
c 
c CURRENT OPTIMUM=-2052587520
c Current CPU time (ms) : 1236.27
c starts	: 19
c conflicts	: 0
c decisions	: 449141
c propagations	: 473607
c inspects	: 129942
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 19
#### 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.73 0.90 0.89 1/54 1363
Raw data (stat): 1363 (runsolver) D 1362 24215 24214 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 489856173 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 0.77 0.90 0.89 2/63 1372
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 17976 0 1 0 867 40 0 0 25 0 10 0 489856173 853671936 19166 4294967295 134512640 134569956 3221224400 3221214704 1131203421 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208416 19166 13073 16 0 208400 0
vsize: 833664
[startup+20.0039 s]
Raw data (loadavg): 0.80 0.90 0.89 2/63 1372
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 17976 0 1 0 1755 40 0 0 24 0 10 0 489856173 853635072 19669 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208407 19669 13073 16 0 208391 0
vsize: 833628
[startup+30.0057 s]
Raw data (loadavg): 0.83 0.91 0.89 2/63 1372
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 17976 0 1 0 2653 41 0 0 25 0 10 0 489856173 853635072 20108 4294967295 134512640 134569956 3221224400 3221214824 1131227722 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208407 20108 13073 16 0 208391 0
vsize: 833628
[startup+40.0056 s]
Raw data (loadavg): 0.86 0.91 0.90 2/63 1372
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 17976 0 1 0 3583 41 0 0 25 0 10 0 489856173 853635072 20338 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208407 20338 13073 16 0 208391 0
vsize: 833628
[startup+50.0079 s]
Raw data (loadavg): 0.88 0.91 0.90 2/63 1372
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 17976 0 1 0 4511 41 0 0 25 0 10 0 489856173 853635072 20461 4294967295 134512640 134569956 3221224400 3221214820 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208407 20461 13073 16 0 208391 0
vsize: 833628
[startup+60.008 s]
Raw data (loadavg): 0.90 0.91 0.90 2/63 1372
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 17976 0 1 0 5439 41 0 0 25 0 10 0 489856173 853635072 20567 4294967295 134512640 134569956 3221224400 3221214384 1079668986 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208407 20567 13073 16 0 208391 0
vsize: 833628
[startup+70.0127 s]
Raw data (loadavg): 0.91 0.92 0.90 2/63 1372
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 17976 0 1 0 6382 41 0 0 25 0 10 0 489856173 853602304 20779 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 20779 13073 16 0 208383 0
vsize: 833596
[startup+80.0135 s]
Raw data (loadavg): 0.93 0.92 0.90 2/63 1372
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 17976 0 1 0 7331 41 0 0 25 0 10 0 489856173 853602304 20855 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 20855 13073 16 0 208383 0
vsize: 833596
[startup+90.0202 s]
Raw data (loadavg): 0.94 0.92 0.90 2/63 1372
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 17976 0 1 0 8278 41 0 0 25 0 10 0 489856173 853602304 20930 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 20930 13073 16 0 208383 0
vsize: 833596
[startup+100.021 s]
Raw data (loadavg): 0.95 0.92 0.90 2/63 1372
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 17976 0 1 0 9224 41 0 0 25 0 10 0 489856173 853602304 20999 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 20999 13073 16 0 208383 0
vsize: 833596
[startup+110.043 s]
Raw data (loadavg): 0.95 0.92 0.90 2/63 1372
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 17976 0 1 0 10172 42 0 0 24 0 10 0 489856173 853602304 21065 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 21065 13073 16 0 208383 0
vsize: 833596
[startup+120.045 s]
Raw data (loadavg): 0.96 0.93 0.90 2/63 1372
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 17976 0 1 0 11123 42 0 0 25 0 10 0 489856173 853602304 21123 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 21123 13073 16 0 208383 0
vsize: 833596
[startup+130.046 s]
Raw data (loadavg): 0.97 0.93 0.90 2/63 1372
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 17976 0 1 0 12070 42 0 0 25 0 10 0 489856173 853602304 21181 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 21181 13073 16 0 208383 0
vsize: 833596
[startup+140.047 s]
Raw data (loadavg): 0.97 0.93 0.91 2/63 1372
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 17976 0 1 0 13017 42 0 0 24 0 10 0 489856173 853602304 21237 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 21237 13073 16 0 208383 0
vsize: 833596
[startup+150.048 s]
Raw data (loadavg): 0.98 0.93 0.91 2/63 1372
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 17976 0 1 0 13965 43 0 0 25 0 10 0 489856173 853602304 21289 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 21289 13073 16 0 208383 0
vsize: 833596
[startup+160.047 s]
Raw data (loadavg): 0.98 0.93 0.91 2/63 1372
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 17976 0 1 0 14911 43 0 0 25 0 10 0 489856173 853602304 21340 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 21340 13073 16 0 208383 0
vsize: 833596
[startup+170.051 s]
Raw data (loadavg): 0.98 0.94 0.91 2/63 1372
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 17978 0 1 0 15837 43 0 0 25 0 10 0 489856173 853602304 21395 4294967295 134512640 134569956 3221224400 3221214360 1130892664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 21395 13073 16 0 208383 0
vsize: 833596
[startup+180.052 s]
Raw data (loadavg): 1.06 0.95 0.91 3/63 1372
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 17994 0 1 0 16735 44 0 0 25 0 10 0 489856173 856043520 22139 4294967295 134512640 134569956 3221224400 3221214520 1131273076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208995 22139 13073 16 0 208979 0
vsize: 835980
[startup+190.052 s]
Raw data (loadavg): 1.05 0.95 0.91 2/63 1372
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 17994 0 1 0 17731 45 0 0 25 0 10 0 489856173 856043520 22064 4294967295 134512640 134569956 3221224400 3221214616 1131273199 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208995 22064 13073 16 0 208979 0
vsize: 835980
[startup+200.053 s]
Raw data (loadavg): 1.04 0.96 0.91 2/64 1373
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18023 0 1 0 18653 47 0 0 25 0 11 0 489856173 857620480 25517 4294967295 134512640 134569956 3221224400 3221214776 1131301753 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209380 25517 13073 16 0 209364 0
vsize: 837520
[startup+210.054 s]
Raw data (loadavg): 1.11 0.97 0.92 2/64 1373
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18023 0 1 0 19597 47 0 0 25 0 11 0 489856173 857620480 26375 4294967295 134512640 134569956 3221224400 3221214888 1131519316 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209380 26375 13073 16 0 209364 0
vsize: 837520
[startup+220.054 s]
Raw data (loadavg): 1.10 0.97 0.92 2/64 1373
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18023 0 1 0 20578 48 0 0 24 0 11 0 489856173 857620480 26375 4294967295 134512640 134569956 3221224400 3221214688 1131312617 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209380 26375 13073 16 0 209364 0
vsize: 837520
[startup+230.055 s]
Raw data (loadavg): 1.08 0.97 0.92 2/64 1373
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18023 0 1 0 21561 48 0 0 25 0 11 0 489856173 857620480 26375 4294967295 134512640 134569956 3221224400 3221214688 1131312943 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209380 26375 13073 16 0 209364 0
vsize: 837520
[startup+240.055 s]
Raw data (loadavg): 1.07 0.97 0.92 2/64 1373
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18023 0 1 0 22543 48 0 0 25 0 11 0 489856173 857620480 26416 4294967295 134512640 134569956 3221224400 3221214688 1131312741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209380 26416 13073 16 0 209364 0
vsize: 837520
[startup+250.056 s]
Raw data (loadavg): 1.06 0.97 0.92 2/64 1373
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18023 0 1 0 23533 48 0 0 25 0 11 0 489856173 857620480 26437 4294967295 134512640 134569956 3221224400 3221214776 1131518834 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209380 26437 13073 16 0 209364 0
vsize: 837520
[startup+260.056 s]
Raw data (loadavg): 1.05 0.97 0.92 2/64 1373
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18023 0 1 0 24525 48 0 0 25 0 11 0 489856173 857620480 26440 4294967295 134512640 134569956 3221224400 3221214688 1131312891 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209380 26440 13073 16 0 209364 0
vsize: 837520
[startup+270.056 s]
Raw data (loadavg): 1.04 0.97 0.92 2/64 1373
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18023 0 1 0 25518 48 0 0 25 0 11 0 489856173 857620480 26450 4294967295 134512640 134569956 3221224400 3221214776 1131517304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209380 26450 13073 16 0 209364 0
vsize: 837520
[startup+280.056 s]
Raw data (loadavg): 1.03 0.97 0.92 2/64 1373
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18023 0 1 0 26514 48 0 0 25 0 11 0 489856173 857620480 26461 4294967295 134512640 134569956 3221224400 3221214728 1131315652 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209380 26461 13073 16 0 209364 0
vsize: 837520
[startup+290.057 s]
Raw data (loadavg): 1.03 0.97 0.92 2/64 1373
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18023 0 1 0 27511 48 0 0 25 0 11 0 489856173 857620480 26461 4294967295 134512640 134569956 3221224400 3221214688 1131312783 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209380 26461 13073 16 0 209364 0
vsize: 837520
[startup+300.061 s]
Raw data (loadavg): 1.02 0.97 0.92 2/64 1373
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18023 0 1 0 28506 48 0 0 25 0 11 0 489856173 857620480 26461 4294967295 134512640 134569956 3221224400 3221214776 1131519464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209380 26461 13073 16 0 209364 0
vsize: 837520
[startup+310.062 s]
Raw data (loadavg): 1.02 0.97 0.92 2/64 1373
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18023 0 1 0 29500 48 0 0 25 0 11 0 489856173 857620480 26465 4294967295 134512640 134569956 3221224400 3221214768 1131296799 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209380 26465 13073 16 0 209364 0
vsize: 837520
[startup+320.064 s]
Raw data (loadavg): 1.02 0.97 0.92 2/64 1374
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 30447 49 0 0 25 0 11 0 489856173 858669056 26675 4294967295 134512640 134569956 3221224400 3221214880 1131519464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 26675 13073 16 0 209620 0
vsize: 838544
[startup+330.065 s]
Raw data (loadavg): 1.01 0.97 0.92 2/64 1374
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 31382 49 0 0 25 0 11 0 489856173 858669056 26677 4294967295 134512640 134569956 3221224400 3221214880 1131517304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 26677 13073 16 0 209620 0
vsize: 838544
[startup+340.065 s]
Raw data (loadavg): 1.01 0.97 0.92 2/64 1374
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 32316 49 0 0 25 0 11 0 489856173 858669056 26679 4294967295 134512640 134569956 3221224400 3221214880 1131518094 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 26679 13073 16 0 209620 0
vsize: 838544
[startup+350.066 s]
Raw data (loadavg): 1.01 0.97 0.92 2/64 1374
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 33251 50 0 0 25 0 11 0 489856173 858669056 26681 4294967295 134512640 134569956 3221224400 3221214792 1131312741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 26681 13073 16 0 209620 0
vsize: 838544
[startup+360.067 s]
Raw data (loadavg): 1.01 0.97 0.92 2/64 1374
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 34237 50 0 0 25 0 11 0 489856173 858669056 27278 4294967295 134512640 134569956 3221224400 3221214792 1131312872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 27278 13073 16 0 209620 0
vsize: 838544
[startup+370.066 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 1374
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 35231 50 0 0 25 0 11 0 489856173 858669056 27288 4294967295 134512640 134569956 3221224400 3221214880 1131519012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 27288 13073 16 0 209620 0
vsize: 838544
[startup+380.068 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 1375
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 36186 51 0 0 25 0 11 0 489856173 858669056 27288 4294967295 134512640 134569956 3221224400 3221214880 1131519012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 27288 13073 16 0 209620 0
vsize: 838544
[startup+390.07 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 1375
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 37121 51 0 0 25 0 11 0 489856173 858669056 27289 4294967295 134512640 134569956 3221224400 3221214880 1131519464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 27289 13073 16 0 209620 0
vsize: 838544
[startup+400.07 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 1375
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 38056 51 0 0 25 0 11 0 489856173 858669056 27290 4294967295 134512640 134569956 3221224400 3221214768 1131301918 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 27290 13073 16 0 209620 0
vsize: 838544
[startup+410.073 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 1375
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 38994 52 0 0 25 0 11 0 489856173 858669056 27870 4294967295 134512640 134569956 3221224400 3221214832 1131315637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 27870 13073 16 0 209620 0
vsize: 838544
[startup+420.083 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 1376
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 39957 52 0 0 25 0 11 0 489856173 858669056 27886 4294967295 134512640 134569956 3221224400 3221214768 1131301748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 27886 13073 16 0 209620 0
vsize: 838544
[startup+430.094 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 1376
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 40887 53 0 0 25 0 11 0 489856173 858669056 27887 4294967295 134512640 134569956 3221224400 3221214880 1131518009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 27887 13073 16 0 209620 0
vsize: 838544
[startup+440.096 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 1376
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 41817 54 0 0 25 0 11 0 489856173 858669056 27888 4294967295 134512640 134569956 3221224400 3221214792 1131312741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 27888 13073 16 0 209620 0
vsize: 838544
[startup+450.097 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 1376
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 42747 54 0 0 25 0 11 0 489856173 858669056 27889 4294967295 134512640 134569956 3221224400 3221214880 1131519464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 27889 13073 16 0 209620 0
vsize: 838544
[startup+460.097 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 1376
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 43730 54 0 0 25 0 11 0 489856173 858669056 28466 4294967295 134512640 134569956 3221224400 3221214768 1131301881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 28466 13073 16 0 209620 0
vsize: 838544
[startup+470.096 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 1376
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 44723 54 0 0 25 0 11 0 489856173 858669056 28475 4294967295 134512640 134569956 3221224400 3221214880 1131519012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 28475 13073 16 0 209620 0
vsize: 838544
[startup+480.097 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 1377
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 45685 55 0 0 25 0 11 0 489856173 858669056 28480 4294967295 134512640 134569956 3221224400 3221214768 1131301751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 28480 13073 16 0 209620 0
vsize: 838544
[startup+490.097 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 1377
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 46618 56 0 0 25 0 11 0 489856173 858669056 28480 4294967295 134512640 134569956 3221224400 3221214880 1131519413 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 28480 13073 16 0 209620 0
vsize: 838544
[startup+500.098 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 1377
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 47551 56 0 0 25 0 11 0 489856173 858669056 28482 4294967295 134512640 134569956 3221224400 3221214792 1131312983 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 28482 13073 16 0 209620 0
vsize: 838544
[startup+510.099 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 1377
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 48483 57 0 0 25 0 11 0 489856173 858669056 28797 4294967295 134512640 134569956 3221224400 3221214880 1131519464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 28797 13073 16 0 209620 0
vsize: 838544
[startup+520.099 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 1377
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 49469 57 0 0 25 0 11 0 489856173 858669056 29194 4294967295 134512640 134569956 3221224400 3221214792 1131312600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 29194 13073 16 0 209620 0
vsize: 838544
[startup+530.1 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 1378
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 50454 58 0 0 25 0 11 0 489856173 858669056 29210 4294967295 134512640 134569956 3221224400 3221214792 1131312741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 29210 13073 16 0 209620 0
vsize: 838544
[startup+540.1 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 1378
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 51399 58 0 0 25 0 11 0 489856173 858669056 29210 4294967295 134512640 134569956 3221224400 3221214792 1131312931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 29210 13073 16 0 209620 0
vsize: 838544
[startup+550.101 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 1378
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 52346 58 0 0 25 0 11 0 489856173 858669056 29211 4294967295 134512640 134569956 3221224400 3221214880 1131517286 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 29211 13073 16 0 209620 0
vsize: 838544
[startup+560.102 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 1378
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 53292 59 0 0 25 0 11 0 489856173 858669056 29213 4294967295 134512640 134569956 3221224400 3221214776 1131293326 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 29213 13073 16 0 209620 0
vsize: 838544
[startup+570.102 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 1378
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 54263 59 0 0 25 0 11 0 489856173 858669056 29712 4294967295 134512640 134569956 3221224400 3221214832 1131316009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 29712 13073 16 0 209620 0
vsize: 838544
[startup+580.103 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 1378
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 55258 60 0 0 25 0 11 0 489856173 858669056 29716 4294967295 134512640 134569956 3221224400 3221214768 1131301753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 29716 13073 16 0 209620 0
vsize: 838544
[startup+590.103 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 1379
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 56228 60 0 0 25 0 11 0 489856173 858669056 29717 4294967295 134512640 134569956 3221224400 3221214880 1131517286 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 29717 13073 16 0 209620 0
vsize: 838544
[startup+600.104 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 1379
Raw data (stat): 1363 (java) S 1362 24215 24214 0 -1 0 18024 3 1 0 57159 60 0 0 25 0 11 0 489856173 858669056 29717 4294967295 134512640 134569956 3221224400 3221213624 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 29717 13073 16 0 209620 0
vsize: 838544
[startup+610.104 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 1379
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 58088 61 0 0 25 0 11 0 489856173 858669056 29718 4294967295 134512640 134569956 3221224400 3221214880 1131517304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 29718 13073 16 0 209620 0
vsize: 838544
[startup+620.104 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 1379
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 59013 61 0 0 25 0 11 0 489856173 858669056 29719 4294967295 134512640 134569956 3221224400 3221214880 1131518892 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 29719 13073 16 0 209620 0
vsize: 838544
[startup+630.105 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 1379
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 59979 61 0 0 25 0 11 0 489856173 858669056 30334 4294967295 134512640 134569956 3221224400 3221214792 1131313626 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 30334 13073 16 0 209620 0
vsize: 838544
[startup+640.105 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 1380
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 60927 61 0 0 25 0 11 0 489856173 858669056 30339 4294967295 134512640 134569956 3221224400 3221214792 1131312699 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 30339 13073 16 0 209620 0
vsize: 838544
[startup+650.106 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 1380
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 61864 62 0 0 25 0 11 0 489856173 858669056 30340 4294967295 134512640 134569956 3221224400 3221214832 1131315637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 30340 13073 16 0 209620 0
vsize: 838544
[startup+660.106 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 1380
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 62799 62 0 0 25 0 11 0 489856173 858669056 30343 4294967295 134512640 134569956 3221224400 3221214872 1131296818 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 30343 13073 16 0 209620 0
vsize: 838544
[startup+670.106 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 1380
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 63744 62 0 0 25 0 11 0 489856173 858669056 30843 4294967295 134512640 134569956 3221224400 3221214792 1131312741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 30843 13073 16 0 209620 0
vsize: 838544
[startup+680.107 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 1380
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 64732 63 0 0 25 0 11 0 489856173 858669056 30871 4294967295 134512640 134569956 3221224400 3221214876 1131301728 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 30871 13073 16 0 209620 0
vsize: 838544
[startup+690.107 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 1380
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 65724 63 0 0 25 0 11 0 489856173 858669056 30890 4294967295 134512640 134569956 3221224400 3221214792 1131312741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 30890 13073 16 0 209620 0
vsize: 838544
[startup+700.108 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 1381
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 66662 64 0 0 25 0 11 0 489856173 858669056 30891 4294967295 134512640 134569956 3221224400 3221214768 1131301893 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 30891 13073 16 0 209620 0
vsize: 838544
[startup+710.109 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 1381
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 67596 65 0 0 25 0 11 0 489856173 858669056 30893 4294967295 134512640 134569956 3221224400 3221214792 1131312687 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 30893 13073 16 0 209620 0
vsize: 838544
[startup+720.108 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 1381
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 68532 65 0 0 25 0 11 0 489856173 858669056 30895 4294967295 134512640 134569956 3221224400 3221214880 1131517304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 30895 13073 16 0 209620 0
vsize: 838544
[startup+730.109 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 1381
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 69485 65 0 0 25 0 11 0 489856173 858669056 31778 4294967295 134512640 134569956 3221224400 3221214880 1131519464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 31778 13073 16 0 209620 0
vsize: 838544
[startup+740.111 s]
Raw data (loadavg): 1.00 0.97 0.92 2/68 1386
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 70458 66 0 0 25 0 11 0 489856173 858669056 31785 4294967295 134512640 134569956 3221224400 3221214880 1131519012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 31785 13073 16 0 209620 0
vsize: 838544
[startup+750.112 s]
Raw data (loadavg): 1.15 1.01 0.93 2/64 1435
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 71397 67 0 0 25 0 11 0 489856173 858669056 31786 4294967295 134512640 134569956 3221224400 3221214872 1131296782 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209636 31786 13073 16 0 209620 0
vsize: 838544
[startup+760.113 s]
Raw data (loadavg): 1.13 1.01 0.93 2/64 1435
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 72343 67 0 0 25 0 11 0 489856173 858669056 31788 4294967295 134512640 134569956 3221224400 3221214768 1131301911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 31788 13073 16 0 209620 0
vsize: 838544
[startup+770.113 s]
Raw data (loadavg): 1.11 1.00 0.93 2/64 1435
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 73289 67 0 0 25 0 11 0 489856173 858669056 31789 4294967295 134512640 134569956 3221224400 3221214880 1131519012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 31789 13073 16 0 209620 0
vsize: 838544
[startup+780.115 s]
Raw data (loadavg): 1.09 1.00 0.93 2/64 1435
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 74271 68 0 0 25 0 11 0 489856173 858669056 32284 4294967295 134512640 134569956 3221224400 3221214792 1131312783 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 32284 13073 16 0 209620 0
vsize: 838544
[startup+790.116 s]
Raw data (loadavg): 1.08 1.00 0.93 2/64 1436
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 75212 68 0 0 25 0 11 0 489856173 858669056 32286 4294967295 134512640 134569956 3221224400 3221214792 1131313724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 32286 13073 16 0 209620 0
vsize: 838544
[startup+800.117 s]
Raw data (loadavg): 1.06 1.00 0.93 2/64 1436
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 76157 69 0 0 25 0 11 0 489856173 858669056 32287 4294967295 134512640 134569956 3221224400 3221214880 1131517507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 32287 13073 16 0 209620 0
vsize: 838544
[startup+810.118 s]
Raw data (loadavg): 1.05 1.00 0.93 2/64 1436
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 77103 69 0 0 25 0 11 0 489856173 858669056 32288 4294967295 134512640 134569956 3221224400 3221214792 1131312891 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 32288 13073 16 0 209620 0
vsize: 838544
[startup+820.118 s]
Raw data (loadavg): 1.05 1.00 0.93 2/64 1438
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 78067 70 0 0 25 0 11 0 489856173 858669056 32782 4294967295 134512640 134569956 3221224400 3221214792 1131312658 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 32782 13073 16 0 209620 0
vsize: 838544
[startup+830.119 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 1439
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 79026 70 0 0 25 0 11 0 489856173 858669056 32783 4294967295 134512640 134569956 3221224400 3221214792 1131312741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 32783 13073 16 0 209620 0
vsize: 838544
[startup+840.12 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 1439
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 79970 70 0 0 25 0 11 0 489856173 858669056 32783 4294967295 134512640 134569956 3221224400 3221214792 1131313693 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 32783 13073 16 0 209620 0
vsize: 838544
[startup+850.129 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 1439
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 80917 71 0 0 25 0 11 0 489856173 858669056 32784 4294967295 134512640 134569956 3221224400 3221214880 1131517521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 32784 13073 16 0 209620 0
vsize: 838544
[startup+860.13 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 1439
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 81867 71 0 0 25 0 11 0 489856173 858669056 33261 4294967295 134512640 134569956 3221224400 3221214792 1131312872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 33261 13073 16 0 209620 0
vsize: 838544
[startup+870.13 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 1440
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 82842 72 0 0 25 0 11 0 489856173 858669056 33279 4294967295 134512640 134569956 3221224400 3221214792 1131312931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 33279 13073 16 0 209620 0
vsize: 838544
[startup+880.132 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 1440
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 83761 72 0 0 25 0 11 0 489856173 858669056 33279 4294967295 134512640 134569956 3221224400 3221214792 1131312741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 33279 13073 16 0 209620 0
vsize: 838544
[startup+890.132 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 1440
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 84688 72 0 0 25 0 11 0 489856173 858669056 33279 4294967295 134512640 134569956 3221224400 3221214880 1131519012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 33279 13073 16 0 209620 0
vsize: 838544
[startup+900.136 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 1440
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 85607 73 0 0 25 0 11 0 489856173 858669056 33280 4294967295 134512640 134569956 3221224400 3221214792 1131312697 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 33280 13073 16 0 209620 0
vsize: 838544
[startup+910.147 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 1440
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 86564 73 0 0 25 0 11 0 489856173 858669056 33968 4294967295 134512640 134569956 3221224400 3221214792 1131313015 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 33968 13073 16 0 209620 0
vsize: 838544
[startup+920.148 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 1440
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 87556 74 0 0 25 0 11 0 489856173 858669056 33978 4294967295 134512640 134569956 3221224400 3221214880 1131519007 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 33978 13073 16 0 209620 0
vsize: 838544
[startup+930.148 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 1441
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 88525 74 0 0 25 0 11 0 489856173 858669056 33992 4294967295 134512640 134569956 3221224400 3221214880 1131518817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 33992 13073 16 0 209620 0
vsize: 838544
[startup+940.149 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 1441
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 89461 74 0 0 25 0 11 0 489856173 858669056 33992 4294967295 134512640 134569956 3221224400 3221214792 1131312741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 33992 13073 16 0 209620 0
vsize: 838544
[startup+950.151 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 1441
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 90394 74 0 0 25 0 11 0 489856173 858669056 33993 4294967295 134512640 134569956 3221224400 3221214880 1131518892 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 33993 13073 16 0 209620 0
vsize: 838544
[startup+960.152 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 1441
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 91328 75 0 0 25 0 11 0 489856173 858669056 33995 4294967295 134512640 134569956 3221224400 3221214768 1131302346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 33995 13073 16 0 209620 0
vsize: 838544
[startup+970.152 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 1441
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 92307 75 0 0 25 0 10 0 489856173 858669056 34535 4294967295 134512640 134569956 3221224400 3221214928 1131256822 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 34535 13073 16 0 209620 0
vsize: 838544
[startup+980.156 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 1442
Raw data (stat): 1363 (java) S 1362 24215 24214 0 -1 0 18024 3 1 0 93247 76 0 0 25 0 11 0 489856173 858669056 34554 4294967295 134512640 134569956 3221224400 3221213624 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 34554 13073 16 0 209620 0
vsize: 838544
[startup+990.156 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 1442
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 94195 76 0 0 25 0 11 0 489856173 858669056 34555 4294967295 134512640 134569956 3221224400 3221214768 1131301779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 34555 13073 16 0 209620 0
vsize: 838544
[startup+1000.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 1442
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 95132 77 0 0 25 0 11 0 489856173 858669056 34556 4294967295 134512640 134569956 3221224400 3221214880 1131518094 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 34556 13073 16 0 209620 0
vsize: 838544
[startup+1010.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 1442
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 96097 77 0 0 25 0 11 0 489856173 858669056 35055 4294967295 134512640 134569956 3221224400 3221214792 1131312589 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 35055 13073 16 0 209620 0
vsize: 838544
[startup+1020.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 1442
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 97092 77 0 0 25 0 11 0 489856173 858669056 35058 4294967295 134512640 134569956 3221224400 3221214792 1131312741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 35058 13073 16 0 209620 0
vsize: 838544
[startup+1030.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 1443
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 98079 78 0 0 25 0 11 0 489856173 858669056 35059 4294967295 134512640 134569956 3221224400 3221214768 1131301909 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 35059 13073 16 0 209620 0
vsize: 838544
[startup+1040.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 1443
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 99020 79 0 0 25 0 11 0 489856173 858669056 35059 4294967295 134512640 134569956 3221224400 3221214768 1131301748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 35059 13073 16 0 209620 0
vsize: 838544
[startup+1050.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 1443
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 99963 79 0 0 25 0 11 0 489856173 858669056 35059 4294967295 134512640 134569956 3221224400 3221214792 1131312724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 35059 13073 16 0 209620 0
vsize: 838544
[startup+1060.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 1443
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 100907 79 0 0 25 0 11 0 489856173 858669056 35060 4294967295 134512640 134569956 3221224400 3221214792 1131312741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 35060 13073 16 0 209620 0
vsize: 838544
[startup+1070.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 1445
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 101875 79 0 0 25 0 11 0 489856173 858669056 35559 4294967295 134512640 134569956 3221224400 3221214792 1131312872 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 35559 13073 16 0 209620 0
vsize: 838544
[startup+1080.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 1445
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 102870 80 0 0 25 0 11 0 489856173 858669056 35562 4294967295 134512640 134569956 3221224400 3221214792 1131312793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 35562 13073 16 0 209620 0
vsize: 838544
[startup+1090.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 1446
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 103845 80 0 0 25 0 11 0 489856173 858669056 37223 4294967295 134512640 134569956 3221224400 3221214792 1131312917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 37223 13073 16 0 209620 0
vsize: 838544
[startup+1100.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 1446
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 104835 81 0 0 25 0 11 0 489856173 858669056 37223 4294967295 134512640 134569956 3221224400 3221214880 1131517304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 37223 13073 16 0 209620 0
vsize: 838544
[startup+1110.16 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 1446
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 105825 81 0 0 25 0 11 0 489856173 858669056 37223 4294967295 134512640 134569956 3221224400 3221214768 1131301836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 37223 13073 16 0 209620 0
vsize: 838544
[startup+1120.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 1446
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 106816 81 0 0 25 0 11 0 489856173 858669056 37223 4294967295 134512640 134569956 3221224400 3221214880 1131517304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 37223 13073 16 0 209620 0
vsize: 838544
[startup+1130.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 1446
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 107809 82 0 0 25 0 11 0 489856173 858669056 37247 4294967295 134512640 134569956 3221224400 3221214872 1131296818 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 37247 13073 16 0 209620 0
vsize: 838544
[startup+1140.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 1447
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 108803 82 0 0 25 0 11 0 489856173 858669056 37257 4294967295 134512640 134569956 3221224400 3221214880 1131517301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 37257 13073 16 0 209620 0
vsize: 838544
[startup+1150.17 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 1447
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 109744 83 0 0 25 0 11 0 489856173 858669056 37257 4294967295 134512640 134569956 3221224400 3221214792 1131312943 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 37257 13073 16 0 209620 0
vsize: 838544
[startup+1160.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 1447
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 110686 83 0 0 25 0 11 0 489856173 858669056 37257 4294967295 134512640 134569956 3221224400 3221214792 1131312631 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 37257 13073 16 0 209620 0
vsize: 838544
[startup+1170.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 1447
Raw data (stat): 1363 (java) S 1362 24215 24214 0 -1 0 18024 3 1 0 111625 84 0 0 25 0 11 0 489856173 858669056 37259 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 37259 13073 16 0 209620 0
vsize: 838544
[startup+1180.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 1447
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 112592 84 0 0 25 0 11 0 489856173 858669056 37757 4294967295 134512640 134569956 3221224400 3221214872 1131296818 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 37757 13073 16 0 209620 0
vsize: 838544
[startup+1190.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 1447
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 113584 85 0 0 25 0 11 0 489856173 858669056 37761 4294967295 134512640 134569956 3221224400 3221214880 1131517440 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 37761 13073 16 0 209620 0
vsize: 838544
[startup+1200.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 1448
Raw data (stat): 1363 (java) S 1362 24215 24214 0 -1 0 18024 3 1 0 114540 85 0 0 25 0 11 0 489856173 858669056 37762 4294967295 134512640 134569956 3221224400 3221213624 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 37762 13073 16 0 209620 0
vsize: 838544
[startup+1210.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 1448
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 115482 86 0 0 25 0 11 0 489856173 858669056 37762 4294967295 134512640 134569956 3221224400 3221214880 1131519464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 37762 13073 16 0 209620 0
vsize: 838544
[startup+1220.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 1448
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 116425 86 0 0 25 0 11 0 489856173 858669056 37764 4294967295 134512640 134569956 3221224400 3221214792 1131312697 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 37764 13073 16 0 209620 0
vsize: 838544
[startup+1230.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 1448
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 117370 86 0 0 25 0 11 0 489856173 858669056 38252 4294967295 134512640 134569956 3221224400 3221214792 1131312852 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 38252 13073 16 0 209620 0
vsize: 838544
[startup+1240.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 1449
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 118341 87 0 0 25 0 11 0 489856173 858669056 38263 4294967295 134512640 134569956 3221224400 3221214880 1131517301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 38263 13073 16 0 209620 0
vsize: 838544
[startup+1250.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 1449
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 119283 87 0 0 24 0 11 0 489856173 858669056 38265 4294967295 134512640 134569956 3221224400 3221214880 1131517304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 38265 13073 16 0 209620 0
vsize: 838544
[startup+1260.19 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 1449
Raw data (stat): 1363 (java) R 1362 24215 24214 0 -1 0 18024 3 1 0 120223 87 0 0 24 0 11 0 489856173 858669056 38268 4294967295 134512640 134569956 3221224400 3221214872 1131296818 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209636 38268 13073 16 0 209620 0
vsize: 838544
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.29 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 1450
Raw data (stat): 1363 (java) Z 1362 24215 24214 0 -1 1036 18024 24589 1 0 120225 94 6582 69 25 0 1 0 489856173 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1260.29
CPU time (s): 1269.73
CPU user time (s): 1268.09
CPU system time (s): 1.64675
CPU usage (%): 100.75
Max. virtual memory (Kb): 838544
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####