Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namenormalized-opb/submitted/manquinho/routing/normalized-s4-4-3-6pb.opb
MD5SUMc12951e903009dc00793ce72594cf3ba
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 66
Optimality of the best value was proved NO
Number of terms in the objective function 624
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 624
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 624
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.03684
Number of variables624
Total number of constraints1884
Number of constraints which are clauses1860
Number of constraints which are cardinality constraints (but not clauses)24
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint26

Trace number 4425

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-04-13 17:03:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2178 boxname=wulflinc11 idbench=242 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  c12951e903009dc00793ce72594cf3ba  /oldhome/oroussel/tmp/wulflinc11/normalized-s4-4-3-6pb.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc11/normalized-s4-4-3-6pb.opb
IDLAUNCH: 2178
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
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:        929436 kB
Buffers:         32720 kB
Cached:          48300 kB
SwapCached:       4932 kB
Active:          48568 kB
Inactive:        40160 kB
HighTotal:      131008 kB
HighFree:        79044 kB
LowTotal:       903652 kB
LowFree:        850392 kB
SwapTotal:     2097136 kB
SwapFree:      2092204 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6924 kB
Slab:            10876 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 17:24:48 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2178 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc11/normalized-s4-4-3-6pb.opb
c reading problem 
c [nbvar=624]
c [nbconstr=1884]
c time 2.705
c #vars     624
c #clauses  1884
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=70
c Current CPU time (ms) : 116.349
c starts	: 5
c conflicts	: 969
c decisions	: 6475
c propagations	: 43040
c inspects	: 326374
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 4
c learned clauses	: 969
c root simplifications	: 5
c 
c CURRENT OPTIMUM=66
c Current CPU time (ms) : 739.185
c starts	: 11
c conflicts	: 2384
c decisions	: 14640
c propagations	: 114955
c inspects	: 1799435
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 5
c learned clauses	: 2384
c root simplifications	: 11
#### 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.92 0.98 0.95 2/54 1299
Raw data (stat): 1299 (runsolver) R 1298 32461 32460 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419380365 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0012 s]
Raw data (loadavg): 1.09 1.02 0.96 3/64 1309
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18070 0 1 0 583 45 0 0 25 0 11 0 419380365 863387648 21500 4294967295 134512640 134569956 3221224416 3221214632 1131310689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210788 21500 13073 16 0 210772 0
vsize: 843152
[startup+20.0019 s]
Raw data (loadavg): 1.07 1.02 0.96 2/64 1309
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18071 0 1 0 1513 46 0 0 25 0 11 0 419380365 863191040 21898 4294967295 134512640 134569956 3221224416 3221214576 1131535577 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 21898 13073 16 0 210724 0
vsize: 842960
[startup+30.0022 s]
Raw data (loadavg): 1.06 1.01 0.96 2/64 1309
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18071 0 1 0 2431 47 0 0 25 0 11 0 419380365 863191040 22254 4294967295 134512640 134569956 3221224416 3221214792 1131395621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 22254 13073 16 0 210724 0
vsize: 842960
[startup+40.0049 s]
Raw data (loadavg): 1.05 1.01 0.96 2/64 1309
Raw data (stat): 1299 (java) S 1298 32461 32460 0 -1 0 18072 0 1 0 3353 47 0 0 25 0 11 0 419380365 863191040 22777 4294967295 134512640 134569956 3221224416 3221213336 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 22777 13073 16 0 210724 0
vsize: 842960
[startup+50.0058 s]
Raw data (loadavg): 1.04 1.01 0.96 2/64 1309
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 0 1 0 4268 47 0 0 25 0 11 0 419380365 863191040 22954 4294967295 134512640 134569956 3221224416 3221214688 1131597345 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 22954 13073 16 0 210724 0
vsize: 842960
[startup+60.0066 s]
Raw data (loadavg): 1.04 1.01 0.96 2/64 1309
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 0 1 0 5189 47 0 0 25 0 11 0 419380365 863191040 23104 4294967295 134512640 134569956 3221224416 3221214688 1131597338 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 23104 13073 16 0 210724 0
vsize: 842960
[startup+70.008 s]
Raw data (loadavg): 1.03 1.01 0.96 2/64 1309
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 0 1 0 6102 47 0 0 25 0 11 0 419380365 863191040 23344 4294967295 134512640 134569956 3221224416 3221214848 1131271052 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 23344 13073 16 0 210724 0
vsize: 842960
[startup+80.0091 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 1309
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 0 1 0 7032 47 0 0 25 0 11 0 419380365 863191040 23629 4294967295 134512640 134569956 3221224416 3221214664 1131470867 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 23629 13073 16 0 210724 0
vsize: 842960
[startup+90.0089 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 1309
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 0 1 0 7973 47 0 0 25 0 11 0 419380365 863191040 23869 4294967295 134512640 134569956 3221224416 3221214792 1131394697 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 23869 13073 16 0 210724 0
vsize: 842960
[startup+100.01 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 1309
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 0 1 0 8911 47 0 0 25 0 11 0 419380365 863191040 24038 4294967295 134512640 134569956 3221224416 3221214568 1131535776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 24038 13073 16 0 210724 0
vsize: 842960
[startup+110.01 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 1309
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 0 1 0 9855 47 0 0 25 0 11 0 419380365 863191040 24215 4294967295 134512640 134569956 3221224416 3221214680 1131594853 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 24215 13073 16 0 210724 0
vsize: 842960
[startup+120.01 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 1310
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 10796 47 0 0 25 0 11 0 419380365 863191040 24324 4294967295 134512640 134569956 3221224416 3221214104 1131641297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 24324 13073 16 0 210724 0
vsize: 842960
[startup+130.011 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 11741 47 0 0 25 0 11 0 419380365 863191040 24461 4294967295 134512640 134569956 3221224416 3221214768 1131394697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 24461 13073 16 0 210724 0
vsize: 842960
[startup+140.011 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 12687 47 0 0 25 0 11 0 419380365 863191040 24568 4294967295 134512640 134569956 3221224416 3221214624 1131310812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 24568 13073 16 0 210724 0
vsize: 842960
[startup+150.012 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 13628 47 0 0 25 0 11 0 419380365 863191040 24754 4294967295 134512640 134569956 3221224416 3221214160 1131641272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 24754 13073 16 0 210724 0
vsize: 842960
[startup+160.012 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 14587 47 0 0 25 0 11 0 419380365 863191040 24902 4294967295 134512640 134569956 3221224416 3221214680 1131597328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 24902 13073 16 0 210724 0
vsize: 842960
[startup+170.011 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 15550 47 0 0 25 0 11 0 419380365 863191040 25032 4294967295 134512640 134569956 3221224416 3221214100 1131641240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 25032 13073 16 0 210724 0
vsize: 842960
[startup+180.011 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 16497 47 0 0 25 0 11 0 419380365 863191040 25146 4294967295 134512640 134569956 3221224416 3221214672 1131218437 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 25146 13073 16 0 210724 0
vsize: 842960
[startup+190.012 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 17426 47 0 0 24 0 11 0 419380365 863191040 25254 4294967295 134512640 134569956 3221224416 3221214568 1131535813 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 25254 13073 16 0 210724 0
vsize: 842960
[startup+200.012 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 18353 47 0 0 25 0 11 0 419380365 863191040 25399 4294967295 134512640 134569956 3221224416 3221214568 1131537167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 25399 13073 16 0 210724 0
vsize: 842960
[startup+210.012 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 19308 47 0 0 25 0 11 0 419380365 863191040 25469 4294967295 134512640 134569956 3221224416 3221214768 1131394663 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 25469 13073 16 0 210724 0
vsize: 842960
[startup+220.012 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 20255 47 0 0 25 0 11 0 419380365 863191040 25638 4294967295 134512640 134569956 3221224416 3221214584 1131260287 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 25638 13073 16 0 210724 0
vsize: 842960
[startup+230.013 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 21204 47 0 0 25 0 11 0 419380365 863191040 25738 4294967295 134512640 134569956 3221224416 3221214768 1131394690 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 25738 13073 16 0 210724 0
vsize: 842960
[startup+240.013 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 22165 47 0 0 25 0 11 0 419380365 863191040 25913 4294967295 134512640 134569956 3221224416 3221214160 1131641297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 25913 13073 16 0 210724 0
vsize: 842960
[startup+250.014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 23124 47 0 0 25 0 11 0 419380365 863191040 26056 4294967295 134512640 134569956 3221224416 3221214768 1131394758 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 26056 13073 16 0 210724 0
vsize: 842960
[startup+260.014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 24078 47 0 0 25 0 11 0 419380365 863191040 26186 4294967295 134512640 134569956 3221224416 3221214104 1131641272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 26186 13073 16 0 210724 0
vsize: 842960
[startup+270.014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 25035 47 0 0 25 0 11 0 419380365 863191040 26299 4294967295 134512640 134569956 3221224416 3221214588 1131641728 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 26299 13073 16 0 210724 0
vsize: 842960
[startup+280.014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 25993 47 0 0 25 0 11 0 419380365 863191040 26417 4294967295 134512640 134569956 3221224416 3221214264 1131641220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 26417 13073 16 0 210724 0
vsize: 842960
[startup+290.015 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 26955 47 0 0 25 0 11 0 419380365 863191040 26542 4294967295 134512640 134569956 3221224416 3221214584 1131259629 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 26542 13073 16 0 210724 0
vsize: 842960
[startup+300.015 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 27919 47 0 0 25 0 11 0 419380365 863191040 26632 4294967295 134512640 134569956 3221224416 3221214632 1131472886 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 26632 13073 16 0 210724 0
vsize: 842960
[startup+310.016 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 28883 47 0 0 25 0 11 0 419380365 863191040 26711 4294967295 134512640 134569956 3221224416 3221214568 1131534896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 26711 13073 16 0 210724 0
vsize: 842960
[startup+320.016 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 29848 48 0 0 25 0 11 0 419380365 863191040 26794 4294967295 134512640 134569956 3221224416 3221214768 1131394781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 26794 13073 16 0 210724 0
vsize: 842960
[startup+330.017 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 30808 48 0 0 25 0 11 0 419380365 863191040 26886 4294967295 134512640 134569956 3221224416 3221214768 1131395806 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 26886 13073 16 0 210724 0
vsize: 842960
[startup+340.017 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 31778 48 0 0 25 0 11 0 419380365 863191040 26962 4294967295 134512640 134569956 3221224416 3221214400 1085679346 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 26962 13073 16 0 210724 0
vsize: 842960
[startup+350.016 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 32741 48 0 0 25 0 11 0 419380365 863191040 27040 4294967295 134512640 134569956 3221224416 3221214768 1131394758 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 27040 13073 16 0 210724 0
vsize: 842960
[startup+360.017 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 33705 48 0 0 25 0 11 0 419380365 863191040 27118 4294967295 134512640 134569956 3221224416 3221214672 1131218833 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 27118 13073 16 0 210724 0
vsize: 842960
[startup+370.017 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 34662 48 0 0 25 0 11 0 419380365 863191040 27207 4294967295 134512640 134569956 3221224416 3221214568 1131536500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 27207 13073 16 0 210724 0
vsize: 842960
[startup+380.018 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 35624 48 0 0 25 0 11 0 419380365 863191040 27287 4294967295 134512640 134569956 3221224416 3221214584 1131259536 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 27287 13073 16 0 210724 0
vsize: 842960
[startup+390.018 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 36586 48 0 0 25 0 11 0 419380365 863191040 27390 4294967295 134512640 134569956 3221224416 3221214584 1131259629 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 27390 13073 16 0 210724 0
vsize: 842960
[startup+400.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) S 1298 32461 32460 0 -1 0 18072 3 1 0 37547 48 0 0 25 0 11 0 419380365 863191040 27479 4294967295 134512640 134569956 3221224416 3221213328 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 27479 13073 16 0 210724 0
vsize: 842960
[startup+410.021 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 38510 48 0 0 25 0 11 0 419380365 863191040 27574 4294967295 134512640 134569956 3221224416 3221214664 1131274283 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 27574 13073 16 0 210724 0
vsize: 842960
[startup+420.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 39477 48 0 0 25 0 11 0 419380365 863191040 27656 4294967295 134512640 134569956 3221224416 3221214120 1085632281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 27656 13073 16 0 210724 0
vsize: 842960
[startup+430.023 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 40443 48 0 0 25 0 11 0 419380365 863191040 27749 4294967295 134512640 134569956 3221224416 3221214104 1131641290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 27749 13073 16 0 210724 0
vsize: 842960
[startup+440.023 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 41415 48 0 0 25 0 11 0 419380365 863191040 27807 4294967295 134512640 134569956 3221224416 3221214640 1131044207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 27807 13073 16 0 210724 0
vsize: 842960
[startup+450.023 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 42384 48 0 0 25 0 11 0 419380365 863191040 27866 4294967295 134512640 134569956 3221224416 3221214744 1131218833 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 27866 13073 16 0 210724 0
vsize: 842960
[startup+460.024 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 43355 48 0 0 25 0 11 0 419380365 863191040 27896 4294967295 134512640 134569956 3221224416 3221214768 1131394758 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 27896 13073 16 0 210724 0
vsize: 842960
[startup+470.024 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 44324 48 0 0 25 0 11 0 419380365 863191040 27947 4294967295 134512640 134569956 3221224416 3221214260 1131641291 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 27947 13073 16 0 210724 0
vsize: 842960
[startup+480.023 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 45279 48 0 0 25 0 11 0 419380365 863191040 28054 4294967295 134512640 134569956 3221224416 3221214184 1085632310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 28054 13073 16 0 210724 0
vsize: 842960
[startup+490.024 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 46238 48 0 0 25 0 11 0 419380365 863191040 28103 4294967295 134512640 134569956 3221224416 3221214768 1131395844 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 28103 13073 16 0 210724 0
vsize: 842960
[startup+500.024 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 47203 48 0 0 24 0 11 0 419380365 863191040 28169 4294967295 134512640 134569956 3221224416 3221214768 1131396678 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 28169 13073 16 0 210724 0
vsize: 842960
[startup+510.024 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 48163 48 0 0 25 0 11 0 419380365 863191040 28302 4294967295 134512640 134569956 3221224416 3221214768 1131394690 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 28302 13073 16 0 210724 0
vsize: 842960
[startup+520.024 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 49126 48 0 0 25 0 11 0 419380365 863191040 28386 4294967295 134512640 134569956 3221224416 3221214768 1131395676 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 28386 13073 16 0 210724 0
vsize: 842960
[startup+530.024 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 50096 49 0 0 25 0 11 0 419380365 863191040 28467 4294967295 134512640 134569956 3221224416 3221214768 1131394501 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 28467 13073 16 0 210724 0
vsize: 842960
[startup+540.027 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) S 1298 32461 32460 0 -1 0 18072 3 1 0 51058 49 0 0 25 0 11 0 419380365 863191040 28581 4294967295 134512640 134569956 3221224416 3221213288 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 28581 13073 16 0 210724 0
vsize: 842960
[startup+550.028 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 52019 49 0 0 25 0 11 0 419380365 863191040 28680 4294967295 134512640 134569956 3221224416 3221214768 1131394857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 28680 13073 16 0 210724 0
vsize: 842960
[startup+560.029 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 52979 49 0 0 25 0 11 0 419380365 863191040 28752 4294967295 134512640 134569956 3221224416 3221213904 1085679434 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 28752 13073 16 0 210724 0
vsize: 842960
[startup+570.028 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 53951 49 0 0 25 0 11 0 419380365 863191040 28817 4294967295 134512640 134569956 3221224416 3221214768 1131396793 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 28817 13073 16 0 210724 0
vsize: 842960
[startup+580.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 54912 49 0 0 25 0 11 0 419380365 863191040 28920 4294967295 134512640 134569956 3221224416 3221214800 1131330352 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 28920 13073 16 0 210724 0
vsize: 842960
[startup+590.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 55875 49 0 0 25 0 11 0 419380365 863191040 29030 4294967295 134512640 134569956 3221224416 3221214800 1131327655 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 29030 13073 16 0 210724 0
vsize: 842960
[startup+600.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 56845 49 0 0 25 0 11 0 419380365 863191040 29103 4294967295 134512640 134569956 3221224416 3221214736 1131276725 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 29103 13073 16 0 210724 0
vsize: 842960
[startup+610.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 57817 49 0 0 25 0 11 0 419380365 863191040 29139 4294967295 134512640 134569956 3221224416 3221214768 1131395629 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 29139 13073 16 0 210724 0
vsize: 842960
[startup+620.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 58788 49 0 0 25 0 11 0 419380365 863191040 29194 4294967295 134512640 134569956 3221224416 3221214768 1131394697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 29194 13073 16 0 210724 0
vsize: 842960
[startup+630.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 59753 49 0 0 25 0 11 0 419380365 863191040 29282 4294967295 134512640 134569956 3221224416 3221214584 1131259669 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 29282 13073 16 0 210724 0
vsize: 842960
[startup+640.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 60714 49 0 0 25 0 11 0 419380365 863191040 29345 4294967295 134512640 134569956 3221224416 3221214768 1131394697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 29345 13073 16 0 210724 0
vsize: 842960
[startup+650.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 61680 49 0 0 25 0 11 0 419380365 863191040 29418 4294967295 134512640 134569956 3221224416 3221214680 1131597342 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 29418 13073 16 0 210724 0
vsize: 842960
[startup+660.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 62648 49 0 0 25 0 11 0 419380365 863191040 29521 4294967295 134512640 134569956 3221224416 3221214768 1131399848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 29521 13073 16 0 210724 0
vsize: 842960
[startup+670.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 63613 49 0 0 25 0 11 0 419380365 863191040 29594 4294967295 134512640 134569956 3221224416 3221214472 1131581241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 29594 13073 16 0 210724 0
vsize: 842960
[startup+680.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 64583 49 0 0 25 0 11 0 419380365 863191040 29674 4294967295 134512640 134569956 3221224416 3221214768 1131394821 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 29674 13073 16 0 210724 0
vsize: 842960
[startup+690.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 65557 49 0 0 25 0 11 0 419380365 863191040 29713 4294967295 134512640 134569956 3221224416 3221214768 1131395621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 29713 13073 16 0 210724 0
vsize: 842960
[startup+700.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 66531 50 0 0 25 0 11 0 419380365 863191040 29765 4294967295 134512640 134569956 3221224416 3221214672 1131218959 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 29765 13073 16 0 210724 0
vsize: 842960
[startup+710.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 67514 50 0 0 25 0 11 0 419380365 863191040 29801 4294967295 134512640 134569956 3221224416 3221214768 1131394697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 29801 13073 16 0 210724 0
vsize: 842960
[startup+720.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 68491 50 0 0 25 0 11 0 419380365 863191040 29838 4294967295 134512640 134569956 3221224416 3221214536 1131642684 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 29838 13073 16 0 210724 0
vsize: 842960
[startup+730.033 s]
Raw data (loadavg): 1.08 1.02 0.97 2/64 1312
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 69473 50 0 0 25 0 11 0 419380365 863191040 29872 4294967295 134512640 134569956 3221224416 3221214672 1131218467 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 29872 13073 16 0 210724 0
vsize: 842960
[startup+740.033 s]
Raw data (loadavg): 1.07 1.02 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 70443 50 0 0 25 0 11 0 419380365 863191040 29925 4294967295 134512640 134569956 3221224416 3221214208 1131642642 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 29925 13073 16 0 210724 0
vsize: 842960
[startup+750.033 s]
Raw data (loadavg): 1.06 1.01 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 71430 51 0 0 25 0 11 0 419380365 863191040 29941 4294967295 134512640 134569956 3221224416 3221214672 1131218775 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 29941 13073 16 0 210724 0
vsize: 842960
[startup+760.033 s]
Raw data (loadavg): 1.05 1.01 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 72393 51 0 0 25 0 11 0 419380365 863191040 30016 4294967295 134512640 134569956 3221224416 3221214568 1131534977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 30016 13073 16 0 210724 0
vsize: 842960
[startup+770.033 s]
Raw data (loadavg): 1.04 1.01 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 73354 51 0 0 25 0 11 0 419380365 863191040 30072 4294967295 134512640 134569956 3221224416 3221214680 1131597331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 30072 13073 16 0 210724 0
vsize: 842960
[startup+780.034 s]
Raw data (loadavg): 1.11 1.03 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 74316 52 0 0 25 0 11 0 419380365 863191040 30174 4294967295 134512640 134569956 3221224416 3221214768 1131394697 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 30174 13073 16 0 210724 0
vsize: 842960
[startup+790.034 s]
Raw data (loadavg): 1.10 1.03 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 75279 52 0 0 25 0 11 0 419380365 863191040 30282 4294967295 134512640 134569956 3221224416 3221214464 1131637534 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 30282 13073 16 0 210724 0
vsize: 842960
[startup+800.034 s]
Raw data (loadavg): 1.08 1.03 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 76248 52 0 0 25 0 11 0 419380365 863191040 30364 4294967295 134512640 134569956 3221224416 3221214768 1131398129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 30364 13073 16 0 210724 0
vsize: 842960
[startup+810.034 s]
Raw data (loadavg): 1.07 1.03 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 77229 52 0 0 25 0 11 0 419380365 863191040 30401 4294967295 134512640 134569956 3221224416 3221214672 1131218789 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 30401 13073 16 0 210724 0
vsize: 842960
[startup+820.034 s]
Raw data (loadavg): 1.06 1.02 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 78205 53 0 0 25 0 11 0 419380365 863191040 30450 4294967295 134512640 134569956 3221224416 3221213984 1131641272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 30450 13073 16 0 210724 0
vsize: 842960
[startup+830.035 s]
Raw data (loadavg): 1.05 1.02 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 79180 53 0 0 24 0 11 0 419380365 863191040 30499 4294967295 134512640 134569956 3221224416 3221214672 1131218772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 30499 13073 16 0 210724 0
vsize: 842960
[startup+840.036 s]
Raw data (loadavg): 1.04 1.02 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 80149 53 0 0 25 0 11 0 419380365 863191040 30549 4294967295 134512640 134569956 3221224416 3221214768 1131394735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 30549 13073 16 0 210724 0
vsize: 842960
[startup+850.036 s]
Raw data (loadavg): 1.03 1.02 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 81118 54 0 0 25 0 11 0 419380365 863191040 30592 4294967295 134512640 134569956 3221224416 3221214584 1131218625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 30592 13073 16 0 210724 0
vsize: 842960
[startup+860.036 s]
Raw data (loadavg): 1.03 1.02 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 82085 54 0 0 25 0 11 0 419380365 863191040 30635 4294967295 134512640 134569956 3221224416 3221214264 1131642477 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 30635 13073 16 0 210724 0
vsize: 842960
[startup+870.037 s]
Raw data (loadavg): 1.02 1.02 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 83056 54 0 0 25 0 11 0 419380365 863191040 30673 4294967295 134512640 134569956 3221224416 3221214488 1131641297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 30673 13073 16 0 210724 0
vsize: 842960
[startup+880.037 s]
Raw data (loadavg): 1.02 1.02 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 84038 54 0 0 25 0 11 0 419380365 863191040 30722 4294967295 134512640 134569956 3221224416 3221214888 1131545672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 30722 13073 16 0 210724 0
vsize: 842960
[startup+890.038 s]
Raw data (loadavg): 1.02 1.02 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 85012 54 0 0 25 0 11 0 419380365 863191040 30766 4294967295 134512640 134569956 3221224416 3221214072 1085679272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 30766 13073 16 0 210724 0
vsize: 842960
[startup+900.037 s]
Raw data (loadavg): 1.01 1.02 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 85976 55 0 0 25 0 11 0 419380365 863191040 30838 4294967295 134512640 134569956 3221224416 3221214648 1131569175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 30838 13073 16 0 210724 0
vsize: 842960
[startup+910.039 s]
Raw data (loadavg): 1.01 1.02 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 86964 55 0 0 24 0 11 0 419380365 863191040 30862 4294967295 134512640 134569956 3221224416 3221214552 1131377649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 30862 13073 16 0 210724 0
vsize: 842960
[startup+920.039 s]
Raw data (loadavg): 1.01 1.01 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 87944 55 0 0 25 0 11 0 419380365 863191040 30893 4294967295 134512640 134569956 3221224416 3221214768 1131394797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 30893 13073 16 0 210724 0
vsize: 842960
[startup+930.04 s]
Raw data (loadavg): 1.01 1.01 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 88913 56 0 0 25 0 11 0 419380365 863191040 30940 4294967295 134512640 134569956 3221224416 3221214400 1085679290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 30940 13073 16 0 210724 0
vsize: 842960
[startup+940.041 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 89887 56 0 0 25 0 11 0 419380365 863191040 30965 4294967295 134512640 134569956 3221224416 3221214840 1131270772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 30965 13073 16 0 210724 0
vsize: 842960
[startup+950.04 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 90859 56 0 0 25 0 11 0 419380365 863191040 31043 4294967295 134512640 134569956 3221224416 3221214672 1131219342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 31043 13073 16 0 210724 0
vsize: 842960
[startup+960.04 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 91817 57 0 0 25 0 11 0 419380365 863191040 31148 4294967295 134512640 134569956 3221224416 3221214360 1131642696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 31148 13073 16 0 210724 0
vsize: 842960
[startup+970.041 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 92768 57 0 0 25 0 11 0 419380365 863191040 31221 4294967295 134512640 134569956 3221224416 3221214680 1131597331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 31221 13073 16 0 210724 0
vsize: 842960
[startup+980.042 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 93723 57 0 0 25 0 11 0 419380365 863191040 31316 4294967295 134512640 134569956 3221224416 3221214840 1131271083 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 31316 13073 16 0 210724 0
vsize: 842960
[startup+990.041 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 94674 57 0 0 25 0 11 0 419380365 863191040 31430 4294967295 134512640 134569956 3221224416 3221214800 1131420672 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 31430 13073 16 0 210724 0
vsize: 842960
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 95638 57 0 0 25 0 11 0 419380365 863191040 31487 4294967295 134512640 134569956 3221224416 3221214568 1131535490 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 31487 13073 16 0 210724 0
vsize: 842960
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 1313
Raw data (stat): 1299 (java) S 1298 32461 32460 0 -1 0 18072 3 1 0 96590 58 0 0 25 0 11 0 419380365 863191040 31609 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 31609 13073 16 0 210724 0
vsize: 842960
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 97542 58 0 0 24 0 11 0 419380365 863191040 31710 4294967295 134512640 134569956 3221224416 3221214584 1131259499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 31710 13073 16 0 210724 0
vsize: 842960
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 98506 58 0 0 25 0 11 0 419380365 863191040 31759 4294967295 134512640 134569956 3221224416 3221214704 1131362825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 31759 13073 16 0 210724 0
vsize: 842960
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 99486 58 0 0 25 0 11 0 419380365 863191040 31802 4294967295 134512640 134569956 3221224416 3221214008 1085679296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 31802 13073 16 0 210724 0
vsize: 842960
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 100460 59 0 0 25 0 11 0 419380365 863191040 31869 4294967295 134512640 134569956 3221224416 3221214672 1131218833 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 31869 13073 16 0 210724 0
vsize: 842960
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 101441 59 0 0 25 0 11 0 419380365 863191040 31914 4294967295 134512640 134569956 3221224416 3221214768 1131394697 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 31914 13073 16 0 210724 0
vsize: 842960
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 102408 60 0 0 25 0 11 0 419380365 863191040 31958 4294967295 134512640 134569956 3221224416 3221214768 1131395640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 31958 13073 16 0 210724 0
vsize: 842960
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 103376 60 0 0 25 0 11 0 419380365 863191040 32018 4294967295 134512640 134569956 3221224416 3221214256 1131642671 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 32018 13073 16 0 210724 0
vsize: 842960
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 104344 60 0 0 25 0 11 0 419380365 863191040 32074 4294967295 134512640 134569956 3221224416 3221213876 1131641291 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 32074 13073 16 0 210724 0
vsize: 842960
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 105306 60 0 0 25 0 11 0 419380365 863191040 32140 4294967295 134512640 134569956 3221224416 3221214348 1078830954 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 32140 13073 16 0 210724 0
vsize: 842960
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 106277 61 0 0 25 0 11 0 419380365 863191040 32205 4294967295 134512640 134569956 3221224416 3221214672 1131218833 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 32205 13073 16 0 210724 0
vsize: 842960
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 107247 61 0 0 25 0 11 0 419380365 863191040 32278 4294967295 134512640 134569956 3221224416 3221214524 1131571955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 32278 13073 16 0 210724 0
vsize: 842960
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 108214 61 0 0 25 0 11 0 419380365 863191040 32344 4294967295 134512640 134569956 3221224416 3221214768 1131394697 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 32344 13073 16 0 210724 0
vsize: 842960
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 109187 62 0 0 25 0 11 0 419380365 863191040 32394 4294967295 134512640 134569956 3221224416 3221214704 1131364487 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210740 32394 13073 16 0 210724 0
vsize: 842960
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 110165 62 0 0 25 0 11 0 419380365 863191040 32430 4294967295 134512640 134569956 3221224416 3221214424 1131642644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 32430 13073 16 0 210724 0
vsize: 842960
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 111132 62 0 0 25 0 11 0 419380365 863191040 32484 4294967295 134512640 134569956 3221224416 3221214672 1131218878 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 32484 13073 16 0 210724 0
vsize: 842960
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 112104 63 0 0 25 0 11 0 419380365 863191040 32555 4294967295 134512640 134569956 3221224416 3221214768 1131395820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 32555 13073 16 0 210724 0
vsize: 842960
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 113073 63 0 0 24 0 11 0 419380365 863191040 32601 4294967295 134512640 134569956 3221224416 3221214768 1131394697 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 32601 13073 16 0 210724 0
vsize: 842960
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 114047 63 0 0 25 0 11 0 419380365 863191040 32656 4294967295 134512640 134569956 3221224416 3221214088 1131642663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 32656 13073 16 0 210724 0
vsize: 842960
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 115021 64 0 0 25 0 11 0 419380365 863191040 32700 4294967295 134512640 134569956 3221224416 3221213900 1085679260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 32700 13073 16 0 210724 0
vsize: 842960
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 115995 64 0 0 25 0 11 0 419380365 863191040 32746 4294967295 134512640 134569956 3221224416 3221214456 1085679272 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 32746 13073 16 0 210724 0
vsize: 842960
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 116960 64 0 0 25 0 11 0 419380365 863191040 32821 4294967295 134512640 134569956 3221224416 3221214672 1131219439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 32821 13073 16 0 210724 0
vsize: 842960
[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 117917 64 0 0 25 0 11 0 419380365 863191040 32883 4294967295 134512640 134569956 3221224416 3221214568 1131535815 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 32883 13073 16 0 210724 0
vsize: 842960
[startup+1240.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 118873 65 0 0 25 0 11 0 419380365 863191040 32954 4294967295 134512640 134569956 3221224416 3221214840 1131270759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 32954 13073 16 0 210724 0
vsize: 842960
[startup+1250.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 119838 65 0 0 25 0 11 0 419380365 863191040 32998 4294967295 134512640 134569956 3221224416 3221214464 1131637815 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 32998 13073 16 0 210724 0
vsize: 842960
[startup+1260.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 1313
Raw data (stat): 1299 (java) R 1298 32461 32460 0 -1 0 18072 3 1 0 120802 66 0 0 25 0 11 0 419380365 863191040 33053 4294967295 134512640 134569956 3221224416 3221214584 1131259669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210740 33053 13073 16 0 210724 0
vsize: 842960
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.12 s]
Raw data (loadavg): 1.00 1.00 0.97 1/54 1315
Raw data (stat): 1299 (java) Z 1298 32461 32460 0 -1 1036 18072 19531 1 0 120803 71 6060 53 25 0 1 0 419380365 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.12
CPU time (s): 1269.9
CPU user time (s): 1268.64
CPU system time (s): 1.25781
CPU usage (%): 100.776
Max. virtual memory (Kb): 843152
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####