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/primes-dimacs-cnf/normalized-ii32c3.opb
MD5SUM	00d830716ad6728e4af33fe898d69922
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	261
Optimality of the best value was proved	NO
Number of terms in the objective function	558
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	558
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	558
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03284
Number of variables	558
Total number of constraints	3551
Number of constraints which are clauses	3551
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	2
Maximum length of a constraint	32
Trace number 4331

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-04-13 16:34:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1377 boxname=wulflinc30 idbench=153 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  00d830716ad6728e4af33fe898d69922  /oldhome/oroussel/tmp/wulflinc30/normalized-ii32c3.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc30/normalized-ii32c3.opb
IDLAUNCH: 1377
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        752128 kB
Buffers:         36924 kB
Cached:         204952 kB
SwapCached:          0 kB
Active:          78768 kB
Inactive:       166004 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        751876 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            32124 kB
Committed_AS:    63492 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 16:55:41 (client local time) WITH STATUS 143 IN  SECONDS
stats: 1377 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc30/normalized-ii32c3.opb
c reading problem 
c [nbvar=558]
c [nbconstr=3551]
c time 3.762
c #vars     558
c #clauses  3551
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=274
c Current CPU time (ms) : 11.386
c starts	: 1
c conflicts	: 66
c decisions	: 1526
c propagations	: 13505
c inspects	: 54926
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 66
c root simplifications	: 1
c 
c CURRENT OPTIMUM=271
c Current CPU time (ms) : 12.252
c starts	: 2
c conflicts	: 82
c decisions	: 1681
c propagations	: 16036
c inspects	: 64736
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 82
c root simplifications	: 2
c 
c CURRENT OPTIMUM=270
c Current CPU time (ms) : 12.677
c starts	: 3
c conflicts	: 84
c decisions	: 1710
c propagations	: 16612
c inspects	: 67687
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 84
c root simplifications	: 3
c 
c CURRENT OPTIMUM=269
c Current CPU time (ms) : 17.453
c starts	: 4
c conflicts	: 143
c decisions	: 1958
c propagations	: 23353
c inspects	: 106089
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 143
c root simplifications	: 4
c 
c CURRENT OPTIMUM=267
c Current CPU time (ms) : 26.059
c starts	: 5
c conflicts	: 225
c decisions	: 2411
c propagations	: 31713
c inspects	: 163978
c learned literals	: 1
c learned binary clauses	: 2
c learned ternary clauses	: 0
c learned clauses	: 224
c root simplifications	: 6
c 
c CURRENT OPTIMUM=266
c Current CPU time (ms) : 106.268
c starts	: 8
c conflicts	: 636
c decisions	: 3628
c propagations	: 72638
c inspects	: 562415
c learned literals	: 1
c learned binary clauses	: 15
c learned ternary clauses	: 12
c learned clauses	: 635
c root simplifications	: 11
c 
c CURRENT OPTIMUM=265
c Current CPU time (ms) : 121.784
c starts	: 9
c conflicts	: 680
c decisions	: 3839
c propagations	: 74272
c inspects	: 587786
c learned literals	: 1
c learned binary clauses	: 15
c learned ternary clauses	: 12
c learned clauses	: 679
c root simplifications	: 12
c 
c CURRENT OPTIMUM=264
c Current CPU time (ms) : 343.453
c starts	: 12
c conflicts	: 1001
c decisions	: 4590
c propagations	: 106639
c inspects	: 1457652
c learned literals	: 1
c learned binary clauses	: 16
c learned ternary clauses	: 14
c learned clauses	: 1000
c root simplifications	: 15
c 
c CURRENT OPTIMUM=263
c Current CPU time (ms) : 516.599
c starts	: 14
c conflicts	: 1215
c decisions	: 5413
c propagations	: 122925
c inspects	: 2054338
c learned literals	: 1
c learned binary clauses	: 16
c learned ternary clauses	: 16
c learned clauses	: 1214
c root simplifications	: 17
#### 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.90 2/54 12243
Raw data (stat): 12243 (runsolver) R 12242 11931 11930 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477428587 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 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.0003 s]
Raw data (loadavg): 1.24 1.05 0.93 3/64 12253
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 17183 0 1 0 591 38 0 0 25 0 11 0 477428587 873558016 22126 4294967295 134512640 134569956 3221224416 3221214908 1130894935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213271 22126 13073 16 0 213255 0
vsize: 853084
[startup+20.0016 s]
Raw data (loadavg): 1.20 1.05 0.93 2/64 12257
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18105 3 1 0 1510 42 0 0 25 0 11 0 477428587 870866944 23776 4294967295 134512640 134569956 3221224416 3221214696 1131223661 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212614 23776 13073 16 0 212598 0
vsize: 850456
[startup+30.0024 s]
Raw data (loadavg): 1.17 1.05 0.93 2/64 12258
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18105 3 1 0 2440 42 0 0 25 0 11 0 477428587 870866944 24217 4294967295 134512640 134569956 3221224416 3221214696 1131223039 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212614 24217 13073 16 0 212598 0
vsize: 850456
[startup+40.0018 s]
Raw data (loadavg): 1.14 1.04 0.93 2/64 12258
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18105 3 1 0 3371 42 0 0 25 0 11 0 477428587 870866944 24333 4294967295 134512640 134569956 3221224416 3221214744 1131261376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212614 24333 13073 16 0 212598 0
vsize: 850456
[startup+50.0032 s]
Raw data (loadavg): 1.12 1.04 0.93 2/64 12258
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18105 3 1 0 4321 43 0 0 25 0 11 0 477428587 870866944 24648 4294967295 134512640 134569956 3221224416 3221214696 1131222988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212614 24648 13073 16 0 212598 0
vsize: 850456
[startup+60.0041 s]
Raw data (loadavg): 1.10 1.04 0.93 2/64 12258
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18105 3 1 0 5279 43 0 0 25 0 11 0 477428587 870866944 24779 4294967295 134512640 134569956 3221224416 3221214792 1131372244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212614 24779 13073 16 0 212598 0
vsize: 850456
[startup+70.0044 s]
Raw data (loadavg): 1.09 1.04 0.93 2/64 12258
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18105 3 1 0 6243 43 0 0 25 0 11 0 477428587 870866944 25035 4294967295 134512640 134569956 3221224416 3221214792 1131371094 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212614 25035 13073 16 0 212598 0
vsize: 850456
[startup+80.0059 s]
Raw data (loadavg): 1.07 1.04 0.93 2/64 12258
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18105 3 1 0 7215 43 0 0 25 0 11 0 477428587 870866944 25111 4294967295 134512640 134569956 3221224416 3221214696 1131222665 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212614 25111 13073 16 0 212598 0
vsize: 850456
[startup+90.0058 s]
Raw data (loadavg): 1.06 1.03 0.93 2/64 12258
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 8184 43 0 0 25 0 11 0 477428587 870866944 25181 4294967295 134512640 134569956 3221224416 3221214680 1131523464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 25181 13073 16 0 212598 0
vsize: 850456
[startup+100.006 s]
Raw data (loadavg): 1.05 1.03 0.93 2/64 12258
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 9133 43 0 0 25 0 11 0 477428587 870866944 25252 4294967295 134512640 134569956 3221224416 3221214736 1131455137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 25252 13073 16 0 212598 0
vsize: 850456
[startup+110.007 s]
Raw data (loadavg): 1.04 1.03 0.93 2/64 12259
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 10060 43 0 0 24 0 11 0 477428587 870866944 25460 4294967295 134512640 134569956 3221224416 3221214792 1131373101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 25460 13073 16 0 212598 0
vsize: 850456
[startup+120.008 s]
Raw data (loadavg): 1.04 1.03 0.93 2/64 12259
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 10987 43 0 0 25 0 11 0 477428587 870866944 25696 4294967295 134512640 134569956 3221224416 3221214584 1131260642 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 25696 13073 16 0 212598 0
vsize: 850456
[startup+130.009 s]
Raw data (loadavg): 1.03 1.03 0.93 2/64 12260
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 11926 44 0 0 25 0 11 0 477428587 870866944 25811 4294967295 134512640 134569956 3221224416 3221214696 1131222979 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212614 25811 13073 16 0 212598 0
vsize: 850456
[startup+140.009 s]
Raw data (loadavg): 1.02 1.03 0.93 2/64 12260
Raw data (stat): 12243 (java) S 12242 11931 11930 0 -1 0 18106 3 1 0 12858 44 0 0 25 0 11 0 477428587 870866944 25892 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 25892 13073 16 0 212598 0
vsize: 850456
[startup+150.01 s]
Raw data (loadavg): 1.02 1.03 0.93 2/64 12260
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 13801 44 0 0 25 0 11 0 477428587 870866944 26202 4294967295 134512640 134569956 3221224416 3221214788 1131222636 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 26202 13073 16 0 212598 0
vsize: 850456
[startup+160.01 s]
Raw data (loadavg): 1.02 1.02 0.93 2/64 12260
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 14752 45 0 0 25 0 11 0 477428587 870866944 26515 4294967295 134512640 134569956 3221224416 3221214792 1131371094 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 26515 13073 16 0 212598 0
vsize: 850456
[startup+170.012 s]
Raw data (loadavg): 1.01 1.02 0.93 2/64 12260
Raw data (stat): 12243 (java) S 12242 11931 11930 0 -1 0 18106 3 1 0 15706 45 0 0 25 0 11 0 477428587 870866944 26669 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 26669 13073 16 0 212598 0
vsize: 850456
[startup+180.012 s]
Raw data (loadavg): 1.01 1.02 0.93 2/64 12260
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 16665 45 0 0 25 0 11 0 477428587 870866944 26714 4294967295 134512640 134569956 3221224416 3221214696 1131223681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 26714 13073 16 0 212598 0
vsize: 850456
[startup+190.012 s]
Raw data (loadavg): 1.01 1.02 0.93 2/64 12260
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 17624 46 0 0 25 0 11 0 477428587 870866944 26743 4294967295 134512640 134569956 3221224416 3221214696 1131222853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 26743 13073 16 0 212598 0
vsize: 850456
[startup+200.013 s]
Raw data (loadavg): 1.01 1.02 0.93 2/64 12260
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 18592 46 0 0 25 0 11 0 477428587 870866944 26819 4294967295 134512640 134569956 3221224416 3221214792 1131372813 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 26819 13073 16 0 212598 0
vsize: 850456
[startup+210.014 s]
Raw data (loadavg): 1.01 1.02 0.93 2/64 12260
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 19558 46 0 0 25 0 11 0 477428587 870866944 27113 4294967295 134512640 134569956 3221224416 3221214792 1131372984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 27113 13073 16 0 212598 0
vsize: 850456
[startup+220.016 s]
Raw data (loadavg): 1.00 1.02 0.93 2/64 12260
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 20543 47 0 0 25 0 11 0 477428587 870866944 27143 4294967295 134512640 134569956 3221224416 3221214792 1131371162 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 27143 13073 16 0 212598 0
vsize: 850456
[startup+230.017 s]
Raw data (loadavg): 1.00 1.02 0.93 2/64 12260
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 21529 47 0 0 25 0 11 0 477428587 870866944 27159 4294967295 134512640 134569956 3221224416 3221214696 1131223039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 27159 13073 16 0 212598 0
vsize: 850456
[startup+240.016 s]
Raw data (loadavg): 1.00 1.02 0.93 2/64 12260
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 22513 47 0 0 25 0 11 0 477428587 870866944 27180 4294967295 134512640 134569956 3221224416 3221214792 1131371094 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 27180 13073 16 0 212598 0
vsize: 850456
[startup+250.017 s]
Raw data (loadavg): 1.00 1.02 0.93 2/64 12260
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 23499 47 0 0 25 0 11 0 477428587 870866944 27196 4294967295 134512640 134569956 3221224416 3221214792 1131372224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 27196 13073 16 0 212598 0
vsize: 850456
[startup+260.017 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 12260
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 24484 47 0 0 25 0 11 0 477428587 870866944 27217 4294967295 134512640 134569956 3221224416 3221214696 1131223286 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 27217 13073 16 0 212598 0
vsize: 850456
[startup+270.018 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 12260
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 25471 48 0 0 25 0 11 0 477428587 870866944 27226 4294967295 134512640 134569956 3221224416 3221214696 1131223548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 27226 13073 16 0 212598 0
vsize: 850456
[startup+280.019 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 12260
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 26456 48 0 0 25 0 11 0 477428587 870866944 27237 4294967295 134512640 134569956 3221224416 3221214696 1131223181 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212614 27237 13073 16 0 212598 0
vsize: 850456
[startup+290.02 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 12260
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 27441 48 0 0 25 0 11 0 477428587 870866944 27245 4294967295 134512640 134569956 3221224416 3221214696 1131222974 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 27245 13073 16 0 212598 0
vsize: 850456
[startup+300.02 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 12260
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 28422 48 0 0 25 0 11 0 477428587 870866944 27261 4294967295 134512640 134569956 3221224416 3221214696 1131223039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 27261 13073 16 0 212598 0
vsize: 850456
[startup+310.021 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 12260
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 29399 49 0 0 25 0 11 0 477428587 870866944 27280 4294967295 134512640 134569956 3221224416 3221214792 1131372080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 27280 13073 16 0 212598 0
vsize: 850456
[startup+320.022 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 12260
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 30379 49 0 0 25 0 11 0 477428587 870866944 27291 4294967295 134512640 134569956 3221224416 3221214792 1131372110 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 27291 13073 16 0 212598 0
vsize: 850456
[startup+330.023 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 12260
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 31356 50 0 0 24 0 11 0 477428587 870866944 27302 4294967295 134512640 134569956 3221224416 3221214696 1131223838 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 27302 13073 16 0 212598 0
vsize: 850456
[startup+340.023 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 12260
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 32334 50 0 0 25 0 11 0 477428587 870866944 27405 4294967295 134512640 134569956 3221224416 3221214792 1131371101 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212614 27405 13073 16 0 212598 0
vsize: 850456
[startup+350.024 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 12261
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 33306 51 0 0 25 0 11 0 477428587 870866944 27424 4294967295 134512640 134569956 3221224416 3221214696 1131222760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 27424 13073 16 0 212598 0
vsize: 850456
[startup+360.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12261
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 34272 51 0 0 24 0 11 0 477428587 870866944 27437 4294967295 134512640 134569956 3221224416 3221214792 1131373029 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 27437 13073 16 0 212598 0
vsize: 850456
[startup+370.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12261
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 35243 51 0 0 25 0 11 0 477428587 870866944 27456 4294967295 134512640 134569956 3221224416 3221214696 1131223241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 27456 13073 16 0 212598 0
vsize: 850456
[startup+380.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12261
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 36212 52 0 0 25 0 11 0 477428587 870866944 27461 4294967295 134512640 134569956 3221224416 3221214696 1131223507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 27461 13073 16 0 212598 0
vsize: 850456
[startup+390.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12261
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 37188 52 0 0 25 0 11 0 477428587 870866944 27679 4294967295 134512640 134569956 3221224416 3221214792 1131372110 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 27679 13073 16 0 212598 0
vsize: 850456
[startup+400.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12261
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 38171 53 0 0 25 0 11 0 477428587 870866944 27696 4294967295 134512640 134569956 3221224416 3221214792 1131371101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 27696 13073 16 0 212598 0
vsize: 850456
[startup+410.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12261
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 39155 53 0 0 25 0 11 0 477428587 870866944 27709 4294967295 134512640 134569956 3221224416 3221214792 1131371162 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 27709 13073 16 0 212598 0
vsize: 850456
[startup+420.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12261
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 40138 53 0 0 25 0 11 0 477428587 870866944 27732 4294967295 134512640 134569956 3221224416 3221214792 1131372110 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 27732 13073 16 0 212598 0
vsize: 850456
[startup+430.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12261
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 41122 54 0 0 25 0 11 0 477428587 870866944 27749 4294967295 134512640 134569956 3221224416 3221214976 1131368068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 27749 13073 16 0 212598 0
vsize: 850456
[startup+440.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12261
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 42105 54 0 0 25 0 11 0 477428587 870866944 27777 4294967295 134512640 134569956 3221224416 3221214792 1131371094 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 27777 13073 16 0 212598 0
vsize: 850456
[startup+450.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12261
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 43088 55 0 0 25 0 11 0 477428587 870866944 27792 4294967295 134512640 134569956 3221224416 3221214792 1131371162 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 27792 13073 16 0 212598 0
vsize: 850456
[startup+460.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12261
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 44069 55 0 0 25 0 11 0 477428587 870866944 27810 4294967295 134512640 134569956 3221224416 3221214696 1131223158 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 27810 13073 16 0 212598 0
vsize: 850456
[startup+470.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12261
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 45046 55 0 0 25 0 11 0 477428587 870866944 27843 4294967295 134512640 134569956 3221224416 3221214736 1131453765 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 27843 13073 16 0 212598 0
vsize: 850456
[startup+480.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12261
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 46014 55 0 0 24 0 11 0 477428587 870866944 27862 4294967295 134512640 134569956 3221224416 3221214736 1131449739 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 27862 13073 16 0 212598 0
vsize: 850456
[startup+490.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12261
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 46980 55 0 0 25 0 11 0 477428587 870866944 27887 4294967295 134512640 134569956 3221224416 3221214576 1131667682 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 27887 13073 16 0 212598 0
vsize: 850456
[startup+500.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12261
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 47937 56 0 0 25 0 11 0 477428587 870866944 27907 4294967295 134512640 134569956 3221224416 3221214792 1131371280 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 27907 13073 16 0 212598 0
vsize: 850456
[startup+510.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12261
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 48886 56 0 0 24 0 11 0 477428587 870866944 28019 4294967295 134512640 134569956 3221224416 3221214792 1131371162 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 28019 13073 16 0 212598 0
vsize: 850456
[startup+520.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 49838 56 0 0 24 0 11 0 477428587 870866944 28158 4294967295 134512640 134569956 3221224416 3221214792 1131372110 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 28158 13073 16 0 212598 0
vsize: 850456
[startup+530.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 50796 57 0 0 25 0 11 0 477428587 870866944 28272 4294967295 134512640 134569956 3221224416 3221214792 1131371101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 28272 13073 16 0 212598 0
vsize: 850456
[startup+540.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 51757 57 0 0 25 0 11 0 477428587 870866944 28333 4294967295 134512640 134569956 3221224416 3221214792 1131372250 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 28333 13073 16 0 212598 0
vsize: 850456
[startup+550.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) S 12242 11931 11930 0 -1 0 18106 3 1 0 52722 57 0 0 25 0 11 0 477428587 870866944 28475 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 28475 13073 16 0 212598 0
vsize: 850456
[startup+560.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 53697 58 0 0 25 0 11 0 477428587 870866944 28581 4294967295 134512640 134569956 3221224416 3221214952 1131234969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 28581 13073 16 0 212598 0
vsize: 850456
[startup+570.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 54672 59 0 0 24 0 11 0 477428587 870866944 28682 4294967295 134512640 134569956 3221224416 3221214792 1131370915 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 28682 13073 16 0 212598 0
vsize: 850456
[startup+580.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 55653 59 0 0 25 0 11 0 477428587 870866944 28725 4294967295 134512640 134569956 3221224416 3221214792 1131372107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 28725 13073 16 0 212598 0
vsize: 850456
[startup+590.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) S 12242 11931 11930 0 -1 0 18106 3 1 0 56634 59 0 0 25 0 11 0 477428587 870866944 28760 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 28761 13073 16 0 212598 0
vsize: 850456
[startup+600.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 57616 60 0 0 25 0 11 0 477428587 870866944 28787 4294967295 134512640 134569956 3221224416 3221214792 1131371078 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 28787 13073 16 0 212598 0
vsize: 850456
[startup+610.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 58598 60 0 0 25 0 11 0 477428587 870866944 28804 4294967295 134512640 134569956 3221224416 3221214696 1131222927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 28804 13073 16 0 212598 0
vsize: 850456
[startup+620.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 59582 61 0 0 25 0 11 0 477428587 870866944 28813 4294967295 134512640 134569956 3221224416 3221214792 1131372155 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 28813 13073 16 0 212598 0
vsize: 850456
[startup+630.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 60562 61 0 0 25 0 11 0 477428587 870866944 28820 4294967295 134512640 134569956 3221224416 3221214696 1131223039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 28820 13073 16 0 212598 0
vsize: 850456
[startup+640.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 61546 61 0 0 25 0 11 0 477428587 870866944 28852 4294967295 134512640 134569956 3221224416 3221214792 1131372230 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 28852 13073 16 0 212598 0
vsize: 850456
[startup+650.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 62526 61 0 0 25 0 11 0 477428587 870866944 28868 4294967295 134512640 134569956 3221224416 3221214792 1131375477 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 28868 13073 16 0 212598 0
vsize: 850456
[startup+660.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 63507 61 0 0 25 0 11 0 477428587 870866944 28908 4294967295 134512640 134569956 3221224416 3221214696 1131223623 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 28908 13073 16 0 212598 0
vsize: 850456
[startup+670.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 64491 62 0 0 25 0 11 0 477428587 870866944 28950 4294967295 134512640 134569956 3221224416 3221214792 1131371162 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 28950 13073 16 0 212598 0
vsize: 850456
[startup+680.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 65476 62 0 0 25 0 11 0 477428587 870866944 28979 4294967295 134512640 134569956 3221224416 3221214792 1131371162 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 28979 13073 16 0 212598 0
vsize: 850456
[startup+690.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 66463 62 0 0 25 0 11 0 477428587 870866944 29003 4294967295 134512640 134569956 3221224416 3221214696 1131223047 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 29003 13073 16 0 212598 0
vsize: 850456
[startup+700.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 67451 63 0 0 25 0 11 0 477428587 870866944 29019 4294967295 134512640 134569956 3221224416 3221214696 1131223039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 29019 13073 16 0 212598 0
vsize: 850456
[startup+710.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 68438 63 0 0 25 0 11 0 477428587 870866944 29032 4294967295 134512640 134569956 3221224416 3221214792 1131372960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 29032 13073 16 0 212598 0
vsize: 850456
[startup+720.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 69423 63 0 0 25 0 11 0 477428587 870866944 29045 4294967295 134512640 134569956 3221224416 3221214696 1131223093 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 29045 13073 16 0 212598 0
vsize: 850456
[startup+730.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 70408 64 0 0 25 0 11 0 477428587 870866944 29061 4294967295 134512640 134569956 3221224416 3221214792 1131371101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 29061 13073 16 0 212598 0
vsize: 850456
[startup+740.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 71393 64 0 0 25 0 11 0 477428587 870866944 29079 4294967295 134512640 134569956 3221224416 3221214696 1131222992 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 29079 13073 16 0 212598 0
vsize: 850456
[startup+750.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 72375 64 0 0 25 0 11 0 477428587 870866944 29090 4294967295 134512640 134569956 3221224416 3221214792 1131371209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 29090 13073 16 0 212598 0
vsize: 850456
[startup+760.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 73360 64 0 0 25 0 11 0 477428587 870866944 29109 4294967295 134512640 134569956 3221224416 3221214792 1131371255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 29109 13073 16 0 212598 0
vsize: 850456
[startup+770.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 74347 64 0 0 25 0 11 0 477428587 870866944 29121 4294967295 134512640 134569956 3221224416 3221214792 1131372019 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 29121 13073 16 0 212598 0
vsize: 850456
[startup+780.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 75330 65 0 0 25 0 11 0 477428587 870866944 29133 4294967295 134512640 134569956 3221224416 3221214696 1131223039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 29133 13073 16 0 212598 0
vsize: 850456
[startup+790.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) S 12242 11931 11930 0 -1 0 18106 3 1 0 76310 65 0 0 25 0 11 0 477428587 870866944 29144 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 29144 13073 16 0 212598 0
vsize: 850456
[startup+800.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 77296 65 0 0 25 0 11 0 477428587 870866944 29152 4294967295 134512640 134569956 3221224416 3221214792 1131373858 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 29152 13073 16 0 212598 0
vsize: 850456
[startup+810.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 78275 66 0 0 25 0 11 0 477428587 870866944 29183 4294967295 134512640 134569956 3221224416 3221214696 1131222730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 29183 13073 16 0 212598 0
vsize: 850456
[startup+820.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 79253 66 0 0 25 0 11 0 477428587 870866944 29201 4294967295 134512640 134569956 3221224416 3221214696 1131223039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 29201 13073 16 0 212598 0
vsize: 850456
[startup+830.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 80228 66 0 0 25 0 11 0 477428587 870866944 29218 4294967295 134512640 134569956 3221224416 3221214552 1131181709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 29218 13073 16 0 212598 0
vsize: 850456
[startup+840.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 81198 66 0 0 25 0 11 0 477428587 870866944 29265 4294967295 134512640 134569956 3221224416 3221214696 1131222764 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 29265 13073 16 0 212598 0
vsize: 850456
[startup+850.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 82162 66 0 0 25 0 11 0 477428587 870866944 29275 4294967295 134512640 134569956 3221224416 3221214696 1131223514 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 29275 13073 16 0 212598 0
vsize: 850456
[startup+860.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 83120 67 0 0 25 0 11 0 477428587 870866944 29364 4294967295 134512640 134569956 3221224416 3221214584 1131399598 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 29364 13073 16 0 212598 0
vsize: 850456
[startup+870.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 84075 67 0 0 25 0 11 0 477428587 870866944 29446 4294967295 134512640 134569956 3221224416 3221214584 1131260660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 29446 13073 16 0 212598 0
vsize: 850456
[startup+880.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 85030 67 0 0 25 0 11 0 477428587 870866944 29546 4294967295 134512640 134569956 3221224416 3221214792 1131370931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 29546 13073 16 0 212598 0
vsize: 850456
[startup+890.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 85983 68 0 0 25 0 11 0 477428587 870866944 29677 4294967295 134512640 134569956 3221224416 3221214680 1131523588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 29677 13073 16 0 212598 0
vsize: 850456
[startup+900.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 86938 68 0 0 25 0 11 0 477428587 870866944 29814 4294967295 134512640 134569956 3221224416 3221214696 1131223039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 29814 13073 16 0 212598 0
vsize: 850456
[startup+910.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 87889 68 0 0 25 0 11 0 477428587 870866944 29897 4294967295 134512640 134569956 3221224416 3221214792 1131371101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 29897 13073 16 0 212598 0
vsize: 850456
[startup+920.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 88835 69 0 0 25 0 11 0 477428587 870866944 30023 4294967295 134512640 134569956 3221224416 3221214696 1131223554 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 30023 13073 16 0 212598 0
vsize: 850456
[startup+930.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 89783 69 0 0 25 0 11 0 477428587 870866944 30130 4294967295 134512640 134569956 3221224416 3221214576 1131668784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 30130 13073 16 0 212598 0
vsize: 850456
[startup+940.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 90731 69 0 0 25 0 11 0 477428587 870866944 30275 4294967295 134512640 134569956 3221224416 3221214792 1131372953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 30275 13073 16 0 212598 0
vsize: 850456
[startup+950.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 91690 70 0 0 25 0 11 0 477428587 870866944 30391 4294967295 134512640 134569956 3221224416 3221214696 1131222699 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 30391 13073 16 0 212598 0
vsize: 850456
[startup+960.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 92652 70 0 0 25 0 11 0 477428587 870866944 30499 4294967295 134512640 134569956 3221224416 3221214792 1131373078 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 30499 13073 16 0 212598 0
vsize: 850456
[startup+970.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 93619 70 0 0 25 0 11 0 477428587 870866944 30605 4294967295 134512640 134569956 3221224416 3221214696 1131223039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 30605 13073 16 0 212598 0
vsize: 850456
[startup+980.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 94592 71 0 0 25 0 11 0 477428587 870866944 30707 4294967295 134512640 134569956 3221224416 3221214792 1131371101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 30707 13073 16 0 212598 0
vsize: 850456
[startup+990.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 95574 71 0 0 25 0 11 0 477428587 870866944 30752 4294967295 134512640 134569956 3221224416 3221214696 1131223039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 30752 13073 16 0 212598 0
vsize: 850456
[startup+1000.06 s]
Raw data (loadavg): 1.08 1.02 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 96561 71 0 0 25 0 11 0 477428587 870866944 30766 4294967295 134512640 134569956 3221224416 3221214696 1131223039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 30766 13073 16 0 212598 0
vsize: 850456
[startup+1010.06 s]
Raw data (loadavg): 1.07 1.02 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 97539 72 0 0 24 0 11 0 477428587 870866944 30777 4294967295 134512640 134569956 3221224416 3221214792 1131370889 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 30777 13073 16 0 212598 0
vsize: 850456
[startup+1020.06 s]
Raw data (loadavg): 1.06 1.01 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 98523 73 0 0 25 0 11 0 477428587 870866944 30785 4294967295 134512640 134569956 3221224416 3221214696 1131222657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 30785 13073 16 0 212598 0
vsize: 850456
[startup+1030.06 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 99505 73 0 0 25 0 11 0 477428587 870866944 30803 4294967295 134512640 134569956 3221224416 3221214792 1131372302 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 30803 13073 16 0 212598 0
vsize: 850456
[startup+1040.06 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 100486 73 0 0 25 0 11 0 477428587 870866944 30814 4294967295 134512640 134569956 3221224416 3221214792 1131371162 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 30814 13073 16 0 212598 0
vsize: 850456
[startup+1050.06 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 101469 74 0 0 25 0 11 0 477428587 870866944 30852 4294967295 134512640 134569956 3221224416 3221214792 1131371981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 30852 13073 16 0 212598 0
vsize: 850456
[startup+1060.06 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 102454 74 0 0 25 0 11 0 477428587 870866944 30867 4294967295 134512640 134569956 3221224416 3221214792 1131370931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 30867 13073 16 0 212598 0
vsize: 850456
[startup+1070.06 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 103433 75 0 0 25 0 11 0 477428587 870866944 30888 4294967295 134512640 134569956 3221224416 3221214696 1131222974 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 30888 13073 16 0 212598 0
vsize: 850456
[startup+1080.06 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 104416 75 0 0 25 0 11 0 477428587 870866944 30893 4294967295 134512640 134569956 3221224416 3221214792 1131374581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 30893 13073 16 0 212598 0
vsize: 850456
[startup+1090.06 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 105397 75 0 0 25 0 11 0 477428587 870866944 30922 4294967295 134512640 134569956 3221224416 3221214792 1131373194 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 30922 13073 16 0 212598 0
vsize: 850456
[startup+1100.06 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 106379 75 0 0 25 0 11 0 477428587 870866944 30949 4294967295 134512640 134569956 3221224416 3221214792 1131372168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 30949 13073 16 0 212598 0
vsize: 850456
[startup+1110.06 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 107360 76 0 0 25 0 11 0 477428587 870866944 30969 4294967295 134512640 134569956 3221224416 3221214696 1131222657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 30969 13073 16 0 212598 0
vsize: 850456
[startup+1120.06 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 108340 76 0 0 24 0 11 0 477428587 870866944 30992 4294967295 134512640 134569956 3221224416 3221214696 1131222730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 30992 13073 16 0 212598 0
vsize: 850456
[startup+1130.06 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 109323 76 0 0 24 0 11 0 477428587 870866944 31004 4294967295 134512640 134569956 3221224416 3221214792 1131372202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 31004 13073 16 0 212598 0
vsize: 850456
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 110307 77 0 0 25 0 11 0 477428587 870866944 31017 4294967295 134512640 134569956 3221224416 3221214792 1131371162 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 31017 13073 16 0 212598 0
vsize: 850456
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 111289 77 0 0 25 0 11 0 477428587 870866944 31036 4294967295 134512640 134569956 3221224416 3221214792 1131372107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 31036 13073 16 0 212598 0
vsize: 850456
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 112270 77 0 0 25 0 11 0 477428587 870866944 31052 4294967295 134512640 134569956 3221224416 3221214792 1131371162 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 31052 13073 16 0 212598 0
vsize: 850456
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 113248 78 0 0 24 0 11 0 477428587 870866944 31066 4294967295 134512640 134569956 3221224416 3221214696 1131222976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 31066 13073 16 0 212598 0
vsize: 850456
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 114230 78 0 0 25 0 11 0 477428587 870866944 31095 4294967295 134512640 134569956 3221224416 3221214792 1131371105 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 31095 13073 16 0 212598 0
vsize: 850456
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 115212 78 0 0 25 0 11 0 477428587 870866944 31111 4294967295 134512640 134569956 3221224416 3221214792 1131371101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 31111 13073 16 0 212598 0
vsize: 850456
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 116194 79 0 0 25 0 11 0 477428587 870866944 31138 4294967295 134512640 134569956 3221224416 3221214792 1131371162 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 31138 13073 16 0 212598 0
vsize: 850456
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 117180 79 0 0 25 0 11 0 477428587 870866944 31150 4294967295 134512640 134569956 3221224416 3221214696 1131223039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 31150 13073 16 0 212598 0
vsize: 850456
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 118164 80 0 0 25 0 11 0 477428587 870866944 31155 4294967295 134512640 134569956 3221224416 3221214792 1131370907 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 31155 13073 16 0 212598 0
vsize: 850456
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 119145 81 0 0 25 0 11 0 477428587 870866944 31169 4294967295 134512640 134569956 3221224416 3221214696 1131223554 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 31169 13073 16 0 212598 0
vsize: 850456
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 12262
Raw data (stat): 12243 (java) R 12242 11931 11930 0 -1 0 18106 3 1 0 120126 81 0 0 25 0 11 0 477428587 870866944 31190 4294967295 134512640 134569956 3221224416 3221214696 1131222692 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212614 31190 13073 16 0 212598 0
vsize: 850456
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.18 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 12264
Raw data (stat): 12243 (java) Z 12242 11931 11930 0 -1 1036 18106 21602 1 0 120131 87 4947 65 25 0 1 0 477428587 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): 1240.18
CPU time (s): 1252.32
CPU user time (s): 1250.79
CPU system time (s): 1.52777
CPU usage (%): 100.979
Max. virtual memory (Kb): 853084
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####