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/web/uclid_pb_benchmarks/normalized-cache.inv12.ucl.opb
MD5SUM	9cf6244159fb5c76c803165eb0e00316
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	17
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	62
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	16.8454
Number of variables	25800
Total number of constraints	76699
Number of constraints which are clauses	76319
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	380
Minimum length of a constraint	1
Maximum length of a constraint	9
Trace number 4458

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-04-13 17:21:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2565 boxname=wulflinc15 idbench=285 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  9cf6244159fb5c76c803165eb0e00316  /oldhome/oroussel/tmp/wulflinc15/normalized-cache.inv12.ucl.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc15/normalized-cache.inv12.ucl.opb
IDLAUNCH: 2565
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        929140 kB
Buffers:         33876 kB
Cached:          49796 kB
SwapCached:       2144 kB
Active:          55100 kB
Inactive:        33552 kB
HighTotal:      131008 kB
HighFree:        77336 kB
LowTotal:       903652 kB
LowFree:        851804 kB
SwapTotal:     2097136 kB
SwapFree:      2094992 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6916 kB
Slab:            11284 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 17:42:07 (client local time) WITH STATUS 143 IN  SECONDS
stats: 2565 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc15/normalized-cache.inv12.ucl.opb
c reading problem 
c [nbvar=25800]
c [nbconstr=76699]
c time 299.355
c #vars     25800
c #clauses  76699
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
#### 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.99 2/54 30362
Raw data (stat): 30362 (runsolver) R 30361 29151 29150 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419484482 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99971 s]
Raw data (loadavg): 0.93 0.98 0.99 2/63 30371
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 17996 0 1 0 789 44 0 0 25 0 10 0 419484482 856997888 21431 4294967295 134512640 134569956 3221224400 3221214408 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209228 21431 13073 16 0 209212 0
vsize: 836912
[startup+20.0005 s]
Raw data (loadavg): 0.94 0.98 0.99 2/63 30371
Raw data (stat): 30362 (java) S 30361 29151 29150 0 -1 0 17996 0 1 0 1658 45 0 0 23 0 10 0 419484482 855998464 21759 4294967295 134512640 134569956 3221224400 3221213672 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208984 21759 13073 16 0 208968 0
vsize: 835936
[startup+30.0033 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 30371
Raw data (stat): 30362 (java) S 30361 29151 29150 0 -1 0 17996 0 1 0 2527 45 0 0 22 0 10 0 419484482 855998464 22337 4294967295 134512640 134569956 3221224400 3221213776 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208984 22337 13073 16 0 208968 0
vsize: 835936
[startup+40.0044 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 30371
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 17996 0 1 0 3394 46 0 0 22 0 10 0 419484482 855998464 22843 4294967295 134512640 134569956 3221224400 3221214556 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208984 22843 13073 16 0 208968 0
vsize: 835936
[startup+50.0055 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 30371
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 17996 0 1 0 4262 46 0 0 20 0 10 0 419484482 855998464 23143 4294967295 134512640 134569956 3221224400 3221214640 1130887239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208984 23143 13073 16 0 208968 0
vsize: 835936
[startup+60.0047 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 30371
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 17996 0 1 0 5132 46 0 0 20 0 10 0 419484482 855998464 23480 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208984 23480 13073 16 0 208968 0
vsize: 835936
[startup+70.0056 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 30371
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 17996 0 1 0 6002 46 0 0 21 0 10 0 419484482 855998464 23793 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208984 23793 13073 16 0 208968 0
vsize: 835936
[startup+80.0064 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 30371
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 17996 0 1 0 6870 46 0 0 21 0 10 0 419484482 855998464 24184 4294967295 134512640 134569956 3221224400 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208984 24184 13073 16 0 208968 0
vsize: 835936
[startup+90.0071 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 30371
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 17996 0 1 0 7744 46 0 0 21 0 10 0 419484482 855998464 24455 4294967295 134512640 134569956 3221224400 3221214488 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208984 24455 13073 16 0 208968 0
vsize: 835936
[startup+100.01 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 30371
Raw data (stat): 30362 (java) S 30361 29151 29150 0 -1 0 17996 0 1 0 8621 46 0 0 22 0 10 0 419484482 855998464 24682 4294967295 134512640 134569956 3221224400 3221213844 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208984 24682 13073 16 0 208968 0
vsize: 835936
[startup+110.016 s]
Raw data (loadavg): 0.98 0.98 0.99 2/63 30371
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 17996 0 1 0 9491 46 0 0 16 0 10 0 419484482 855998464 24995 4294967295 134512640 134569956 3221224400 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208984 24995 13073 16 0 208968 0
vsize: 835936
[startup+120.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30371
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 17996 0 1 0 10374 46 0 0 16 0 10 0 419484482 855998464 25241 4294967295 134512640 134569956 3221224400 3221214780 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208984 25241 13073 16 0 208968 0
vsize: 835936
[startup+130.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30371
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 17996 0 1 0 11250 47 0 0 16 0 10 0 419484482 855998464 25488 4294967295 134512640 134569956 3221224400 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208984 25488 13073 16 0 208968 0
vsize: 835936
[startup+140.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30371
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 17996 0 1 0 12124 47 0 0 16 0 10 0 419484482 855998464 25729 4294967295 134512640 134569956 3221224400 3221214536 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208984 25729 13073 16 0 208968 0
vsize: 835936
[startup+150.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30371
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 17996 0 1 0 12999 47 0 0 16 0 10 0 419484482 855998464 25955 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208984 25955 13073 16 0 208968 0
vsize: 835936
[startup+160.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30371
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 17996 0 1 0 13887 47 0 0 16 0 10 0 419484482 855998464 26151 4294967295 134512640 134569956 3221224400 3221214216 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208984 26151 13073 16 0 208968 0
vsize: 835936
[startup+170.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30371
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 17996 0 1 0 14777 48 0 0 16 0 10 0 419484482 855998464 26451 4294967295 134512640 134569956 3221224400 3221214780 1080204160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208984 26451 13073 16 0 208968 0
vsize: 835936
[startup+180.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30371
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 17996 0 1 0 15670 48 0 0 16 0 10 0 419484482 855998464 26653 4294967295 134512640 134569956 3221224400 3221214488 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208984 26653 13073 16 0 208968 0
vsize: 835936
[startup+190.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30371
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 17996 0 1 0 16564 49 0 0 16 0 10 0 419484482 855998464 26846 4294967295 134512640 134569956 3221224400 3221214336 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208984 26846 13073 16 0 208968 0
vsize: 835936
[startup+200.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30371
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 17996 0 1 0 17460 49 0 0 16 0 10 0 419484482 855998464 27032 4294967295 134512640 134569956 3221224400 3221214248 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208984 27032 13073 16 0 208968 0
vsize: 835936
[startup+210.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30371
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 17996 0 1 0 18356 50 0 0 16 0 10 0 419484482 855998464 27218 4294967295 134512640 134569956 3221224400 3221214772 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208984 27218 13073 16 0 208968 0
vsize: 835936
[startup+220.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30371
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 17996 0 1 0 19254 50 0 0 17 0 10 0 419484482 855998464 27385 4294967295 134512640 134569956 3221224400 3221214536 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208984 27385 13073 16 0 208968 0
vsize: 835936
[startup+230.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30371
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 17996 0 1 0 20154 50 0 0 16 0 10 0 419484482 855998464 27554 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208984 27554 13073 16 0 208968 0
vsize: 835936
[startup+240.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30371
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 17996 0 1 0 21055 51 0 0 16 0 10 0 419484482 855998464 27721 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208984 27721 13073 16 0 208968 0
vsize: 835936
[startup+250.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30371
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 17996 0 1 0 21956 51 0 0 16 0 10 0 419484482 855998464 27884 4294967295 134512640 134569956 3221224400 3221214488 1131148716 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208984 27884 13073 16 0 208968 0
vsize: 835936
[startup+260.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30371
Raw data (stat): 30362 (java) S 30361 29151 29150 0 -1 0 17996 0 1 0 22854 52 0 0 16 0 10 0 419484482 855998464 28051 4294967295 134512640 134569956 3221224400 3221213776 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208984 28051 13073 16 0 208968 0
vsize: 835936
[startup+270.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30371
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 17996 0 1 0 23753 52 0 0 16 0 10 0 419484482 855998464 28217 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208984 28217 13073 16 0 208968 0
vsize: 835936
[startup+280.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30371
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 17996 0 1 0 24645 52 0 0 15 0 10 0 419484482 855998464 28364 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208984 28364 13073 16 0 208968 0
vsize: 835936
[startup+290.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30371
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 17996 0 1 0 25536 52 0 0 16 0 10 0 419484482 855998464 28512 4294967295 134512640 134569956 3221224400 3221214780 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208984 28512 13073 16 0 208968 0
vsize: 835936
[startup+300.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/63 30371
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18017 0 1 0 26437 53 0 0 17 0 10 0 419484482 855998464 28670 4294967295 134512640 134569956 3221224400 3221214856 1131205980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208984 28670 13073 16 0 208968 0
vsize: 835936
[startup+310.033 s]
Raw data (loadavg): 1.07 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18069 0 1 0 27375 54 0 0 25 0 11 0 419484482 861589504 30081 4294967295 134512640 134569956 3221224400 3221214848 1131362960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210349 30081 13073 16 0 210333 0
vsize: 841396
[startup+320.033 s]
Raw data (loadavg): 1.06 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18069 0 1 0 28368 54 0 0 25 0 11 0 419484482 859877376 29703 4294967295 134512640 134569956 3221224400 3221214840 1131363447 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209931 29703 13073 16 0 209915 0
vsize: 839724
[startup+330.033 s]
Raw data (loadavg): 1.05 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18069 0 1 0 29368 54 0 0 25 0 11 0 419484482 859877376 29703 4294967295 134512640 134569956 3221224400 3221214840 1131363300 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 29703 13073 16 0 209915 0
vsize: 839724
[startup+340.034 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18069 0 1 0 30368 54 0 0 25 0 11 0 419484482 859877376 29703 4294967295 134512640 134569956 3221224400 3221214840 1131363447 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209931 29703 13073 16 0 209915 0
vsize: 839724
[startup+350.034 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18069 0 1 0 31343 55 0 0 23 0 11 0 419484482 859877376 29997 4294967295 134512640 134569956 3221224400 3221214840 1131363284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209931 29997 13073 16 0 209915 0
vsize: 839724
[startup+360.034 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18069 0 1 0 32342 55 0 0 25 0 11 0 419484482 859877376 29998 4294967295 134512640 134569956 3221224400 3221214840 1131363284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209931 29998 13073 16 0 209915 0
vsize: 839724
[startup+370.034 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18069 0 1 0 33341 55 0 0 25 0 11 0 419484482 859877376 29998 4294967295 134512640 134569956 3221224400 3221214840 1131363276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209931 29998 13073 16 0 209915 0
vsize: 839724
[startup+380.034 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18069 0 1 0 34314 55 0 0 19 0 11 0 419484482 859877376 30721 4294967295 134512640 134569956 3221224400 3221214840 1131363464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209931 30721 13073 16 0 209915 0
vsize: 839724
[startup+390.034 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18069 0 1 0 35312 56 0 0 25 0 11 0 419484482 859877376 30728 4294967295 134512640 134569956 3221224400 3221214848 1131363464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 30728 13073 16 0 209915 0
vsize: 839724
[startup+400.035 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18069 0 1 0 36312 56 0 0 25 0 11 0 419484482 859877376 30728 4294967295 134512640 134569956 3221224400 3221214848 1131362988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209931 30728 13073 16 0 209915 0
vsize: 839724
[startup+410.035 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18069 0 1 0 37286 56 0 0 17 0 11 0 419484482 859877376 30728 4294967295 134512640 134569956 3221224400 3221214848 1131363474 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209931 30728 13073 16 0 209915 0
vsize: 839724
[startup+420.035 s]
Raw data (loadavg): 1.01 1.00 1.00 3/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18069 0 1 0 38285 56 0 0 25 0 11 0 419484482 861130752 30876 4294967295 134512640 134569956 3221224400 3221214848 1131363462 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210237 30876 13073 16 0 210221 0
vsize: 840948
[startup+430.036 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18069 0 1 0 39284 56 0 0 25 0 11 0 419484482 861106176 31013 4294967295 134512640 134569956 3221224400 3221214856 1131362976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 31013 13073 16 0 210215 0
vsize: 840924
[startup+440.037 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18069 0 1 0 40284 56 0 0 25 0 11 0 419484482 861106176 31013 4294967295 134512640 134569956 3221224400 3221214856 1131363295 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 31013 13073 16 0 210215 0
vsize: 840924
[startup+450.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18070 0 1 0 41253 56 0 0 25 0 11 0 419484482 861106176 31139 4294967295 134512640 134569956 3221224400 3221214856 1131363191 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210231 31139 13073 16 0 210215 0
vsize: 840924
[startup+460.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18070 0 1 0 42252 56 0 0 25 0 11 0 419484482 859877376 30870 4294967295 134512640 134569956 3221224400 3221214856 1131363191 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 30870 13073 16 0 209915 0
vsize: 839724
[startup+470.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18070 0 1 0 43252 56 0 0 25 0 11 0 419484482 859877376 30870 4294967295 134512640 134569956 3221224400 3221214856 1131363300 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 30870 13073 16 0 209915 0
vsize: 839724
[startup+480.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18070 0 1 0 44219 57 0 0 25 0 11 0 419484482 859877376 31241 4294967295 134512640 134569956 3221224400 3221214856 1131363288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209931 31241 13073 16 0 209915 0
vsize: 839724
[startup+490.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18070 0 1 0 45219 57 0 0 25 0 11 0 419484482 859877376 31241 4294967295 134512640 134569956 3221224400 3221214856 1131362976 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 31241 13073 16 0 209915 0
vsize: 839724
[startup+500.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18070 0 1 0 46219 57 0 0 25 0 11 0 419484482 859877376 31241 4294967295 134512640 134569956 3221224400 3221214856 1131363170 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 31241 13073 16 0 209915 0
vsize: 839724
[startup+510.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18070 0 1 0 47219 57 0 0 25 0 11 0 419484482 859877376 31241 4294967295 134512640 134569956 3221224400 3221214856 1131363191 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 31241 13073 16 0 209915 0
vsize: 839724
[startup+520.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18070 0 1 0 48190 57 0 0 25 0 11 0 419484482 859877376 31241 4294967295 134512640 134569956 3221224400 3221214856 1131363170 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 31241 13073 16 0 209915 0
vsize: 839724
[startup+530.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18070 0 1 0 49190 57 0 0 25 0 11 0 419484482 859877376 31241 4294967295 134512640 134569956 3221224400 3221214856 1131362976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209931 31241 13073 16 0 209915 0
vsize: 839724
[startup+540.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18070 0 1 0 50149 57 0 0 18 0 11 0 419484482 859877376 31428 4294967295 134512640 134569956 3221224400 3221214856 1131363276 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 31428 13073 16 0 209915 0
vsize: 839724
[startup+550.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18070 0 1 0 51149 57 0 0 25 0 11 0 419484482 859877376 31428 4294967295 134512640 134569956 3221224400 3221214856 1131363295 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 31428 13073 16 0 209915 0
vsize: 839724
[startup+560.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18070 0 1 0 52149 57 0 0 25 0 11 0 419484482 859877376 31428 4294967295 134512640 134569956 3221224400 3221214624 1131432432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 31428 13073 16 0 209915 0
vsize: 839724
[startup+570.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18070 0 1 0 53149 57 0 0 25 0 11 0 419484482 859877376 31428 4294967295 134512640 134569956 3221224400 3221214856 1131362986 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 31428 13073 16 0 209915 0
vsize: 839724
[startup+580.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18070 0 1 0 54149 57 0 0 25 0 11 0 419484482 859877376 31428 4294967295 134512640 134569956 3221224400 3221214856 1131363170 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 31428 13073 16 0 209915 0
vsize: 839724
[startup+590.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18070 0 1 0 55110 57 0 0 19 0 11 0 419484482 859877376 32442 4294967295 134512640 134569956 3221224400 3221214856 1131362976 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 32442 13073 16 0 209915 0
vsize: 839724
[startup+600.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18070 0 1 0 56110 57 0 0 25 0 11 0 419484482 859877376 32442 4294967295 134512640 134569956 3221224400 3221214856 1131363170 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 32442 13073 16 0 209915 0
vsize: 839724
[startup+610.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18070 0 1 0 57110 57 0 0 25 0 11 0 419484482 859877376 32442 4294967295 134512640 134569956 3221224400 3221214856 1131363284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 32442 13073 16 0 209915 0
vsize: 839724
[startup+620.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18070 0 1 0 58110 57 0 0 25 0 11 0 419484482 859877376 32442 4294967295 134512640 134569956 3221224400 3221214856 1131363284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 32442 13073 16 0 209915 0
vsize: 839724
[startup+630.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 59110 57 0 0 25 0 11 0 419484482 859877376 32443 4294967295 134512640 134569956 3221224400 3221214856 1131363295 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209931 32443 13073 16 0 209915 0
vsize: 839724
[startup+640.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 60089 58 0 0 25 0 11 0 419484482 859877376 32443 4294967295 134512640 134569956 3221224400 3221214856 1131363460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 32443 13073 16 0 209915 0
vsize: 839724
[startup+650.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 61089 58 0 0 25 0 11 0 419484482 859877376 32443 4294967295 134512640 134569956 3221224400 3221214856 1131363170 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 32443 13073 16 0 209915 0
vsize: 839724
[startup+660.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 62090 58 0 0 25 0 11 0 419484482 859877376 32443 4294967295 134512640 134569956 3221224400 3221214856 1131363288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 32443 13073 16 0 209915 0
vsize: 839724
[startup+670.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 63090 58 0 0 25 0 11 0 419484482 859877376 32443 4294967295 134512640 134569956 3221224400 3221214856 1131363460 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 32443 13073 16 0 209915 0
vsize: 839724
[startup+680.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 64090 58 0 0 25 0 11 0 419484482 859877376 32443 4294967295 134512640 134569956 3221224400 3221214856 1131362972 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 32443 13073 16 0 209915 0
vsize: 839724
[startup+690.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 65068 58 0 0 25 0 11 0 419484482 859877376 32443 4294967295 134512640 134569956 3221224400 3221214856 1131363191 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 32443 13073 16 0 209915 0
vsize: 839724
[startup+700.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 66068 58 0 0 25 0 11 0 419484482 859877376 32443 4294967295 134512640 134569956 3221224400 3221214856 1131363197 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 32443 13073 16 0 209915 0
vsize: 839724
[startup+710.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 67068 58 0 0 25 0 11 0 419484482 859877376 32443 4294967295 134512640 134569956 3221224400 3221214856 1131363300 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 32443 13073 16 0 209915 0
vsize: 839724
[startup+720.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 68068 58 0 0 25 0 11 0 419484482 859877376 32443 4294967295 134512640 134569956 3221224400 3221214760 1131206443 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 32443 13073 16 0 209915 0
vsize: 839724
[startup+730.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 69047 58 0 0 16 0 11 0 419484482 859877376 32443 4294967295 134512640 134569956 3221224400 3221214856 1131363464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209931 32443 13073 16 0 209915 0
vsize: 839724
[startup+740.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 70047 58 0 0 25 0 11 0 419484482 859877376 32443 4294967295 134512640 134569956 3221224400 3221214856 1131363462 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 32443 13073 16 0 209915 0
vsize: 839724
[startup+750.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 71047 58 0 0 25 0 11 0 419484482 859877376 32443 4294967295 134512640 134569956 3221224400 3221214856 1131363284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209931 32443 13073 16 0 209915 0
vsize: 839724
[startup+760.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 72046 58 0 0 25 0 11 0 419484482 859877376 32443 4294967295 134512640 134569956 3221224400 3221214856 1131363276 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 32443 13073 16 0 209915 0
vsize: 839724
[startup+770.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 73016 58 0 0 22 0 11 0 419484482 859877376 32443 4294967295 134512640 134569956 3221224400 3221214856 1131362976 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 32443 13073 16 0 209915 0
vsize: 839724
[startup+780.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 74016 58 0 0 25 0 11 0 419484482 859877376 32443 4294967295 134512640 134569956 3221224400 3221214856 1131363447 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 32443 13073 16 0 209915 0
vsize: 839724
[startup+790.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 75016 58 0 0 25 0 11 0 419484482 859877376 32443 4294967295 134512640 134569956 3221224400 3221214844 1080204256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 32443 13073 16 0 209915 0
vsize: 839724
[startup+800.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 76016 58 0 0 25 0 11 0 419484482 859877376 32443 4294967295 134512640 134569956 3221224400 3221214856 1131363464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 32443 13073 16 0 209915 0
vsize: 839724
[startup+810.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 76986 58 0 0 16 0 11 0 419484482 859877376 32557 4294967295 134512640 134569956 3221224400 3221214856 1131363183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209931 32557 13073 16 0 209915 0
vsize: 839724
[startup+820.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 77985 59 0 0 25 0 11 0 419484482 859877376 32557 4294967295 134512640 134569956 3221224400 3221214856 1131363474 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 32557 13073 16 0 209915 0
vsize: 839724
[startup+830.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 78985 59 0 0 25 0 11 0 419484482 859877376 32557 4294967295 134512640 134569956 3221224400 3221214856 1131362976 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 32557 13073 16 0 209915 0
vsize: 839724
[startup+840.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 79985 59 0 0 25 0 11 0 419484482 859877376 32557 4294967295 134512640 134569956 3221224400 3221214856 1131362972 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 32557 13073 16 0 209915 0
vsize: 839724
[startup+850.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 80951 59 0 0 16 0 11 0 419484482 859877376 32975 4294967295 134512640 134569956 3221224400 3221214856 1131363474 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209931 32975 13073 16 0 209915 0
vsize: 839724
[startup+860.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 81951 59 0 0 25 0 11 0 419484482 859877376 32975 4294967295 134512640 134569956 3221224400 3221214856 1131363170 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209931 32975 13073 16 0 209915 0
vsize: 839724
[startup+870.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 82950 59 0 0 25 0 11 0 419484482 859877376 32975 4294967295 134512640 134569956 3221224400 3221214856 1131362988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209931 32975 13073 16 0 209915 0
vsize: 839724
[startup+880.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 83950 59 0 0 25 0 11 0 419484482 859877376 32975 4294967295 134512640 134569956 3221224400 3221214856 1131363464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 32975 13073 16 0 209915 0
vsize: 839724
[startup+890.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 84925 59 0 0 20 0 11 0 419484482 859877376 32975 4294967295 134512640 134569956 3221224400 3221214856 1131362988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 32975 13073 16 0 209915 0
vsize: 839724
[startup+900.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 85924 59 0 0 25 0 11 0 419484482 859877376 32975 4294967295 134512640 134569956 3221224400 3221214856 1131362972 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 32975 13073 16 0 209915 0
vsize: 839724
[startup+910.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 86925 59 0 0 25 0 11 0 419484482 859877376 32975 4294967295 134512640 134569956 3221224400 3221214856 1131363447 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 32975 13073 16 0 209915 0
vsize: 839724
[startup+920.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 87925 59 0 0 25 0 11 0 419484482 859877376 32975 4294967295 134512640 134569956 3221224400 3221214856 1131363191 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 32975 13073 16 0 209915 0
vsize: 839724
[startup+930.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 88896 59 0 0 16 0 11 0 419484482 859877376 33148 4294967295 134512640 134569956 3221224400 3221214856 1131362976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209931 33148 13073 16 0 209915 0
vsize: 839724
[startup+940.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 89896 59 0 0 25 0 11 0 419484482 859877376 33148 4294967295 134512640 134569956 3221224400 3221214856 1131362976 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 33148 13073 16 0 209915 0
vsize: 839724
[startup+950.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 90896 59 0 0 25 0 11 0 419484482 859877376 33148 4294967295 134512640 134569956 3221224400 3221214856 1131363284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 33148 13073 16 0 209915 0
vsize: 839724
[startup+960.063 s]
Raw data (loadavg): 1.08 1.02 1.01 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 91897 59 0 0 25 0 11 0 419484482 859877376 33148 4294967295 134512640 134569956 3221224400 3221214856 1131363280 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 33148 13073 16 0 209915 0
vsize: 839724
[startup+970.064 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 92897 59 0 0 25 0 11 0 419484482 859877376 33148 4294967295 134512640 134569956 3221224400 3221214856 1131362983 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 33148 13073 16 0 209915 0
vsize: 839724
[startup+980.064 s]
Raw data (loadavg): 1.06 1.01 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 93869 59 0 0 24 0 11 0 419484482 859877376 33387 4294967295 134512640 134569956 3221224400 3221214856 1131363288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 33387 13073 16 0 209915 0
vsize: 839724
[startup+990.065 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 94869 59 0 0 25 0 11 0 419484482 859877376 33387 4294967295 134512640 134569956 3221224400 3221214856 1131363284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 33387 13073 16 0 209915 0
vsize: 839724
[startup+1000.07 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 95869 59 0 0 25 0 11 0 419484482 859877376 33387 4294967295 134512640 134569956 3221224400 3221214856 1131363284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 33387 13073 16 0 209915 0
vsize: 839724
[startup+1010.07 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 96870 59 0 0 25 0 11 0 419484482 859877376 33387 4294967295 134512640 134569956 3221224400 3221214856 1131363276 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209931 33387 13073 16 0 209915 0
vsize: 839724
[startup+1020.07 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 30372
Raw data (stat): 30362 (java) S 30361 29151 29150 0 -1 0 18071 0 1 0 97860 59 0 0 25 0 11 0 419484482 859869184 33385 4294967295 134512640 134569956 3221224400 3221213408 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 33385 13073 16 0 209913 0
vsize: 839716
[startup+1030.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 98844 59 0 0 25 0 11 0 419484482 859869184 33385 4294967295 134512640 134569956 3221224400 3221214856 1131362972 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209929 33385 13073 16 0 209913 0
vsize: 839716
[startup+1040.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 99844 59 0 0 25 0 11 0 419484482 859869184 33385 4294967295 134512640 134569956 3221224400 3221214856 1131362976 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209929 33385 13073 16 0 209913 0
vsize: 839716
[startup+1050.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 100844 60 0 0 25 0 11 0 419484482 859869184 33385 4294967295 134512640 134569956 3221224400 3221214852 1131374771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 33385 13073 16 0 209913 0
vsize: 839716
[startup+1060.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 101844 60 0 0 25 0 11 0 419484482 859869184 33385 4294967295 134512640 134569956 3221224400 3221214856 1131363300 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209929 33385 13073 16 0 209913 0
vsize: 839716
[startup+1070.07 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 102818 60 0 0 25 0 11 0 419484482 859869184 33559 4294967295 134512640 134569956 3221224400 3221214856 1131362972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 33559 13073 16 0 209913 0
vsize: 839716
[startup+1080.07 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 103818 60 0 0 25 0 11 0 419484482 859869184 33559 4294967295 134512640 134569956 3221224400 3221214856 1131363288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209929 33559 13073 16 0 209913 0
vsize: 839716
[startup+1090.07 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 104818 60 0 0 25 0 11 0 419484482 859869184 33559 4294967295 134512640 134569956 3221224400 3221214856 1131362988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209929 33559 13073 16 0 209913 0
vsize: 839716
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 105817 60 0 0 25 0 11 0 419484482 859869184 33559 4294967295 134512640 134569956 3221224400 3221214856 1131363276 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209929 33559 13073 16 0 209913 0
vsize: 839716
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 106793 60 0 0 25 0 11 0 419484482 859869184 33559 4294967295 134512640 134569956 3221224400 3221214856 1131363300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 33559 13073 16 0 209913 0
vsize: 839716
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 107793 60 0 0 25 0 11 0 419484482 859869184 33559 4294967295 134512640 134569956 3221224400 3221214856 1131363288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209929 33559 13073 16 0 209913 0
vsize: 839716
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 108793 60 0 0 25 0 11 0 419484482 859869184 33559 4294967295 134512640 134569956 3221224400 3221214856 1131363288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 33559 13073 16 0 209913 0
vsize: 839716
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 109792 60 0 0 25 0 11 0 419484482 859869184 33559 4294967295 134512640 134569956 3221224400 3221214856 1131363284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209929 33559 13073 16 0 209913 0
vsize: 839716
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 110793 60 0 0 25 0 11 0 419484482 859869184 33559 4294967295 134512640 134569956 3221224400 3221214856 1131363183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209929 33559 13073 16 0 209913 0
vsize: 839716
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 111766 60 0 0 25 0 11 0 419484482 859869184 33687 4294967295 134512640 134569956 3221224400 3221214856 1131363474 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209929 33687 13073 16 0 209913 0
vsize: 839716
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 112766 60 0 0 25 0 11 0 419484482 859869184 33687 4294967295 134512640 134569956 3221224400 3221214856 1131362976 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209929 33687 13073 16 0 209913 0
vsize: 839716
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 113766 60 0 0 25 0 11 0 419484482 859869184 33687 4294967295 134512640 134569956 3221224400 3221214856 1131362983 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209929 33687 13073 16 0 209913 0
vsize: 839716
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 114766 61 0 0 25 0 11 0 419484482 859869184 33687 4294967295 134512640 134569956 3221224400 3221214856 1131362988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209929 33687 13073 16 0 209913 0
vsize: 839716
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 115742 61 0 0 22 0 11 0 419484482 859869184 33687 4294967295 134512640 134569956 3221224400 3221214856 1131362976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 33687 13073 16 0 209913 0
vsize: 839716
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 116741 61 0 0 25 0 11 0 419484482 859869184 33687 4294967295 134512640 134569956 3221224400 3221214776 1131381366 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 33687 13073 16 0 209913 0
vsize: 839716
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 117741 61 0 0 25 0 11 0 419484482 859869184 33687 4294967295 134512640 134569956 3221224400 3221214856 1131363295 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 33687 13073 16 0 209913 0
vsize: 839716
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 118740 61 0 0 25 0 11 0 419484482 859869184 33687 4294967295 134512640 134569956 3221224400 3221214856 1131363284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209929 33687 13073 16 0 209913 0
vsize: 839716
[startup+1240.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 119714 61 0 0 16 0 11 0 419484482 859869184 33773 4294967295 134512640 134569956 3221224400 3221214856 1131363295 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209929 33773 13073 16 0 209913 0
vsize: 839716
[startup+1250.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 30372
Raw data (stat): 30362 (java) R 30361 29151 29150 0 -1 0 18071 0 1 0 120714 61 0 0 25 0 11 0 419484482 859869184 33773 4294967295 134512640 134569956 3221224400 3221214856 1131362994 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209929 33773 13073 16 0 209913 0
vsize: 839716
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.16 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 30374
Raw data (stat): 30362 (java) Z 30361 29151 29150 0 -1 1036 18071 13976 1 0 120715 61 4044 31 25 0 1 0 419484482 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1250.16
CPU time (s): 1248.54
CPU user time (s): 1247.6
CPU system time (s): 0.938857
CPU usage (%): 99.8703
Max. virtual memory (Kb): 841396
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####