PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/submitted/manquinho/logic-synthesis/normalized-ex5.pi.opb
MD5SUM	ebc55cfc194a279163f52418008eccf2
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	65
Optimality of the best value was proved	NO
Number of terms in the objective function	2460
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	2460
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2460
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.11783
Number of variables	2459
Total number of constraints	873
Number of constraints which are clauses	873
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	146
Trace number 4285

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-04-13 16:08:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=603 boxname=wulflinc9 idbench=67 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  ebc55cfc194a279163f52418008eccf2  /oldhome/oroussel/tmp/wulflinc9/normalized-ex5.pi.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc9/normalized-ex5.pi.opb
IDLAUNCH: 603
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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:        936628 kB
Buffers:         32004 kB
Cached:          46312 kB
SwapCached:        564 kB
Active:          42520 kB
Inactive:        39216 kB
HighTotal:      131008 kB
HighFree:        80332 kB
LowTotal:       903652 kB
LowFree:        856296 kB
SwapTotal:     2097136 kB
SwapFree:      2096572 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            10832 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 16:29:46 (client local time) WITH STATUS 143 IN  SECONDS
stats: 603 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc9/normalized-ex5.pi.opb
c reading problem 
c [nbvar=2460]
c [nbconstr=873]
c time 6.628
c #vars     2460
c #clauses  873
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=99
c Current CPU time (ms) : 7.901
c starts	: 1
c conflicts	: 0
c decisions	: 2361
c propagations	: 2460
c inspects	: 4848
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=98
c Current CPU time (ms) : 19.333
c starts	: 2
c conflicts	: 10
c decisions	: 4750
c propagations	: 5387
c inspects	: 5864
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 10
c root simplifications	: 2
c 
c CURRENT OPTIMUM=94
c Current CPU time (ms) : 21.029
c starts	: 3
c conflicts	: 10
c decisions	: 7116
c propagations	: 7819
c inspects	: 10959
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 10
c root simplifications	: 3
c 
c CURRENT OPTIMUM=93
c Current CPU time (ms) : 23.543
c starts	: 4
c conflicts	: 13
c decisions	: 9502
c propagations	: 10344
c inspects	: 11429
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 13
c root simplifications	: 4
c 
c CURRENT OPTIMUM=89
c Current CPU time (ms) : 25.616
c starts	: 5
c conflicts	: 13
c decisions	: 11873
c propagations	: 12776
c inspects	: 14433
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 13
c root simplifications	: 5
c 
c CURRENT OPTIMUM=88
c Current CPU time (ms) : 46.974
c starts	: 6
c conflicts	: 35
c decisions	: 14320
c propagations	: 16428
c inspects	: 16335
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 35
c root simplifications	: 6
#### 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.94 0.94 0.62 2/54 31163
Raw data (stat): 31163 (runsolver) D 31162 30854 30853 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419050320 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 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.0521 s]
Raw data (loadavg): 1.25 1.01 0.65 5/64 31174
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18096 3 1 0 821 44 0 0 25 0 11 0 419050320 861356032 20756 4294967295 134512640 134569956 3221224416 3221213676 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210292 20756 13073 16 0 210276 0
vsize: 841168
[startup+20.0533 s]
Raw data (loadavg): 1.29 1.03 0.66 2/64 31175
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18097 3 1 0 1692 45 0 0 25 0 11 0 419050320 860528640 21635 4294967295 134512640 134569956 3221224416 3221214792 1131348437 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 21635 13073 16 0 210074 0
vsize: 840360
[startup+30.0535 s]
Raw data (loadavg): 1.24 1.03 0.66 2/64 31178
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18098 3 1 0 2588 45 0 0 25 0 11 0 419050320 862625792 22870 4294967295 134512640 134569956 3221224416 3221214624 1131396444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210602 22870 13073 16 0 210586 0
vsize: 842408
[startup+40.0533 s]
Raw data (loadavg): 1.20 1.02 0.66 2/64 31178
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18098 3 1 0 3495 45 0 0 25 0 11 0 419050320 862625792 23340 4294967295 134512640 134569956 3221224416 3221214696 1131431105 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210602 23340 13073 16 0 210586 0
vsize: 842408
[startup+50.0544 s]
Raw data (loadavg): 1.17 1.02 0.67 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18098 3 1 0 4400 46 0 0 25 0 11 0 419050320 862625792 23703 4294967295 134512640 134569956 3221224416 3221214792 1131349690 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210602 23703 13073 16 0 210586 0
vsize: 842408
[startup+60.0547 s]
Raw data (loadavg): 1.15 1.02 0.67 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18098 3 1 0 5299 46 0 0 25 0 11 0 419050320 862625792 23899 4294967295 134512640 134569956 3221224416 3221214624 1131396311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210602 23899 13073 16 0 210586 0
vsize: 842408
[startup+70.0559 s]
Raw data (loadavg): 1.12 1.02 0.67 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18098 3 1 0 6202 47 0 0 25 0 11 0 419050320 862625792 24200 4294967295 134512640 134569956 3221224416 3221214616 1131384546 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210602 24200 13073 16 0 210586 0
vsize: 842408
[startup+80.0569 s]
Raw data (loadavg): 1.10 1.02 0.68 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18098 3 1 0 7133 47 0 0 25 0 11 0 419050320 860528640 24215 4294967295 134512640 134569956 3221224416 3221214632 1131415735 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 24215 13073 16 0 210074 0
vsize: 840360
[startup+90.0568 s]
Raw data (loadavg): 1.09 1.02 0.68 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18098 3 1 0 8060 48 0 0 24 0 11 0 419050320 860528640 24351 4294967295 134512640 134569956 3221224416 3221214648 1131464800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 24351 13073 16 0 210074 0
vsize: 840360
[startup+100.058 s]
Raw data (loadavg): 1.07 1.02 0.68 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18098 3 1 0 8991 49 0 0 25 0 11 0 419050320 860528640 24397 4294967295 134512640 134569956 3221224416 3221214696 1131428892 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 24397 13073 16 0 210074 0
vsize: 840360
[startup+110.059 s]
Raw data (loadavg): 1.06 1.02 0.68 2/64 31179
Raw data (stat): 31163 (java) S 31162 30854 30853 0 -1 0 18098 3 1 0 9886 49 0 0 25 0 11 0 419050320 860528640 24898 4294967295 134512640 134569956 3221224416 3221213328 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 24898 13073 16 0 210074 0
vsize: 840360
[startup+120.06 s]
Raw data (loadavg): 1.05 1.02 0.69 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18099 3 1 0 10788 49 0 0 25 0 11 0 419050320 860528640 25199 4294967295 134512640 134569956 3221224416 3221214592 1131495408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 25199 13073 16 0 210074 0
vsize: 840360
[startup+130.06 s]
Raw data (loadavg): 1.04 1.02 0.69 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18099 3 1 0 11695 49 0 0 20 0 11 0 419050320 860528640 25199 4294967295 134512640 134569956 3221224416 3221214864 1131459775 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 25199 13073 16 0 210074 0
vsize: 840360
[startup+140.06 s]
Raw data (loadavg): 1.04 1.01 0.69 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 12622 50 0 0 25 0 11 0 419050320 860528640 25609 4294967295 134512640 134569956 3221224416 3221214592 1131495415 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 25609 13073 16 0 210074 0
vsize: 840360
[startup+150.061 s]
Raw data (loadavg): 1.03 1.01 0.70 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 13589 51 0 0 25 0 11 0 419050320 860528640 25990 4294967295 134512640 134569956 3221224416 3221214488 1131368104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 25990 13073 16 0 210074 0
vsize: 840360
[startup+160.061 s]
Raw data (loadavg): 1.02 1.01 0.70 3/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 14583 51 0 0 25 0 11 0 419050320 860528640 26019 4294967295 134512640 134569956 3221224416 3221214576 1131656379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 26019 13073 16 0 210074 0
vsize: 840360
[startup+170.062 s]
Raw data (loadavg): 1.02 1.01 0.70 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 15580 51 0 0 18 0 11 0 419050320 860528640 26019 4294967295 134512640 134569956 3221224416 3221214576 1131656379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 26019 13073 16 0 210074 0
vsize: 840360
[startup+180.063 s]
Raw data (loadavg): 1.02 1.01 0.70 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 16578 52 0 0 25 0 11 0 419050320 860528640 26019 4294967295 134512640 134569956 3221224416 3221214584 1131367955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 26019 13073 16 0 210074 0
vsize: 840360
[startup+190.063 s]
Raw data (loadavg): 1.01 1.01 0.71 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 17576 52 0 0 25 0 11 0 419050320 860528640 26019 4294967295 134512640 134569956 3221224416 3221214584 1131367760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 26019 13073 16 0 210074 0
vsize: 840360
[startup+200.065 s]
Raw data (loadavg): 1.01 1.01 0.71 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 18549 53 0 0 25 0 11 0 419050320 860528640 26019 4294967295 134512640 134569956 3221224416 3221214792 1131348257 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 26019 13073 16 0 210074 0
vsize: 840360
[startup+210.065 s]
Raw data (loadavg): 1.01 1.01 0.71 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 19488 53 0 0 25 0 11 0 419050320 860528640 26019 4294967295 134512640 134569956 3221224416 3221214576 1131656627 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 26019 13073 16 0 210074 0
vsize: 840360
[startup+220.066 s]
Raw data (loadavg): 1.01 1.01 0.72 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 20422 54 0 0 25 0 11 0 419050320 860528640 26019 4294967295 134512640 134569956 3221224416 3221214576 1131657655 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 26019 13073 16 0 210074 0
vsize: 840360
[startup+230.066 s]
Raw data (loadavg): 1.01 1.01 0.72 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 21360 54 0 0 25 0 11 0 419050320 860528640 26188 4294967295 134512640 134569956 3221224416 3221214584 1131368230 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 26188 13073 16 0 210074 0
vsize: 840360
[startup+240.067 s]
Raw data (loadavg): 1.00 1.00 0.72 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 22327 55 0 0 25 0 11 0 419050320 860528640 26574 4294967295 134512640 134569956 3221224416 3221214584 1131367771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 26574 13073 16 0 210074 0
vsize: 840360
[startup+250.067 s]
Raw data (loadavg): 1.00 1.00 0.72 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 23325 55 0 0 25 0 11 0 419050320 860528640 26574 4294967295 134512640 134569956 3221224416 3221214584 1131368166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 26574 13073 16 0 210074 0
vsize: 840360
[startup+260.069 s]
Raw data (loadavg): 1.00 1.00 0.73 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 24322 56 0 0 25 0 11 0 419050320 860528640 26574 4294967295 134512640 134569956 3221224416 3221214584 1131368104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 26574 13073 16 0 210074 0
vsize: 840360
[startup+270.07 s]
Raw data (loadavg): 1.00 1.00 0.73 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 25319 56 0 0 25 0 11 0 419050320 860528640 26574 4294967295 134512640 134569956 3221224416 3221214584 1131367955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 26574 13073 16 0 210074 0
vsize: 840360
[startup+280.071 s]
Raw data (loadavg): 1.00 1.00 0.73 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 26292 57 0 0 25 0 11 0 419050320 860528640 26574 4294967295 134512640 134569956 3221224416 3221214624 1131396847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 26574 13073 16 0 210074 0
vsize: 840360
[startup+290.075 s]
Raw data (loadavg): 1.00 1.00 0.73 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 27244 57 0 0 25 0 11 0 419050320 860528640 26574 4294967295 134512640 134569956 3221224416 3221214064 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 26574 13073 16 0 210074 0
vsize: 840360
[startup+300.075 s]
Raw data (loadavg): 1.00 1.00 0.74 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 28167 58 0 0 24 0 11 0 419050320 860528640 26574 4294967295 134512640 134569956 3221224416 3221214624 1131396088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 26574 13073 16 0 210074 0
vsize: 840360
[startup+310.076 s]
Raw data (loadavg): 1.00 1.00 0.74 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 29081 58 0 0 25 0 11 0 419050320 860528640 26962 4294967295 134512640 134569956 3221224416 3221214696 1131427747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 26962 13073 16 0 210074 0
vsize: 840360
[startup+320.077 s]
Raw data (loadavg): 1.00 1.00 0.74 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 29983 59 0 0 25 0 11 0 419050320 860528640 27519 4294967295 134512640 134569956 3221224416 3221214576 1131657585 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 27519 13073 16 0 210074 0
vsize: 840360
[startup+330.078 s]
Raw data (loadavg): 1.00 1.00 0.74 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 30885 59 0 0 25 0 11 0 419050320 860528640 27519 4294967295 134512640 134569956 3221224416 3221214624 1131396290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 27519 13073 16 0 210074 0
vsize: 840360
[startup+340.078 s]
Raw data (loadavg): 1.00 1.00 0.74 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 31797 59 0 0 25 0 11 0 419050320 860528640 27519 4294967295 134512640 134569956 3221224416 3221214688 1131691647 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 27519 13073 16 0 210074 0
vsize: 840360
[startup+350.079 s]
Raw data (loadavg): 1.00 1.00 0.75 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 32724 60 0 0 23 0 11 0 419050320 860528640 28130 4294967295 134512640 134569956 3221224416 3221214576 1131656379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 28130 13073 16 0 210074 0
vsize: 840360
[startup+360.079 s]
Raw data (loadavg): 1.00 1.00 0.75 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 33703 60 0 0 25 0 11 0 419050320 860528640 28367 4294967295 134512640 134569956 3221224416 3221214584 1131367779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 28367 13073 16 0 210074 0
vsize: 840360
[startup+370.08 s]
Raw data (loadavg): 1.00 1.00 0.75 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 34693 61 0 0 25 0 11 0 419050320 860528640 28407 4294967295 134512640 134569956 3221224416 3221214584 1131367955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 28407 13073 16 0 210074 0
vsize: 840360
[startup+380.081 s]
Raw data (loadavg): 1.00 1.00 0.75 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 35687 61 0 0 25 0 11 0 419050320 860528640 28407 4294967295 134512640 134569956 3221224416 3221214576 1131658457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 28407 13073 16 0 210074 0
vsize: 840360
[startup+390.081 s]
Raw data (loadavg): 1.00 1.00 0.75 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 36671 62 0 0 25 0 11 0 419050320 860528640 28407 4294967295 134512640 134569956 3221224416 3221214688 1131690136 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 28407 13073 16 0 210074 0
vsize: 840360
[startup+400.081 s]
Raw data (loadavg): 1.00 1.00 0.76 2/64 31179
Raw data (stat): 31163 (java) S 31162 30854 30853 0 -1 0 18100 3 1 0 37655 62 0 0 25 0 11 0 419050320 860528640 28407 4294967295 134512640 134569956 3221224416 3221213288 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 28407 13073 16 0 210074 0
vsize: 840360
[startup+410.089 s]
Raw data (loadavg): 1.00 1.00 0.76 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 38640 62 0 0 25 0 11 0 419050320 860528640 28407 4294967295 134512640 134569956 3221224416 3221214584 1131368312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 28407 13073 16 0 210074 0
vsize: 840360
[startup+420.093 s]
Raw data (loadavg): 1.00 1.00 0.76 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 39636 62 0 0 25 0 11 0 419050320 860528640 28446 4294967295 134512640 134569956 3221224416 3221214584 1131368107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 28446 13073 16 0 210074 0
vsize: 840360
[startup+430.096 s]
Raw data (loadavg): 1.00 1.00 0.76 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 40623 62 0 0 25 0 11 0 419050320 860528640 28446 4294967295 134512640 134569956 3221224416 3221214584 1131368107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 28446 13073 16 0 210074 0
vsize: 840360
[startup+440.097 s]
Raw data (loadavg): 1.00 1.00 0.76 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 41607 63 0 0 25 0 11 0 419050320 860528640 28446 4294967295 134512640 134569956 3221224416 3221214584 1131368166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 28446 13073 16 0 210074 0
vsize: 840360
[startup+450.097 s]
Raw data (loadavg): 1.00 1.00 0.77 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 42592 63 0 0 25 0 11 0 419050320 860528640 28446 4294967295 134512640 134569956 3221224416 3221214584 1131367955 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 28446 13073 16 0 210074 0
vsize: 840360
[startup+460.097 s]
Raw data (loadavg): 1.00 1.00 0.77 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 43579 63 0 0 25 0 11 0 419050320 860528640 28485 4294967295 134512640 134569956 3221224416 3221214584 1131368107 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 28485 13073 16 0 210074 0
vsize: 840360
[startup+470.099 s]
Raw data (loadavg): 1.00 1.00 0.77 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 44574 64 0 0 25 0 11 0 419050320 860528640 28485 4294967295 134512640 134569956 3221224416 3221214584 1131368107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 28485 13073 16 0 210074 0
vsize: 840360
[startup+480.099 s]
Raw data (loadavg): 1.00 1.00 0.77 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 45559 64 0 0 25 0 11 0 419050320 860528640 28485 4294967295 134512640 134569956 3221224416 3221214576 1131656627 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 28485 13073 16 0 210074 0
vsize: 840360
[startup+490.099 s]
Raw data (loadavg): 1.00 1.00 0.77 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 46541 65 0 0 25 0 11 0 419050320 860528640 28485 4294967295 134512640 134569956 3221224416 3221214576 1131657731 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 28485 13073 16 0 210074 0
vsize: 840360
[startup+500.1 s]
Raw data (loadavg): 1.00 1.00 0.77 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 47526 65 0 0 25 0 11 0 419050320 860528640 28485 4294967295 134512640 134569956 3221224416 3221214576 1131656402 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 28485 13073 16 0 210074 0
vsize: 840360
[startup+510.1 s]
Raw data (loadavg): 1.00 1.00 0.78 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 48520 65 0 0 25 0 11 0 419050320 860528640 28524 4294967295 134512640 134569956 3221224416 3221214584 1131368100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 28524 13073 16 0 210074 0
vsize: 840360
[startup+520.101 s]
Raw data (loadavg): 1.00 1.00 0.78 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 49509 66 0 0 25 0 11 0 419050320 860528640 28524 4294967295 134512640 134569956 3221224416 3221214584 1131368166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 28524 13073 16 0 210074 0
vsize: 840360
[startup+530.102 s]
Raw data (loadavg): 1.00 1.00 0.78 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 50494 66 0 0 25 0 11 0 419050320 860528640 28524 4294967295 134512640 134569956 3221224416 3221214688 1131690054 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 28524 13073 16 0 210074 0
vsize: 840360
[startup+540.101 s]
Raw data (loadavg): 1.00 1.00 0.78 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 51477 67 0 0 25 0 11 0 419050320 860528640 28524 4294967295 134512640 134569956 3221224416 3221214584 1131368421 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 28524 13073 16 0 210074 0
vsize: 840360
[startup+550.102 s]
Raw data (loadavg): 1.00 1.00 0.78 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 52464 68 0 0 25 0 11 0 419050320 860528640 28564 4294967295 134512640 134569956 3221224416 3221214584 1131368347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 28564 13073 16 0 210074 0
vsize: 840360
[startup+560.104 s]
Raw data (loadavg): 1.00 1.00 0.79 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 53462 68 0 0 25 0 11 0 419050320 860528640 28564 4294967295 134512640 134569956 3221224416 3221214688 1131314911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 28564 13073 16 0 210074 0
vsize: 840360
[startup+570.105 s]
Raw data (loadavg): 1.00 1.00 0.79 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 54445 69 0 0 24 0 11 0 419050320 860528640 28564 4294967295 134512640 134569956 3221224416 3221214584 1131368107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 28564 13073 16 0 210074 0
vsize: 840360
[startup+580.104 s]
Raw data (loadavg): 1.00 1.00 0.79 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 55429 69 0 0 25 0 11 0 419050320 860528640 28564 4294967295 134512640 134569956 3221224416 3221214584 1131367779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 28564 13073 16 0 210074 0
vsize: 840360
[startup+590.106 s]
Raw data (loadavg): 1.00 1.00 0.79 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 56414 69 0 0 25 0 11 0 419050320 860528640 28564 4294967295 134512640 134569956 3221224416 3221214584 1131367876 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 28564 13073 16 0 210074 0
vsize: 840360
[startup+600.106 s]
Raw data (loadavg): 1.00 1.00 0.79 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 57405 70 0 0 25 0 11 0 419050320 860528640 28602 4294967295 134512640 134569956 3221224416 3221214584 1131368037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 28602 13073 16 0 210074 0
vsize: 840360
[startup+610.106 s]
Raw data (loadavg): 1.00 1.00 0.80 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 58397 70 0 0 25 0 11 0 419050320 860528640 28602 4294967295 134512640 134569956 3221224416 3221214584 1131368107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 28602 13073 16 0 210074 0
vsize: 840360
[startup+620.107 s]
Raw data (loadavg): 1.00 1.00 0.80 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 59380 71 0 0 25 0 11 0 419050320 860528640 28602 4294967295 134512640 134569956 3221224416 3221214584 1131368023 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 28602 13073 16 0 210074 0
vsize: 840360
[startup+630.107 s]
Raw data (loadavg): 1.00 1.00 0.80 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 60364 71 0 0 25 0 11 0 419050320 860528640 28602 4294967295 134512640 134569956 3221224416 3221214584 1131368230 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 28602 13073 16 0 210074 0
vsize: 840360
[startup+640.107 s]
Raw data (loadavg): 1.00 1.00 0.80 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 61348 72 0 0 25 0 11 0 419050320 860528640 28640 4294967295 134512640 134569956 3221224416 3221214584 1131368065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 28640 13073 16 0 210074 0
vsize: 840360
[startup+650.108 s]
Raw data (loadavg): 1.00 1.00 0.80 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 62345 72 0 0 25 0 11 0 419050320 860528640 28642 4294967295 134512640 134569956 3221224416 3221214584 1131368104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 28642 13073 16 0 210074 0
vsize: 840360
[startup+660.109 s]
Raw data (loadavg): 1.00 1.00 0.81 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 63342 72 0 0 25 0 11 0 419050320 860528640 28643 4294967295 134512640 134569956 3221224416 3221214792 1131349390 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 28643 13073 16 0 210074 0
vsize: 840360
[startup+670.108 s]
Raw data (loadavg): 1.00 1.00 0.81 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 64326 73 0 0 24 0 11 0 419050320 860528640 28643 4294967295 134512640 134569956 3221224416 3221214792 1131349408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 28643 13073 16 0 210074 0
vsize: 840360
[startup+680.109 s]
Raw data (loadavg): 1.00 1.00 0.81 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 65303 73 0 0 25 0 11 0 419050320 860528640 28643 4294967295 134512640 134569956 3221224416 3221214696 1131429819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 28643 13073 16 0 210074 0
vsize: 840360
[startup+690.11 s]
Raw data (loadavg): 1.00 1.00 0.81 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 66266 73 0 0 25 0 11 0 419050320 860528640 28643 4294967295 134512640 134569956 3221224416 3221214696 1131429234 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 28643 13073 16 0 210074 0
vsize: 840360
[startup+700.11 s]
Raw data (loadavg): 1.00 1.00 0.81 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 67221 74 0 0 25 0 11 0 419050320 860528640 28668 4294967295 134512640 134569956 3221224416 3221214684 1080204290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 28668 13073 16 0 210074 0
vsize: 840360
[startup+710.111 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 68167 74 0 0 25 0 11 0 419050320 860528640 28792 4294967295 134512640 134569956 3221224416 3221214688 1131314266 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 28792 13073 16 0 210074 0
vsize: 840360
[startup+720.111 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 69115 75 0 0 25 0 11 0 419050320 860528640 28832 4294967295 134512640 134569956 3221224416 3221214616 1131384418 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 28832 13073 16 0 210074 0
vsize: 840360
[startup+730.111 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 70060 75 0 0 25 0 11 0 419050320 860528640 28978 4294967295 134512640 134569956 3221224416 3221214624 1131396290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 28978 13073 16 0 210074 0
vsize: 840360
[startup+740.115 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 71007 75 0 0 17 0 11 0 419050320 860528640 29083 4294967295 134512640 134569956 3221224416 3221214728 1131368107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 29083 13073 16 0 210074 0
vsize: 840360
[startup+750.116 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 71957 75 0 0 25 0 11 0 419050320 860528640 29185 4294967295 134512640 134569956 3221224416 3221214696 1131430818 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 29185 13073 16 0 210074 0
vsize: 840360
[startup+760.116 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 72902 75 0 0 25 0 11 0 419050320 860528640 29332 4294967295 134512640 134569956 3221224416 3221214696 1131428090 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 29332 13073 16 0 210074 0
vsize: 840360
[startup+770.118 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 73839 76 0 0 25 0 11 0 419050320 860528640 29370 4294967295 134512640 134569956 3221224416 3221214636 1080204256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 29370 13073 16 0 210074 0
vsize: 840360
[startup+780.118 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 74775 76 0 0 25 0 11 0 419050320 860528640 29484 4294967295 134512640 134569956 3221224416 3221214680 1131412322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 29484 13073 16 0 210074 0
vsize: 840360
[startup+790.118 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 75660 77 0 0 24 0 11 0 419050320 860528640 30537 4294967295 134512640 134569956 3221224416 3221214832 1131418469 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 30537 13073 16 0 210074 0
vsize: 840360
[startup+800.119 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 76562 77 0 0 25 0 11 0 419050320 860528640 30693 4294967295 134512640 134569956 3221224416 3221214448 1131408607 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 30693 13073 16 0 210074 0
vsize: 840360
[startup+810.12 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 77475 77 0 0 25 0 11 0 419050320 860528640 31299 4294967295 134512640 134569956 3221224416 3221214624 1131395820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 31299 13073 16 0 210074 0
vsize: 840360
[startup+820.12 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 78374 78 0 0 25 0 11 0 419050320 860528640 31299 4294967295 134512640 134569956 3221224416 3221214544 1131482281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 31299 13073 16 0 210074 0
vsize: 840360
[startup+830.12 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 79277 79 0 0 25 0 11 0 419050320 860528640 31457 4294967295 134512640 134569956 3221224416 3221214648 1131464748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 31457 13073 16 0 210074 0
vsize: 840360
[startup+840.12 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 31179
Raw data (stat): 31163 (java) S 31162 30854 30853 0 -1 0 18100 3 1 0 80176 79 0 0 25 0 11 0 419050320 860528640 31682 4294967295 134512640 134569956 3221224416 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 31682 13073 16 0 210074 0
vsize: 840360
[startup+850.121 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 81069 80 0 0 25 0 11 0 419050320 860528640 32112 4294967295 134512640 134569956 3221224416 3221214696 1131428190 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 32112 13073 16 0 210074 0
vsize: 840360
[startup+860.121 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 81966 80 0 0 17 0 11 0 419050320 860528640 32195 4294967295 134512640 134569956 3221224416 3221214684 1080203708 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 32195 13073 16 0 210074 0
vsize: 840360
[startup+870.121 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 82875 80 0 0 17 0 11 0 419050320 860528640 32505 4294967295 134512640 134569956 3221224416 3221214624 1131397177 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 32505 13073 16 0 210074 0
vsize: 840360
[startup+880.121 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 83771 81 0 0 17 0 11 0 419050320 860528640 32844 4294967295 134512640 134569956 3221224416 3221214792 1131348502 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 32844 13073 16 0 210074 0
vsize: 840360
[startup+890.121 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 84692 81 0 0 25 0 11 0 419050320 860528640 33133 4294967295 134512640 134569956 3221224416 3221214912 1131546663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 33133 13073 16 0 210074 0
vsize: 840360
[startup+900.121 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 85594 81 0 0 25 0 11 0 419050320 860528640 33437 4294967295 134512640 134569956 3221224416 3221214680 1131412365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 33437 13073 16 0 210074 0
vsize: 840360
[startup+910.121 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 86493 82 0 0 25 0 11 0 419050320 860528640 33780 4294967295 134512640 134569956 3221224416 3221214648 1131338262 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 33780 13073 16 0 210074 0
vsize: 840360
[startup+920.122 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 87382 82 0 0 25 0 11 0 419050320 860528640 34186 4294967295 134512640 134569956 3221224416 3221214544 1131483180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 34186 13073 16 0 210074 0
vsize: 840360
[startup+930.122 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 88266 82 0 0 25 0 11 0 419050320 860528640 34308 4294967295 134512640 134569956 3221224416 3221214864 1131459595 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 34308 13073 16 0 210074 0
vsize: 840360
[startup+940.122 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 89167 83 0 0 25 0 11 0 419050320 860528640 34637 4294967295 134512640 134569956 3221224416 3221214792 1131348502 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 34637 13073 16 0 210074 0
vsize: 840360
[startup+950.123 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 90142 83 0 0 25 0 11 0 419050320 860528640 34962 4294967295 134512640 134569956 3221224416 3221214688 1131314067 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 34962 13073 16 0 210074 0
vsize: 840360
[startup+960.123 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 91116 83 0 0 25 0 11 0 419050320 860528640 35067 4294967295 134512640 134569956 3221224416 3221214688 1131314338 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 35067 13073 16 0 210074 0
vsize: 840360
[startup+970.124 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 92091 84 0 0 25 0 11 0 419050320 860528640 35147 4294967295 134512640 134569956 3221224416 3221214496 1131470927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 35147 13073 16 0 210074 0
vsize: 840360
[startup+980.124 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 93053 84 0 0 25 0 11 0 419050320 860528640 35155 4294967295 134512640 134569956 3221224416 3221214496 1131470927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 35155 13073 16 0 210074 0
vsize: 840360
[startup+990.124 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 93999 85 0 0 24 0 11 0 419050320 860528640 35168 4294967295 134512640 134569956 3221224416 3221214568 1131421678 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 35168 13073 16 0 210074 0
vsize: 840360
[startup+1000.12 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 94931 85 0 0 25 0 11 0 419050320 860528640 35172 4294967295 134512640 134569956 3221224416 3221214692 1080203664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 35172 13073 16 0 210074 0
vsize: 840360
[startup+1010.13 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 95853 86 0 0 25 0 11 0 419050320 860528640 35396 4294967295 134512640 134569956 3221224416 3221214688 1131314023 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 35396 13073 16 0 210074 0
vsize: 840360
[startup+1020.13 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 96789 86 0 0 25 0 11 0 419050320 860528640 35476 4294967295 134512640 134569956 3221224416 3221214376 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 35476 13073 16 0 210074 0
vsize: 840360
[startup+1030.13 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 97715 87 0 0 25 0 11 0 419050320 860528640 35657 4294967295 134512640 134569956 3221224416 3221214688 1131314107 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 35657 13073 16 0 210074 0
vsize: 840360
[startup+1040.13 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 31179
Raw data (stat): 31163 (java) S 31162 30854 30853 0 -1 0 18100 3 1 0 98644 87 0 0 25 0 11 0 419050320 860528640 35802 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 35802 13073 16 0 210074 0
vsize: 840360
[startup+1050.13 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 99546 87 0 0 25 0 11 0 419050320 860528640 35940 4294967295 134512640 134569956 3221224416 3221214624 1131396475 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 35940 13073 16 0 210074 0
vsize: 840360
[startup+1060.13 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 100450 87 0 0 25 0 11 0 419050320 860528640 36167 4294967295 134512640 134569956 3221224416 3221214696 1131429685 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 36167 13073 16 0 210074 0
vsize: 840360
[startup+1070.13 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 101361 87 0 0 25 0 11 0 419050320 860528640 36426 4294967295 134512640 134569956 3221224416 3221214680 1131412272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 36426 13073 16 0 210074 0
vsize: 840360
[startup+1080.13 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 102277 87 0 0 25 0 11 0 419050320 860528640 36579 4294967295 134512640 134569956 3221224416 3221214792 1131348437 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 36579 13073 16 0 210074 0
vsize: 840360
[startup+1090.13 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 103182 87 0 0 25 0 11 0 419050320 860528640 36804 4294967295 134512640 134569956 3221224416 3221214696 1131430427 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 36804 13073 16 0 210074 0
vsize: 840360
[startup+1100.13 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 104088 88 0 0 25 0 11 0 419050320 860528640 37036 4294967295 134512640 134569956 3221224416 3221214624 1131396475 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 37036 13073 16 0 210074 0
vsize: 840360
[startup+1110.13 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 105015 88 0 0 25 0 11 0 419050320 860528640 37216 4294967295 134512640 134569956 3221224416 3221214608 1131606164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 37216 13073 16 0 210074 0
vsize: 840360
[startup+1120.13 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 105968 88 0 0 25 0 11 0 419050320 860528640 37422 4294967295 134512640 134569956 3221224416 3221214696 1131430840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 37422 13073 16 0 210074 0
vsize: 840360
[startup+1130.13 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 106924 88 0 0 25 0 11 0 419050320 860528640 37605 4294967295 134512640 134569956 3221224416 3221214708 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 37605 13073 16 0 210074 0
vsize: 840360
[startup+1140.13 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 107881 88 0 0 25 0 11 0 419050320 860528640 37613 4294967295 134512640 134569956 3221224416 3221214680 1131412397 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 37613 13073 16 0 210074 0
vsize: 840360
[startup+1150.13 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 108810 89 0 0 25 0 11 0 419050320 860528640 37624 4294967295 134512640 134569956 3221224416 3221214792 1131348638 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 37624 13073 16 0 210074 0
vsize: 840360
[startup+1160.13 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 31179
Raw data (stat): 31163 (java) S 31162 30854 30853 0 -1 0 18100 3 1 0 109726 89 0 0 25 0 11 0 419050320 860528640 37898 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 37898 13073 16 0 210074 0
vsize: 840360
[startup+1170.13 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 110626 89 0 0 25 0 11 0 419050320 860528640 38050 4294967295 134512640 134569956 3221224416 3221214696 1131429225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 38050 13073 16 0 210074 0
vsize: 840360
[startup+1180.14 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 111519 90 0 0 24 0 11 0 419050320 860528640 38192 4294967295 134512640 134569956 3221224416 3221214612 1080203688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 38192 13073 16 0 210074 0
vsize: 840360
[startup+1190.14 s]
Raw data (loadavg): 1.00 1.00 0.86 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 112447 90 0 0 25 0 11 0 419050320 860528640 38611 4294967295 134512640 134569956 3221224416 3221214688 1131313701 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 38611 13073 16 0 210074 0
vsize: 840360
[startup+1200.14 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 113360 90 0 0 25 0 11 0 419050320 860528640 38886 4294967295 134512640 134569956 3221224416 3221214648 1131464779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 38886 13073 16 0 210074 0
vsize: 840360
[startup+1210.14 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 114287 90 0 0 25 0 11 0 419050320 860528640 39030 4294967295 134512640 134569956 3221224416 3221214584 1131368092 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 39030 13073 16 0 210074 0
vsize: 840360
[startup+1220.14 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 115225 91 0 0 25 0 11 0 419050320 860528640 39190 4294967295 134512640 134569956 3221224416 3221214680 1131412322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 39190 13073 16 0 210074 0
vsize: 840360
[startup+1230.14 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 116164 91 0 0 25 0 11 0 419050320 860528640 39476 4294967295 134512640 134569956 3221224416 3221214680 1131412331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 39476 13073 16 0 210074 0
vsize: 840360
[startup+1240.14 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 117098 91 0 0 25 0 11 0 419050320 860528640 39540 4294967295 134512640 134569956 3221224416 3221214568 1131421675 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210090 39540 13073 16 0 210074 0
vsize: 840360
[startup+1250.14 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 118012 92 0 0 25 0 11 0 419050320 860528640 39540 4294967295 134512640 134569956 3221224416 3221214792 1131348437 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 39540 13073 16 0 210074 0
vsize: 840360
[startup+1260.14 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 118943 92 0 0 25 0 11 0 419050320 860528640 39749 4294967295 134512640 134569956 3221224416 3221214792 1131349486 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 39749 13073 16 0 210074 0
vsize: 840360
[startup+1270.14 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 119869 92 0 0 25 0 11 0 419050320 860528640 39960 4294967295 134512640 134569956 3221224416 3221214792 1131348437 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 39960 13073 16 0 210074 0
vsize: 840360
[startup+1280.14 s]
Raw data (loadavg): 1.00 1.00 0.87 2/64 31179
Raw data (stat): 31163 (java) R 31162 30854 30853 0 -1 0 18100 3 1 0 120787 93 0 0 25 0 11 0 419050320 860528640 40134 4294967295 134512640 134569956 3221224416 3221214648 1131338315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210090 40134 13073 16 0 210074 0
vsize: 840360
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1280.25 s]
Raw data (loadavg): 1.00 1.00 0.87 1/54 31181
Raw data (stat): 31163 (java) Z 31162 30854 30853 0 -1 1036 18100 27216 1 1 120790 100 8386 68 25 0 1 0 419050320 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): 1280.25
CPU time (s): 1293.47
CPU user time (s): 1291.77
CPU system time (s): 1.69574
CPU usage (%): 101.033
Max. virtual memory (Kb): 842408
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####