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/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-van.opb
MD5SUM	786f5a2dc2f55d8aea2bd35c440c54ff
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
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	192
Biggest coefficient in the objective function	2427002644
Number of bits for the biggest coefficient in the objective function	32
Sum of the numbers in the objective function	319999999936
Number of bits of the sum of numbers in the objective function	39
Biggest number in a constraint	226795425792
Number of bits of the biggest number in a constraint	38
Biggest sum of numbers in a constraint	973128929893
Number of bits of the biggest sum of numbers	40
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	142.928
Number of variables	135360
Total number of constraints	39811
Number of constraints which are clauses	128
Number of constraints which are cardinality constraints (but not clauses)	195
Number of constraints which are nor clauses,nor cardinality constraints	39488
Minimum length of a constraint	1
Maximum length of a constraint	496
Trace number 16577

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-04-21 07:47:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13126 boxname=wulflinc22 idbench=1010 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  786f5a2dc2f55d8aea2bd35c440c54ff  /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-van.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-van.opb
IDLAUNCH: 13126
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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	: 3
cpu MHz		: 451.031
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:        453552 kB
Buffers:         31200 kB
Cached:         518896 kB
SwapCached:         24 kB
Active:         250924 kB
Inactive:       301840 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        453300 kB
SwapTotal:     2097892 kB
SwapFree:      2097660 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6640 kB
Slab:            22628 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 08:10:14 (client local time) WITH STATUS 143 IN 1333.7 SECONDS
stats: 13126 7 1333.7 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-van.opb
c reading problem 
c [nbvar=135360]
c [nbconstr=39811]
#### 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.82 0.94 0.91 2/54 30064
Raw data (stat): 30064 (runsolver) R 30063 26298 26297 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 543396697 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 0.85 0.94 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 890 37 0 0 25 0 10 0 543396697 853602304 19375 4294967295 134512640 134569956 3221224400 3221214296 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208399 19375 13073 16 0 208383 0
vsize: 833596
[startup+20.0008 s]
Raw data (loadavg): 0.87 0.94 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 1782 38 0 0 24 0 10 0 543396697 853602304 19871 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208399 19871 13073 16 0 208383 0
vsize: 833596
[startup+30.0006 s]
Raw data (loadavg): 0.89 0.94 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 2673 38 0 0 25 0 10 0 543396697 854360064 20480 4294967295 134512640 134569956 3221224400 3221214832 1131222221 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208584 20480 13073 16 0 208568 0
vsize: 834336
[startup+40.0082 s]
Raw data (loadavg): 0.90 0.94 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 3591 39 0 0 25 0 10 0 543396697 854179840 20730 4294967295 134512640 134569956 3221224400 3221214620 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208540 20730 13073 16 0 208524 0
vsize: 834160
[startup+50.0384 s]
Raw data (loadavg): 0.92 0.94 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 4520 39 0 0 25 0 10 0 543396697 854179840 20897 4294967295 134512640 134569956 3221224400 3221214832 1131202049 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208540 20897 13073 16 0 208524 0
vsize: 834160
[startup+60.0387 s]
Raw data (loadavg): 0.93 0.95 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 5447 39 0 0 25 0 10 0 543396697 854179840 21024 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208540 21024 13073 16 0 208524 0
vsize: 834160
[startup+70.0383 s]
Raw data (loadavg): 0.94 0.95 0.91 2/63 30073
Raw data (stat): 30064 (java) S 30063 26298 26297 0 -1 0 18002 0 1 0 6369 40 0 0 25 0 10 0 543396697 854179840 21146 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208540 21146 13073 16 0 208524 0
vsize: 834160
[startup+80.0409 s]
Raw data (loadavg): 0.95 0.95 0.91 2/63 30073
Raw data (stat): 30064 (java) S 30063 26298 26297 0 -1 0 18002 0 1 0 7302 40 0 0 25 0 10 0 543396697 853577728 21232 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 21232 13073 16 0 208377 0
vsize: 833572
[startup+90.0408 s]
Raw data (loadavg): 0.96 0.95 0.91 2/63 30073
Raw data (stat): 30064 (java) S 30063 26298 26297 0 -1 0 18002 0 1 0 8234 40 0 0 25 0 10 0 543396697 853577728 21334 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 21334 13073 16 0 208377 0
vsize: 833572
[startup+100.042 s]
Raw data (loadavg): 0.96 0.95 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 9167 41 0 0 25 0 10 0 543396697 853577728 21432 4294967295 134512640 134569956 3221224400 3221214352 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 21432 13073 16 0 208377 0
vsize: 833572
[startup+110.042 s]
Raw data (loadavg): 0.97 0.95 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 10102 41 0 0 24 0 10 0 543396697 853577728 21519 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 21519 13073 16 0 208377 0
vsize: 833572
[startup+120.044 s]
Raw data (loadavg): 0.97 0.95 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 11038 42 0 0 25 0 10 0 543396697 853577728 21604 4294967295 134512640 134569956 3221224400 3221214548 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 21604 13073 16 0 208377 0
vsize: 833572
[startup+130.044 s]
Raw data (loadavg): 0.98 0.95 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 11974 42 0 0 25 0 10 0 543396697 853577728 21682 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 21682 13073 16 0 208377 0
vsize: 833572
[startup+140.049 s]
Raw data (loadavg): 0.98 0.95 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 12910 43 0 0 25 0 10 0 543396697 853577728 21755 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 21755 13073 16 0 208377 0
vsize: 833572
[startup+150.057 s]
Raw data (loadavg): 0.98 0.95 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 13846 43 0 0 25 0 10 0 543396697 853577728 21826 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 21826 13073 16 0 208377 0
vsize: 833572
[startup+160.057 s]
Raw data (loadavg): 0.98 0.95 0.91 2/63 30073
Raw data (stat): 30064 (java) S 30063 26298 26297 0 -1 0 18002 0 1 0 14780 43 0 0 25 0 10 0 543396697 853577728 21894 4294967295 134512640 134569956 3221224400 3221213792 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 21894 13073 16 0 208377 0
vsize: 833572
[startup+170.057 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 15713 44 0 0 25 0 10 0 543396697 853577728 21962 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 21962 13073 16 0 208377 0
vsize: 833572
[startup+180.057 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 16646 44 0 0 25 0 10 0 543396697 853577728 22025 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 22025 13073 16 0 208377 0
vsize: 833572
[startup+190.058 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 17561 44 0 0 25 0 10 0 543396697 853577728 22086 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 22086 13073 16 0 208377 0
vsize: 833572
[startup+200.059 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 18479 45 0 0 25 0 10 0 543396697 853577728 22305 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 22305 13073 16 0 208377 0
vsize: 833572
[startup+210.06 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 19411 45 0 0 25 0 10 0 543396697 853577728 22362 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 22362 13073 16 0 208377 0
vsize: 833572
[startup+220.06 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 20341 45 0 0 25 0 10 0 543396697 853577728 22417 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 22417 13073 16 0 208377 0
vsize: 833572
[startup+230.061 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 21271 46 0 0 25 0 10 0 543396697 853577728 22471 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 22471 13073 16 0 208377 0
vsize: 833572
[startup+240.061 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 30073
Raw data (stat): 30064 (java) S 30063 26298 26297 0 -1 0 18002 0 1 0 22200 47 0 0 25 0 10 0 543396697 853577728 22524 4294967295 134512640 134569956 3221224400 3221213792 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 22524 13073 16 0 208377 0
vsize: 833572
[startup+250.061 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 23126 47 0 0 24 0 10 0 543396697 853577728 22579 4294967295 134512640 134569956 3221224400 3221214548 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 22579 13073 16 0 208377 0
vsize: 833572
[startup+260.065 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 24055 47 0 0 25 0 10 0 543396697 853577728 22630 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 22630 13073 16 0 208377 0
vsize: 833572
[startup+270.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 24983 47 0 0 25 0 10 0 543396697 853577728 22679 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 22679 13073 16 0 208377 0
vsize: 833572
[startup+280.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 25910 48 0 0 25 0 10 0 543396697 853577728 22727 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 22727 13073 16 0 208377 0
vsize: 833572
[startup+290.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 26837 48 0 0 25 0 10 0 543396697 853577728 22774 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 22774 13073 16 0 208377 0
vsize: 833572
[startup+300.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 27763 48 0 0 25 0 10 0 543396697 853577728 22820 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 22820 13073 16 0 208377 0
vsize: 833572
[startup+310.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 28690 49 0 0 25 0 10 0 543396697 853577728 22866 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 22866 13073 16 0 208377 0
vsize: 833572
[startup+320.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 29615 49 0 0 21 0 10 0 543396697 853577728 22910 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 22910 13073 16 0 208377 0
vsize: 833572
[startup+330.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 30539 50 0 0 25 0 10 0 543396697 853577728 22954 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 22954 13073 16 0 208377 0
vsize: 833572
[startup+340.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 30073
Raw data (stat): 30064 (java) S 30063 26298 26297 0 -1 0 18002 0 1 0 31463 50 0 0 25 0 10 0 543396697 853577728 22998 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 22998 13073 16 0 208377 0
vsize: 833572
[startup+350.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 30073
Raw data (stat): 30064 (java) S 30063 26298 26297 0 -1 0 18002 0 1 0 32384 50 0 0 25 0 10 0 543396697 853577728 23040 4294967295 134512640 134569956 3221224400 3221213792 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 23040 13073 16 0 208377 0
vsize: 833572
[startup+360.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 33303 51 0 0 24 0 10 0 543396697 853577728 23091 4294967295 134512640 134569956 3221224400 3221214828 1080204146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 23091 13073 16 0 208377 0
vsize: 833572
[startup+370.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 34225 51 0 0 24 0 10 0 543396697 853577728 23132 4294967295 134512640 134569956 3221224400 3221214832 1130898103 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 23132 13073 16 0 208377 0
vsize: 833572
[startup+380.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 35147 51 0 0 24 0 10 0 543396697 853577728 23173 4294967295 134512640 134569956 3221224400 3221214016 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 23173 13073 16 0 208377 0
vsize: 833572
[startup+390.082 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 36068 52 0 0 19 0 10 0 543396697 853577728 23213 4294967295 134512640 134569956 3221224400 3221214504 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 23213 13073 16 0 208377 0
vsize: 833572
[startup+400.083 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 36988 53 0 0 25 0 10 0 543396697 853577728 23252 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 23252 13073 16 0 208377 0
vsize: 833572
[startup+410.083 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 37908 53 0 0 25 0 10 0 543396697 853577728 23291 4294967295 134512640 134569956 3221224400 3221214556 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 23291 13073 16 0 208377 0
vsize: 833572
[startup+420.083 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 38827 54 0 0 25 0 10 0 543396697 853577728 23330 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 23330 13073 16 0 208377 0
vsize: 833572
[startup+430.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 39746 54 0 0 25 0 10 0 543396697 853577728 23368 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 23368 13073 16 0 208377 0
vsize: 833572
[startup+440.091 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 40664 55 0 0 25 0 10 0 543396697 853577728 23405 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 23405 13073 16 0 208377 0
vsize: 833572
[startup+450.091 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 41583 55 0 0 25 0 10 0 543396697 853577728 23442 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 23442 13073 16 0 208377 0
vsize: 833572
[startup+460.091 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 42500 56 0 0 25 0 10 0 543396697 853577728 23479 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 23479 13073 16 0 208377 0
vsize: 833572
[startup+470.091 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 43417 56 0 0 25 0 10 0 543396697 853577728 23515 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 23515 13073 16 0 208377 0
vsize: 833572
[startup+480.092 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 44333 56 0 0 25 0 10 0 543396697 853577728 23551 4294967295 134512640 134569956 3221224400 3221214552 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 23551 13073 16 0 208377 0
vsize: 833572
[startup+490.098 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 45249 57 0 0 25 0 10 0 543396697 853577728 23586 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 23586 13073 16 0 208377 0
vsize: 833572
[startup+500.108 s]
Raw data (loadavg): 1.07 0.99 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 46164 58 0 0 25 0 10 0 543396697 853577728 23622 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 23622 13073 16 0 208377 0
vsize: 833572
[startup+510.108 s]
Raw data (loadavg): 1.06 0.99 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 47078 58 0 0 25 0 10 0 543396697 853577728 23657 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 23657 13073 16 0 208377 0
vsize: 833572
[startup+520.108 s]
Raw data (loadavg): 1.05 0.99 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 47991 59 0 0 25 0 10 0 543396697 853577728 23691 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 23691 13073 16 0 208377 0
vsize: 833572
[startup+530.108 s]
Raw data (loadavg): 1.04 0.99 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 48905 59 0 0 25 0 10 0 543396697 853577728 23725 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 23725 13073 16 0 208377 0
vsize: 833572
[startup+540.115 s]
Raw data (loadavg): 1.03 0.99 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 49818 59 0 0 25 0 10 0 543396697 853577728 23758 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 23758 13073 16 0 208377 0
vsize: 833572
[startup+550.115 s]
Raw data (loadavg): 1.03 0.99 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 50730 59 0 0 25 0 10 0 543396697 853577728 23792 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 23792 13073 16 0 208377 0
vsize: 833572
[startup+560.12 s]
Raw data (loadavg): 1.02 0.99 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 51643 59 0 0 24 0 10 0 543396697 853577728 23824 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 23824 13073 16 0 208377 0
vsize: 833572
[startup+570.122 s]
Raw data (loadavg): 1.02 0.99 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 52554 60 0 0 24 0 10 0 543396697 853577728 23857 4294967295 134512640 134569956 3221224400 3221214828 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 23857 13073 16 0 208377 0
vsize: 833572
[startup+580.123 s]
Raw data (loadavg): 1.02 0.99 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 53470 60 0 0 25 0 10 0 543396697 853577728 23887 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 23887 13073 16 0 208377 0
vsize: 833572
[startup+590.132 s]
Raw data (loadavg): 1.01 0.99 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 54381 61 0 0 25 0 10 0 543396697 853577728 23919 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 23919 13073 16 0 208377 0
vsize: 833572
[startup+600.133 s]
Raw data (loadavg): 1.01 0.99 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 55290 61 0 0 25 0 10 0 543396697 853577728 23951 4294967295 134512640 134569956 3221224400 3221214296 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 23951 13073 16 0 208377 0
vsize: 833572
[startup+610.138 s]
Raw data (loadavg): 1.01 0.99 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 56198 62 0 0 25 0 10 0 543396697 853577728 23983 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 23983 13073 16 0 208377 0
vsize: 833572
[startup+620.153 s]
Raw data (loadavg): 1.01 0.99 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 57109 62 0 0 20 0 10 0 543396697 853577728 24014 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208393 24014 13073 16 0 208377 0
vsize: 833572
[startup+630.158 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 58017 63 0 0 24 0 10 0 543396697 853577728 24045 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 24045 13073 16 0 208377 0
vsize: 833572
[startup+640.251 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 30073
Raw data (stat): 30064 (java) S 30063 26298 26297 0 -1 0 18002 0 1 0 58938 63 0 0 25 0 10 0 543396697 853577728 24074 4294967295 134512640 134569956 3221224400 3221213792 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 24074 13073 16 0 208377 0
vsize: 833572
[startup+650.259 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 59847 63 0 0 25 0 10 0 543396697 853577728 24104 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 24104 13073 16 0 208377 0
vsize: 833572
[startup+660.259 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 60754 64 0 0 25 0 10 0 543396697 853577728 24135 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 24135 13073 16 0 208377 0
vsize: 833572
[startup+670.263 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 61661 64 0 0 25 0 10 0 543396697 853577728 24165 4294967295 134512640 134569956 3221224400 3221214504 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 24165 13073 16 0 208377 0
vsize: 833572
[startup+680.265 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 30073
Raw data (stat): 30064 (java) S 30063 26298 26297 0 -1 0 18002 0 1 0 62568 64 0 0 25 0 10 0 543396697 853577728 24193 4294967295 134512640 134569956 3221224400 3221213792 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 24193 13073 16 0 208377 0
vsize: 833572
[startup+690.265 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 63476 65 0 0 25 0 10 0 543396697 853577728 24223 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208393 24223 13073 16 0 208377 0
vsize: 833572
[startup+700.266 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 64378 65 0 0 25 0 10 0 543396697 853577728 24845 4294967295 134512640 134569956 3221224400 3221214296 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208393 24845 13073 16 0 208377 0
vsize: 833572
[startup+710.267 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 30073
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 65279 65 0 0 25 0 10 0 543396697 853577728 24845 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208393 24845 13073 16 0 208377 0
vsize: 833572
[startup+720.27 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 30073
Raw data (stat): 30064 (java) S 30063 26298 26297 0 -1 0 18002 0 1 0 66176 66 0 0 25 0 10 0 543396697 853577728 24866 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208393 24866 13073 16 0 208377 0
vsize: 833572
[startup+730.272 s]
Raw data (loadavg): 1.08 1.00 0.92 3/66 30113
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 67069 67 0 0 25 0 10 0 543396697 853577728 24895 4294967295 134512640 134569956 3221224400 3221214656 1130887239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208393 24895 13073 16 0 208377 0
vsize: 833572
[startup+740.274 s]
Raw data (loadavg): 1.14 1.02 0.93 2/63 30126
Raw data (stat): 30064 (java) S 30063 26298 26297 0 -1 0 18002 0 1 0 67961 68 0 0 25 0 10 0 543396697 853577728 24922 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208393 24922 13073 16 0 208377 0
vsize: 833572
[startup+750.275 s]
Raw data (loadavg): 1.12 1.02 0.93 2/63 30126
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 68859 68 0 0 22 0 10 0 543396697 853577728 24950 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208393 24950 13073 16 0 208377 0
vsize: 833572
[startup+760.275 s]
Raw data (loadavg): 1.10 1.02 0.93 2/63 30126
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 69751 68 0 0 19 0 10 0 543396697 853577728 24978 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208393 24978 13073 16 0 208377 0
vsize: 833572
[startup+770.276 s]
Raw data (loadavg): 1.08 1.02 0.93 2/63 30126
Raw data (stat): 30064 (java) S 30063 26298 26297 0 -1 0 18002 0 1 0 70647 68 0 0 23 0 10 0 543396697 853577728 25004 4294967295 134512640 134569956 3221224400 3221213792 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208393 25004 13073 16 0 208377 0
vsize: 833572
[startup+780.29 s]
Raw data (loadavg): 1.07 1.02 0.93 2/63 30126
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 71543 68 0 0 21 0 10 0 543396697 853577728 25032 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208393 25032 13073 16 0 208377 0
vsize: 833572
[startup+790.29 s]
Raw data (loadavg): 1.06 1.01 0.93 2/63 30126
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 72434 68 0 0 18 0 10 0 543396697 853577728 25059 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208393 25059 13073 16 0 208377 0
vsize: 833572
[startup+800.292 s]
Raw data (loadavg): 1.05 1.01 0.93 2/63 30126
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 73332 68 0 0 21 0 10 0 543396697 853577728 25085 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208393 25085 13073 16 0 208377 0
vsize: 833572
[startup+810.292 s]
Raw data (loadavg): 1.04 1.01 0.93 2/63 30128
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 74223 68 0 0 18 0 10 0 543396697 853577728 25117 4294967295 134512640 134569956 3221224400 3221214296 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208393 25117 13073 16 0 208377 0
vsize: 833572
[startup+820.294 s]
Raw data (loadavg): 1.04 1.01 0.93 2/63 30128
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 75120 69 0 0 22 0 10 0 543396697 853577728 25142 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208393 25142 13073 16 0 208377 0
vsize: 833572
[startup+830.295 s]
Raw data (loadavg): 1.03 1.01 0.93 2/63 30128
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 76009 69 0 0 19 0 10 0 543396697 853577728 25180 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208393 25180 13073 16 0 208377 0
vsize: 833572
[startup+840.296 s]
Raw data (loadavg): 1.02 1.01 0.93 2/63 30128
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 76905 69 0 0 22 0 10 0 543396697 853577728 25205 4294967295 134512640 134569956 3221224400 3221214296 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208393 25205 13073 16 0 208377 0
vsize: 833572
[startup+850.298 s]
Raw data (loadavg): 1.02 1.01 0.93 2/63 30128
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 77794 69 0 0 20 0 10 0 543396697 853577728 25239 4294967295 134512640 134569956 3221224400 3221214296 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208393 25239 13073 16 0 208377 0
vsize: 833572
[startup+860.302 s]
Raw data (loadavg): 1.02 1.01 0.93 3/63 30128
Raw data (stat): 30064 (java) S 30063 26298 26297 0 -1 0 18002 0 1 0 78686 69 0 0 23 0 10 0 543396697 853577728 25264 4294967295 134512640 134569956 3221224400 3221213788 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208393 25264 13073 16 0 208377 0
vsize: 833572
[startup+870.302 s]
Raw data (loadavg): 1.01 1.01 0.93 2/63 30128
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 79577 69 0 0 20 0 10 0 543396697 853577728 25302 4294967295 134512640 134569956 3221224400 3221214792 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208393 25302 13073 16 0 208377 0
vsize: 833572
[startup+880.307 s]
Raw data (loadavg): 1.01 1.01 0.93 2/63 30128
Raw data (stat): 30064 (java) S 30063 26298 26297 0 -1 0 18002 0 1 0 80469 69 0 0 22 0 10 0 543396697 853577728 25326 4294967295 134512640 134569956 3221224400 3221213792 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208393 25326 13073 16 0 208377 0
vsize: 833572
[startup+890.309 s]
Raw data (loadavg): 1.01 1.00 0.93 2/63 30128
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 81360 69 0 0 19 0 10 0 543396697 853577728 25362 4294967295 134512640 134569956 3221224400 3221214296 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208393 25362 13073 16 0 208377 0
vsize: 833572
[startup+900.313 s]
Raw data (loadavg): 1.01 1.00 0.93 2/63 30128
Raw data (stat): 30064 (java) S 30063 26298 26297 0 -1 0 18002 0 1 0 82250 69 0 0 22 0 10 0 543396697 853577728 25386 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208393 25386 13073 16 0 208377 0
vsize: 833572
[startup+910.313 s]
Raw data (loadavg): 1.01 1.00 0.93 2/63 30128
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 83141 69 0 0 20 0 10 0 543396697 853577728 25419 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208393 25419 13073 16 0 208377 0
vsize: 833572
[startup+920.316 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30128
Raw data (stat): 30064 (java) S 30063 26298 26297 0 -1 0 18002 0 1 0 84033 69 0 0 22 0 10 0 543396697 853577728 25448 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208393 25448 13073 16 0 208377 0
vsize: 833572
[startup+930.316 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30128
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 84920 70 0 0 19 0 10 0 543396697 853577728 25473 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208393 25473 13073 16 0 208377 0
vsize: 833572
[startup+940.316 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30128
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 85813 70 0 0 22 0 10 0 543396697 853577728 25497 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 25497 13073 16 0 208377 0
vsize: 833572
[startup+950.317 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30128
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 86698 70 0 0 19 0 10 0 543396697 853577728 25522 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208393 25522 13073 16 0 208377 0
vsize: 833572
[startup+960.318 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30128
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 87589 70 0 0 21 0 10 0 543396697 853577728 25564 4294967295 134512640 134569956 3221224400 3221214552 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208393 25564 13073 16 0 208377 0
vsize: 833572
[startup+970.318 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30128
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 88474 70 0 0 17 0 10 0 543396697 853577728 25597 4294967295 134512640 134569956 3221224400 3221214552 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208393 25597 13073 16 0 208377 0
vsize: 833572
[startup+980.32 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30128
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 89366 70 0 0 20 0 10 0 543396697 853577728 25621 4294967295 134512640 134569956 3221224400 3221214296 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208393 25621 13073 16 0 208377 0
vsize: 833572
[startup+990.321 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30128
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 90250 70 0 0 17 0 10 0 543396697 853577728 25644 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208393 25644 13073 16 0 208377 0
vsize: 833572
[startup+1000.32 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30128
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 91142 70 0 0 21 0 10 0 543396697 853577728 25687 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208393 25687 13073 16 0 208377 0
vsize: 833572
[startup+1010.32 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30128
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 92028 70 0 0 17 0 10 0 543396697 853577728 25702 4294967295 134512640 134569956 3221224400 3221214296 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208393 25702 13073 16 0 208377 0
vsize: 833572
[startup+1020.32 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30128
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 92918 70 0 0 20 0 10 0 543396697 853577728 25756 4294967295 134512640 134569956 3221224400 3221214552 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208393 25756 13073 16 0 208377 0
vsize: 833572
[startup+1030.32 s]
Raw data (loadavg): 1.08 1.02 0.93 2/63 30128
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 93808 70 0 0 18 0 10 0 543396697 853577728 25783 4294967295 134512640 134569956 3221224400 3221213856 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208393 25783 13073 16 0 208377 0
vsize: 833572
[startup+1040.32 s]
Raw data (loadavg): 1.07 1.02 0.93 2/63 30128
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 94707 71 0 0 19 0 10 0 543396697 853577728 25811 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 25811 13073 16 0 208377 0
vsize: 833572
[startup+1050.33 s]
Raw data (loadavg): 1.06 1.01 0.93 2/63 30128
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 95608 71 0 0 23 0 10 0 543396697 853577728 25836 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 25836 13073 16 0 208377 0
vsize: 833572
[startup+1060.33 s]
Raw data (loadavg): 1.05 1.01 0.93 2/63 30128
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 96503 71 0 0 20 0 10 0 543396697 853577728 25861 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 25861 13073 16 0 208377 0
vsize: 833572
[startup+1070.33 s]
Raw data (loadavg): 1.04 1.01 0.93 2/63 30128
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 97405 71 0 0 23 0 10 0 543396697 853577728 25889 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208393 25889 13073 16 0 208377 0
vsize: 833572
[startup+1080.33 s]
Raw data (loadavg): 1.03 1.01 0.93 2/63 30128
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 98302 72 0 0 21 0 10 0 543396697 853577728 25904 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 25904 13073 16 0 208377 0
vsize: 833572
[startup+1090.33 s]
Raw data (loadavg): 1.03 1.01 0.93 2/63 30130
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 99197 72 0 0 22 0 10 0 543396697 853577728 25904 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 25904 13073 16 0 208377 0
vsize: 833572
[startup+1100.33 s]
Raw data (loadavg): 1.02 1.01 0.93 2/63 30130
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 100080 73 0 0 18 0 10 0 543396697 853577728 25988 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 25988 13073 16 0 208377 0
vsize: 833572
[startup+1110.33 s]
Raw data (loadavg): 1.02 1.01 0.93 2/63 30130
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 100981 73 0 0 22 0 10 0 543396697 853577728 26007 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 26007 13073 16 0 208377 0
vsize: 833572
[startup+1120.33 s]
Raw data (loadavg): 1.02 1.01 0.93 2/63 30130
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 101877 74 0 0 19 0 10 0 543396697 853577728 26027 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 26027 13073 16 0 208377 0
vsize: 833572
[startup+1130.33 s]
Raw data (loadavg): 1.01 1.01 0.93 2/63 30130
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 102778 74 0 0 20 0 10 0 543396697 853577728 26039 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 26039 13073 16 0 208377 0
vsize: 833572
[startup+1140.33 s]
Raw data (loadavg): 1.01 1.01 0.93 2/63 30130
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 103674 74 0 0 23 0 10 0 543396697 853577728 26076 4294967295 134512640 134569956 3221224400 3221214400 1076619332 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 26076 13073 16 0 208377 0
vsize: 833572
[startup+1150.33 s]
Raw data (loadavg): 1.01 1.00 0.93 2/63 30130
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 104568 75 0 0 19 0 10 0 543396697 853577728 26083 4294967295 134512640 134569956 3221224400 3221214296 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 26083 13073 16 0 208377 0
vsize: 833572
[startup+1160.33 s]
Raw data (loadavg): 1.01 1.00 0.93 2/63 30130
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 105463 75 0 0 22 0 10 0 543396697 853577728 26114 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 26114 13073 16 0 208377 0
vsize: 833572
[startup+1170.33 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30130
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 106357 76 0 0 19 0 10 0 543396697 853577728 26138 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 26138 13073 16 0 208377 0
vsize: 833572
[startup+1180.33 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30130
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 107258 76 0 0 21 0 10 0 543396697 853577728 26153 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 26153 13073 16 0 208377 0
vsize: 833572
[startup+1190.33 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30130
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 108146 77 0 0 18 0 10 0 543396697 853577728 26175 4294967295 134512640 134569956 3221224400 3221214548 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 26175 13073 16 0 208377 0
vsize: 833572
[startup+1200.33 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30130
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 109046 77 0 0 21 0 10 0 543396697 853577728 26205 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 26205 13073 16 0 208377 0
vsize: 833572
[startup+1210.33 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30130
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 109938 78 0 0 18 0 10 0 543396697 853577728 26231 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 26231 13073 16 0 208377 0
vsize: 833572
[startup+1220.33 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30130
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 110838 78 0 0 21 0 10 0 543396697 853577728 26255 4294967295 134512640 134569956 3221224400 3221214552 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 26255 13073 16 0 208377 0
vsize: 833572
[startup+1230.34 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30130
Raw data (stat): 30064 (java) S 30063 26298 26297 0 -1 0 18002 0 1 0 111734 79 0 0 23 0 10 0 543396697 853577728 26279 4294967295 134512640 134569956 3221224400 3221213792 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 26279 13073 16 0 208377 0
vsize: 833572
[startup+1240.34 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30130
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 112634 79 0 0 20 0 10 0 543396697 853577728 26304 4294967295 134512640 134569956 3221224400 3221214820 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 26304 13073 16 0 208377 0
vsize: 833572
[startup+1250.34 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30130
Raw data (stat): 30064 (java) S 30063 26298 26297 0 -1 0 18002 0 1 0 113529 79 0 0 24 0 10 0 543396697 853577728 26325 4294967295 134512640 134569956 3221224400 3221213788 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 26325 13073 16 0 208377 0
vsize: 833572
[startup+1260.34 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30130
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 114428 79 0 0 21 0 10 0 543396697 853577728 26356 4294967295 134512640 134569956 3221224400 3221214548 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 26356 13073 16 0 208377 0
vsize: 833572
[startup+1270.34 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30130
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 115321 80 0 0 18 0 10 0 543396697 853577728 26381 4294967295 134512640 134569956 3221224400 3221214828 1080204146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 26381 13073 16 0 208377 0
vsize: 833572
[startup+1280.34 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30130
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 116221 80 0 0 21 0 10 0 543396697 853577728 26402 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 26402 13073 16 0 208377 0
vsize: 833572
[startup+1290.34 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30130
Raw data (stat): 30064 (java) S 30063 26298 26297 0 -1 0 18002 0 1 0 117114 80 0 0 23 0 10 0 543396697 853577728 26423 4294967295 134512640 134569956 3221224400 3221213792 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 26423 13073 16 0 208377 0
vsize: 833572
[startup+1300.34 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30130
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 118012 80 0 0 19 0 10 0 543396697 853577728 26444 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 26444 13073 16 0 208377 0
vsize: 833572
[startup+1310.34 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30130
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 118911 80 0 0 22 0 10 0 543396697 853577728 26477 4294967295 134512640 134569956 3221224400 3221214296 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 26477 13073 16 0 208377 0
vsize: 833572
[startup+1320.34 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30130
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 119801 81 0 0 19 0 10 0 543396697 853577728 26502 4294967295 134512640 134569956 3221224400 3221214828 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 26502 13073 16 0 208377 0
vsize: 833572
[startup+1330.34 s]
Raw data (loadavg): 1.00 1.00 0.93 2/63 30130
Raw data (stat): 30064 (java) R 30063 26298 26297 0 -1 0 18002 0 1 0 120698 81 0 0 21 0 10 0 543396697 853577728 26526 4294967295 134512640 134569956 3221224400 3221214432 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208393 26526 13073 16 0 208377 0
vsize: 833572
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1330.47 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 30131
Raw data (stat): 30064 (java) Z 30063 26298 26297 0 -1 1036 18002 9234 1 0 120702 86 12530 50 20 0 1 0 543396697 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): 1330.47
CPU time (s): 1333.7
CPU user time (s): 1332.33
CPU system time (s): 1.37379
CPU usage (%): 100.243
Max. virtual memory (Kb): 834336
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####