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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-etamacro.opb
MD5SUM	f21790975377e0e8ad4411581000a671
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	1442
Biggest coefficient in the objective function	25807666597068800000
Number of bits for the biggest coefficient in the objective function	65
Sum of the numbers in the objective function	217111455784720203776
Number of bits of the sum of numbers in the objective function	68
Biggest number in a constraint	25807666597068800000
Number of bits of the biggest number in a constraint	65
Biggest sum of numbers in a constraint	217111455784720203776
Number of bits of the biggest sum of numbers	68
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.530919
Number of variables	15742
Total number of constraints	535
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	535
Minimum length of a constraint	10
Maximum length of a constraint	522
Trace number 17515

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        777268 kB
Buffers:         17808 kB
Cached:         210672 kB
SwapCached:          0 kB
Active:          60328 kB
Inactive:       170980 kB
HighTotal:      131008 kB
HighFree:        17304 kB
LowTotal:       903652 kB
LowFree:        759964 kB
SwapTotal:     2097892 kB
SwapFree:      2097824 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6800 kB
Slab:            20472 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 10:45:30 (client local time) WITH STATUS 143 IN 1217.66 SECONDS
stats: 10747 7 1217.66 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-etamacro.opb
c reading problem 
c [nbvar=15742]
c [nbconstr=535]
c time 81.13
c #vars     15742
c #clauses  760
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.85 0.97 0.93 2/54 18796
Raw data (stat): 18796 (runsolver) R 18795 11931 11930 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 544338141 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+9.99999 s]
Raw data (loadavg): 1.10 1.02 0.95 2/63 18805
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18000 0 1 0 854 39 0 0 25 0 10 0 544338141 855470080 19845 4294967295 134512640 134569956 3221224400 3221214692 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208855 19845 13073 16 0 208839 0
vsize: 835420
[startup+20.0012 s]
Raw data (loadavg): 1.08 1.02 0.95 2/63 18805
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18001 0 1 0 1747 39 0 0 25 0 10 0 544338141 855470080 20316 4294967295 134512640 134569956 3221224400 3221214468 1076461328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208855 20316 13073 16 0 208839 0
vsize: 835420
[startup+30.002 s]
Raw data (loadavg): 1.07 1.01 0.95 2/63 18805
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18001 0 1 0 2617 40 0 0 25 0 10 0 544338141 855470080 20832 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208855 20832 13073 16 0 208839 0
vsize: 835420
[startup+40.0024 s]
Raw data (loadavg): 1.06 1.01 0.95 2/63 18805
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18001 0 1 0 3528 41 0 0 25 0 10 0 544338141 855470080 21150 4294967295 134512640 134569956 3221224400 3221214700 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208855 21150 13073 16 0 208839 0
vsize: 835420
[startup+50.1052 s]
Raw data (loadavg): 1.13 1.03 0.95 2/63 18805
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18001 0 1 0 4448 41 0 0 25 0 10 0 544338141 855470080 21419 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208855 21419 13073 16 0 208839 0
vsize: 835420
[startup+60.1054 s]
Raw data (loadavg): 1.11 1.03 0.95 2/63 18805
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18001 0 1 0 5317 41 0 0 25 0 10 0 544338141 855470080 21869 4294967295 134512640 134569956 3221224400 3221214820 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208855 21869 13073 16 0 208839 0
vsize: 835420
[startup+70.1058 s]
Raw data (loadavg): 1.09 1.03 0.95 2/63 18805
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18001 0 1 0 6175 42 0 0 25 0 10 0 544338141 855470080 22138 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208855 22138 13073 16 0 208839 0
vsize: 835420
[startup+80.1102 s]
Raw data (loadavg): 1.08 1.03 0.95 2/63 18805
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18001 0 1 0 7042 43 0 0 25 0 10 0 544338141 855470080 22652 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208855 22652 13073 16 0 208839 0
vsize: 835420
[startup+90.1108 s]
Raw data (loadavg): 1.22 1.06 0.96 3/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18073 0 1 0 7824 43 0 0 25 0 11 0 544338141 865419264 25029 4294967295 134512640 134569956 3221224400 3221214664 1131386587 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 25029 13073 16 0 211268 0
vsize: 845136
[startup+100.111 s]
Raw data (loadavg): 1.26 1.07 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18073 0 1 0 8804 43 0 0 25 0 11 0 544338141 866631680 25369 4294967295 134512640 134569956 3221224400 3221214656 1131352572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211580 25369 13073 16 0 211564 0
vsize: 846320
[startup+110.112 s]
Raw data (loadavg): 1.22 1.07 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18074 0 1 0 9776 43 0 0 25 0 11 0 544338141 866500608 25387 4294967295 134512640 134569956 3221224400 3221214792 1131360237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211548 25387 13073 16 0 211532 0
vsize: 846192
[startup+120.117 s]
Raw data (loadavg): 1.19 1.07 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18074 0 1 0 10758 43 0 0 25 0 11 0 544338141 865419264 25163 4294967295 134512640 134569956 3221224400 3221214752 1131652560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 25163 13073 16 0 211268 0
vsize: 845136
[startup+130.116 s]
Raw data (loadavg): 1.16 1.06 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18074 0 1 0 11732 44 0 0 25 0 11 0 544338141 865419264 25206 4294967295 134512640 134569956 3221224400 3221214752 1131652570 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 25206 13073 16 0 211268 0
vsize: 845136
[startup+140.117 s]
Raw data (loadavg): 1.13 1.06 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18074 0 1 0 12707 44 0 0 25 0 11 0 544338141 865419264 25231 4294967295 134512640 134569956 3221224400 3221214564 1131395174 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 25231 13073 16 0 211268 0
vsize: 845136
[startup+150.118 s]
Raw data (loadavg): 1.11 1.06 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18074 0 1 0 13690 44 0 0 25 0 11 0 544338141 865419264 25248 4294967295 134512640 134569956 3221224400 3221214680 1131273847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 25248 13073 16 0 211268 0
vsize: 845136
[startup+160.118 s]
Raw data (loadavg): 1.10 1.06 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18074 0 1 0 14665 44 0 0 25 0 11 0 544338141 865419264 25313 4294967295 134512640 134569956 3221224400 3221214464 1131528388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 25313 13073 16 0 211268 0
vsize: 845136
[startup+170.118 s]
Raw data (loadavg): 1.08 1.05 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18074 0 1 0 15650 44 0 0 25 0 11 0 544338141 865419264 25338 4294967295 134512640 134569956 3221224400 3221214536 1131469443 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211284 25338 13073 16 0 211268 0
vsize: 845136
[startup+180.118 s]
Raw data (loadavg): 1.07 1.05 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18074 0 1 0 16631 44 0 0 25 0 11 0 544338141 865419264 25369 4294967295 134512640 134569956 3221224400 3221214800 1131428715 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 25369 13073 16 0 211268 0
vsize: 845136
[startup+190.121 s]
Raw data (loadavg): 1.14 1.07 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 17610 44 0 0 25 0 11 0 544338141 865419264 25559 4294967295 134512640 134569956 3221224400 3221214576 1131425892 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 25559 13073 16 0 211268 0
vsize: 845136
[startup+200.122 s]
Raw data (loadavg): 1.11 1.06 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 18594 44 0 0 25 0 11 0 544338141 865419264 25606 4294967295 134512640 134569956 3221224400 3221214532 1131529404 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 25606 13073 16 0 211268 0
vsize: 845136
[startup+210.125 s]
Raw data (loadavg): 1.10 1.06 0.97 2/64 18806
Raw data (stat): 18796 (java) S 18795 11931 11930 0 -1 0 18075 0 1 0 19581 44 0 0 25 0 11 0 544338141 865419264 25865 4294967295 134512640 134569956 3221224400 3221213240 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 25865 13073 16 0 211268 0
vsize: 845136
[startup+220.127 s]
Raw data (loadavg): 1.08 1.06 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 20573 44 0 0 25 0 11 0 544338141 865419264 25955 4294967295 134512640 134569956 3221224400 3221214576 1131425227 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 25955 13073 16 0 211268 0
vsize: 845136
[startup+230.127 s]
Raw data (loadavg): 1.07 1.06 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 21565 44 0 0 25 0 11 0 544338141 865419264 25995 4294967295 134512640 134569956 3221224400 3221214328 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 25995 13073 16 0 211268 0
vsize: 845136
[startup+240.127 s]
Raw data (loadavg): 1.06 1.05 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 22557 44 0 0 25 0 11 0 544338141 865419264 26030 4294967295 134512640 134569956 3221224400 3221214576 1131425797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26030 13073 16 0 211268 0
vsize: 845136
[startup+250.128 s]
Raw data (loadavg): 1.05 1.05 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 23550 44 0 0 25 0 11 0 544338141 865419264 26070 4294967295 134512640 134569956 3221224400 3221214328 1080217322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26070 13073 16 0 211268 0
vsize: 845136
[startup+260.128 s]
Raw data (loadavg): 1.04 1.05 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 24543 44 0 0 25 0 11 0 544338141 865419264 26108 4294967295 134512640 134569956 3221224400 3221214480 1131456065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26108 13073 16 0 211268 0
vsize: 845136
[startup+270.128 s]
Raw data (loadavg): 1.03 1.05 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 25536 44 0 0 25 0 11 0 544338141 865419264 26128 4294967295 134512640 134569956 3221224400 3221214464 1131529061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26128 13073 16 0 211268 0
vsize: 845136
[startup+280.128 s]
Raw data (loadavg): 1.03 1.05 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 26529 44 0 0 25 0 11 0 544338141 865419264 26144 4294967295 134512640 134569956 3221224400 3221214536 1131468141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26144 13073 16 0 211268 0
vsize: 845136
[startup+290.129 s]
Raw data (loadavg): 1.02 1.04 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 27524 44 0 0 25 0 11 0 544338141 865419264 26153 4294967295 134512640 134569956 3221224400 3221214464 1131528304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26153 13073 16 0 211268 0
vsize: 845136
[startup+300.128 s]
Raw data (loadavg): 1.02 1.04 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 28517 44 0 0 25 0 11 0 544338141 865419264 26201 4294967295 134512640 134569956 3221224400 3221214576 1131425833 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26201 13073 16 0 211268 0
vsize: 845136
[startup+310.129 s]
Raw data (loadavg): 1.02 1.04 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 29511 44 0 0 25 0 11 0 544338141 865419264 26229 4294967295 134512640 134569956 3221224400 3221214504 1131399184 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26229 13073 16 0 211268 0
vsize: 845136
[startup+320.13 s]
Raw data (loadavg): 1.01 1.04 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 30508 44 0 0 25 0 11 0 544338141 865419264 26244 4294967295 134512640 134569956 3221224400 3221214484 1079721495 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26244 13073 16 0 211268 0
vsize: 845136
[startup+330.13 s]
Raw data (loadavg): 1.01 1.04 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 31504 44 0 0 25 0 11 0 544338141 865419264 26255 4294967295 134512640 134569956 3221224400 3221214500 1079721462 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26255 13073 16 0 211268 0
vsize: 845136
[startup+340.13 s]
Raw data (loadavg): 1.01 1.03 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 32498 45 0 0 25 0 11 0 544338141 865419264 26286 4294967295 134512640 134569956 3221224400 3221214536 1131469760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26286 13073 16 0 211268 0
vsize: 845136
[startup+350.131 s]
Raw data (loadavg): 1.01 1.03 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 33495 45 0 0 25 0 11 0 544338141 865419264 26303 4294967295 134512640 134569956 3221224400 3221214752 1131652570 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26303 13073 16 0 211268 0
vsize: 845136
[startup+360.13 s]
Raw data (loadavg): 1.00 1.03 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 34490 45 0 0 25 0 11 0 544338141 865419264 26330 4294967295 134512640 134569956 3221224400 3221214516 1079721456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26330 13073 16 0 211268 0
vsize: 845136
[startup+370.13 s]
Raw data (loadavg): 1.00 1.03 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 35489 45 0 0 25 0 11 0 544338141 865419264 26340 4294967295 134512640 134569956 3221224400 3221214392 1080217093 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26340 13073 16 0 211268 0
vsize: 845136
[startup+380.13 s]
Raw data (loadavg): 1.00 1.03 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 36484 45 0 0 25 0 11 0 544338141 865419264 26372 4294967295 134512640 134569956 3221224400 3221214464 1131528583 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26372 13073 16 0 211268 0
vsize: 845136
[startup+390.131 s]
Raw data (loadavg): 1.00 1.03 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 37481 45 0 0 25 0 11 0 544338141 865419264 26388 4294967295 134512640 134569956 3221224400 3221214536 1131468661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26388 13073 16 0 211268 0
vsize: 845136
[startup+400.132 s]
Raw data (loadavg): 1.00 1.03 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 38479 45 0 0 25 0 11 0 544338141 865419264 26402 4294967295 134512640 134569956 3221224400 3221214480 1079721529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26402 13073 16 0 211268 0
vsize: 845136
[startup+410.132 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 39477 45 0 0 25 0 11 0 544338141 865419264 26415 4294967295 134512640 134569956 3221224400 3221214536 1131469753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26415 13073 16 0 211268 0
vsize: 845136
[startup+420.132 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 40473 45 0 0 25 0 11 0 544338141 865419264 26434 4294967295 134512640 134569956 3221224400 3221214360 1131212884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26434 13073 16 0 211268 0
vsize: 845136
[startup+430.133 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 41470 45 0 0 25 0 11 0 544338141 865419264 26451 4294967295 134512640 134569956 3221224400 3221214536 1131469753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26451 13073 16 0 211268 0
vsize: 845136
[startup+440.133 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 42465 45 0 0 25 0 11 0 544338141 865419264 26463 4294967295 134512640 134569956 3221224400 3221214536 1131469771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26463 13073 16 0 211268 0
vsize: 845136
[startup+450.134 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 43461 45 0 0 25 0 11 0 544338141 865419264 26470 4294967295 134512640 134569956 3221224400 3221214504 1131399207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26470 13073 16 0 211268 0
vsize: 845136
[startup+460.134 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 44458 45 0 0 25 0 11 0 544338141 865419264 26474 4294967295 134512640 134569956 3221224400 3221214696 1131438733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26474 13073 16 0 211268 0
vsize: 845136
[startup+470.135 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 45455 45 0 0 25 0 11 0 544338141 865419264 26484 4294967295 134512640 134569956 3221224400 3221214464 1131528349 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211284 26484 13073 16 0 211268 0
vsize: 845136
[startup+480.135 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 46449 46 0 0 25 0 11 0 544338141 865419264 26489 4294967295 134512640 134569956 3221224400 3221214464 1131528449 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26489 13073 16 0 211268 0
vsize: 845136
[startup+490.136 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 47445 46 0 0 25 0 11 0 544338141 865419264 26494 4294967295 134512640 134569956 3221224400 3221214464 1131528561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26494 13073 16 0 211268 0
vsize: 845136
[startup+500.136 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 48441 46 0 0 25 0 11 0 544338141 865419264 26501 4294967295 134512640 134569956 3221224400 3221214504 1131442521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26501 13073 16 0 211268 0
vsize: 845136
[startup+510.136 s]
Raw data (loadavg): 1.00 1.02 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 49435 46 0 0 25 0 11 0 544338141 865419264 26504 4294967295 134512640 134569956 3221224400 3221214576 1131425036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26504 13073 16 0 211268 0
vsize: 845136
[startup+520.136 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 50432 46 0 0 25 0 11 0 544338141 865419264 26509 4294967295 134512640 134569956 3221224400 3221214536 1131469827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26509 13073 16 0 211268 0
vsize: 845136
[startup+530.136 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 51427 46 0 0 25 0 11 0 544338141 865419264 26517 4294967295 134512640 134569956 3221224400 3221214536 1131469877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26517 13073 16 0 211268 0
vsize: 845136
[startup+540.137 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 52423 46 0 0 25 0 11 0 544338141 865419264 26552 4294967295 134512640 134569956 3221224400 3221214328 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26552 13073 16 0 211268 0
vsize: 845136
[startup+550.138 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 53419 46 0 0 25 0 11 0 544338141 865419264 26592 4294967295 134512640 134569956 3221224400 3221214688 1131551879 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26592 13073 16 0 211268 0
vsize: 845136
[startup+560.138 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 54416 46 0 0 25 0 11 0 544338141 865419264 26607 4294967295 134512640 134569956 3221224400 3221214464 1131528718 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26607 13073 16 0 211268 0
vsize: 845136
[startup+570.144 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 55411 46 0 0 25 0 11 0 544338141 865419264 26623 4294967295 134512640 134569956 3221224400 3221214648 1131290286 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26623 13073 16 0 211268 0
vsize: 845136
[startup+580.247 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 56416 46 0 0 25 0 11 0 544338141 865419264 26637 4294967295 134512640 134569956 3221224400 3221214296 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26637 13073 16 0 211268 0
vsize: 845136
[startup+590.248 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 57411 46 0 0 25 0 11 0 544338141 865419264 26650 4294967295 134512640 134569956 3221224400 3221214468 1079721462 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26650 13073 16 0 211268 0
vsize: 845136
[startup+600.248 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 58405 46 0 0 25 0 11 0 544338141 865419264 26658 4294967295 134512640 134569956 3221224400 3221214360 1080217338 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26658 13073 16 0 211268 0
vsize: 845136
[startup+610.249 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 59400 46 0 0 25 0 11 0 544338141 865419264 26668 4294967295 134512640 134569956 3221224400 3221214484 1079721456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26668 13073 16 0 211268 0
vsize: 845136
[startup+620.249 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 60392 46 0 0 25 0 11 0 544338141 865419264 26685 4294967295 134512640 134569956 3221224400 3221214832 1131374135 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26685 13073 16 0 211268 0
vsize: 845136
[startup+630.25 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 61384 46 0 0 25 0 11 0 544338141 865419264 26702 4294967295 134512640 134569956 3221224400 3221214728 1131436453 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26702 13073 16 0 211268 0
vsize: 845136
[startup+640.252 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 62379 46 0 0 25 0 11 0 544338141 865419264 26709 4294967295 134512640 134569956 3221224400 3221214616 1131455906 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26709 13073 16 0 211268 0
vsize: 845136
[startup+650.259 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 63372 46 0 0 25 0 11 0 544338141 865419264 26720 4294967295 134512640 134569956 3221224400 3221214832 1131374132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26720 13073 16 0 211268 0
vsize: 845136
[startup+660.258 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 64367 46 0 0 25 0 11 0 544338141 865419264 26725 4294967295 134512640 134569956 3221224400 3221214464 1131528414 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26725 13073 16 0 211268 0
vsize: 845136
[startup+670.26 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 65358 47 0 0 25 0 11 0 544338141 865419264 26739 4294967295 134512640 134569956 3221224400 3221214464 1131528236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26739 13073 16 0 211268 0
vsize: 845136
[startup+680.26 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 66350 47 0 0 25 0 11 0 544338141 865419264 26787 4294967295 134512640 134569956 3221224400 3221214576 1131425503 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26787 13073 16 0 211268 0
vsize: 845136
[startup+690.26 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 67343 47 0 0 25 0 11 0 544338141 865419264 26823 4294967295 134512640 134569956 3221224400 3221214464 1131528571 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26823 13073 16 0 211268 0
vsize: 845136
[startup+700.26 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 68339 47 0 0 25 0 11 0 544338141 865419264 26835 4294967295 134512640 134569956 3221224400 3221214464 1131528129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26835 13073 16 0 211268 0
vsize: 845136
[startup+710.26 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 69332 47 0 0 25 0 11 0 544338141 865419264 26858 4294967295 134512640 134569956 3221224400 3221214680 1131273843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26858 13073 16 0 211268 0
vsize: 845136
[startup+720.26 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 70325 47 0 0 25 0 11 0 544338141 865419264 26973 4294967295 134512640 134569956 3221224400 3221214536 1131469342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 26973 13073 16 0 211268 0
vsize: 845136
[startup+730.261 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 71321 47 0 0 19 0 11 0 544338141 865419264 27006 4294967295 134512640 134569956 3221224400 3221214464 1131528406 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27006 13073 16 0 211268 0
vsize: 845136
[startup+740.261 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 72318 47 0 0 25 0 11 0 544338141 865419264 27017 4294967295 134512640 134569956 3221224400 3221214488 1131559450 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27017 13073 16 0 211268 0
vsize: 845136
[startup+750.262 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 73314 47 0 0 25 0 11 0 544338141 865419264 27033 4294967295 134512640 134569956 3221224400 3221214524 1131469428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27033 13073 16 0 211268 0
vsize: 845136
[startup+760.262 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 74311 47 0 0 24 0 11 0 544338141 865419264 27050 4294967295 134512640 134569956 3221224400 3221214664 1131534513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27050 13073 16 0 211268 0
vsize: 845136
[startup+770.263 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 75308 47 0 0 25 0 11 0 544338141 865419264 27061 4294967295 134512640 134569956 3221224400 3221214464 1131528747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27061 13073 16 0 211268 0
vsize: 845136
[startup+780.263 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 76303 47 0 0 25 0 11 0 544338141 865419264 27071 4294967295 134512640 134569956 3221224400 3221214680 1131273685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27071 13073 16 0 211268 0
vsize: 845136
[startup+790.265 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 77297 47 0 0 25 0 11 0 544338141 865419264 27092 4294967295 134512640 134569956 3221224400 3221214464 1131528585 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27092 13073 16 0 211268 0
vsize: 845136
[startup+800.265 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 78292 47 0 0 25 0 11 0 544338141 865419264 27112 4294967295 134512640 134569956 3221224400 3221214660 1131301619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27112 13073 16 0 211268 0
vsize: 845136
[startup+810.265 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 79286 47 0 0 25 0 11 0 544338141 865419264 27120 4294967295 134512640 134569956 3221224400 3221214328 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27120 13073 16 0 211268 0
vsize: 845136
[startup+820.266 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 80281 47 0 0 25 0 11 0 544338141 865419264 27128 4294967295 134512640 134569956 3221224400 3221214832 1131374132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27128 13073 16 0 211268 0
vsize: 845136
[startup+830.265 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 81275 47 0 0 25 0 11 0 544338141 865419264 27142 4294967295 134512640 134569956 3221224400 3221214328 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27142 13073 16 0 211268 0
vsize: 845136
[startup+840.266 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 82269 47 0 0 25 0 11 0 544338141 865419264 27150 4294967295 134512640 134569956 3221224400 3221214752 1131652691 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27150 13073 16 0 211268 0
vsize: 845136
[startup+850.267 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 83265 47 0 0 25 0 11 0 544338141 865419264 27155 4294967295 134512640 134569956 3221224400 3221214648 1131387437 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27155 13073 16 0 211268 0
vsize: 845136
[startup+860.267 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 84257 48 0 0 25 0 11 0 544338141 865419264 27166 4294967295 134512640 134569956 3221224400 3221214788 1131451369 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27166 13073 16 0 211268 0
vsize: 845136
[startup+870.267 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 85249 48 0 0 25 0 11 0 544338141 865419264 27176 4294967295 134512640 134569956 3221224400 3221214880 1131608724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27176 13073 16 0 211268 0
vsize: 845136
[startup+880.268 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 86241 48 0 0 25 0 11 0 544338141 865419264 27196 4294967295 134512640 134569956 3221224400 3221214832 1131374124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27196 13073 16 0 211268 0
vsize: 845136
[startup+890.268 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 87232 48 0 0 25 0 11 0 544338141 865419264 27216 4294967295 134512640 134569956 3221224400 3221214832 1131374142 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27216 13073 16 0 211268 0
vsize: 845136
[startup+900.268 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 88225 48 0 0 25 0 11 0 544338141 865419264 27233 4294967295 134512640 134569956 3221224400 3221214464 1131528503 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27233 13073 16 0 211268 0
vsize: 845136
[startup+910.269 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 89215 48 0 0 25 0 11 0 544338141 865419264 27254 4294967295 134512640 134569956 3221224400 3221214384 1080217185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27254 13073 16 0 211268 0
vsize: 845136
[startup+920.281 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 90210 48 0 0 25 0 11 0 544338141 865419264 27266 4294967295 134512640 134569956 3221224400 3221214360 1080217364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27266 13073 16 0 211268 0
vsize: 845136
[startup+930.282 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 91201 48 0 0 25 0 11 0 544338141 865419264 27288 4294967295 134512640 134569956 3221224400 3221214536 1131469289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27288 13073 16 0 211268 0
vsize: 845136
[startup+940.282 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 92192 48 0 0 25 0 11 0 544338141 865419264 27305 4294967295 134512640 134569956 3221224400 3221214544 1131528911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27305 13073 16 0 211268 0
vsize: 845136
[startup+950.283 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 93185 48 0 0 25 0 11 0 544338141 865419264 27318 4294967295 134512640 134569956 3221224400 3221214536 1131469863 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27318 13073 16 0 211268 0
vsize: 845136
[startup+960.283 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 94179 48 0 0 25 0 11 0 544338141 865419264 27327 4294967295 134512640 134569956 3221224400 3221214464 1131528742 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27327 13073 16 0 211268 0
vsize: 845136
[startup+970.29 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 95174 48 0 0 25 0 11 0 544338141 865419264 27370 4294967295 134512640 134569956 3221224400 3221214328 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27370 13073 16 0 211268 0
vsize: 845136
[startup+980.299 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 96167 48 0 0 25 0 11 0 544338141 865419264 27398 4294967295 134512640 134569956 3221224400 3221214464 1131528660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27398 13073 16 0 211268 0
vsize: 845136
[startup+990.301 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 97162 48 0 0 25 0 11 0 544338141 865419264 27414 4294967295 134512640 134569956 3221224400 3221214464 1131528129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27414 13073 16 0 211268 0
vsize: 845136
[startup+1000.3 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 98158 48 0 0 25 0 11 0 544338141 865419264 27428 4294967295 134512640 134569956 3221224400 3221214544 1131399097 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211284 27428 13073 16 0 211268 0
vsize: 845136
[startup+1010.3 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 99153 48 0 0 25 0 11 0 544338141 865419264 27441 4294967295 134512640 134569956 3221224400 3221214536 1131469999 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27441 13073 16 0 211268 0
vsize: 845136
[startup+1020.3 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 100148 48 0 0 25 0 11 0 544338141 865419264 27457 4294967295 134512640 134569956 3221224400 3221214672 1131438827 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27457 13073 16 0 211268 0
vsize: 845136
[startup+1030.3 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 101144 48 0 0 25 0 11 0 544338141 865419264 27600 4294967295 134512640 134569956 3221224400 3221214392 1080216972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27600 13073 16 0 211268 0
vsize: 845136
[startup+1040.3 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 102142 48 0 0 25 0 11 0 544338141 865419264 27614 4294967295 134512640 134569956 3221224400 3221214716 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27614 13073 16 0 211268 0
vsize: 845136
[startup+1050.3 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 103140 48 0 0 25 0 11 0 544338141 865419264 27631 4294967295 134512640 134569956 3221224400 3221214536 1131468564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27631 13073 16 0 211268 0
vsize: 845136
[startup+1060.3 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 104137 48 0 0 25 0 11 0 544338141 865419264 27648 4294967295 134512640 134569956 3221224400 3221214360 1080217018 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27648 13073 16 0 211268 0
vsize: 845136
[startup+1070.3 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 105135 48 0 0 25 0 11 0 544338141 865419264 27660 4294967295 134512640 134569956 3221224400 3221214328 1080217322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27660 13073 16 0 211268 0
vsize: 845136
[startup+1080.3 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 106132 48 0 0 25 0 11 0 544338141 865419264 27677 4294967295 134512640 134569956 3221224400 3221214792 1131359518 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27677 13073 16 0 211268 0
vsize: 845136
[startup+1090.3 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 107128 48 0 0 25 0 11 0 544338141 865419264 27695 4294967295 134512640 134569956 3221224400 3221214504 1131559368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27695 13073 16 0 211268 0
vsize: 845136
[startup+1100.3 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 108125 48 0 0 25 0 11 0 544338141 865419264 27701 4294967295 134512640 134569956 3221224400 3221214464 1131528595 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27701 13073 16 0 211268 0
vsize: 845136
[startup+1110.3 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 109121 48 0 0 25 0 11 0 544338141 865419264 27704 4294967295 134512640 134569956 3221224400 3221214680 1131273640 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211284 27704 13073 16 0 211268 0
vsize: 845136
[startup+1120.3 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 110116 48 0 0 25 0 11 0 544338141 865419264 27717 4294967295 134512640 134569956 3221224400 3221214792 1131359543 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27717 13073 16 0 211268 0
vsize: 845136
[startup+1130.3 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 111110 48 0 0 25 0 11 0 544338141 865419264 27729 4294967295 134512640 134569956 3221224400 3221214752 1131652700 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27729 13073 16 0 211268 0
vsize: 845136
[startup+1140.3 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 112103 48 0 0 25 0 11 0 544338141 865419264 27739 4294967295 134512640 134569956 3221224400 3221214600 1131667089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27739 13073 16 0 211268 0
vsize: 845136
[startup+1150.31 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 113098 48 0 0 25 0 11 0 544338141 865419264 27739 4294967295 134512640 134569956 3221224400 3221214752 1131652570 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27739 13073 16 0 211268 0
vsize: 845136
[startup+1160.31 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 114089 48 0 0 25 0 11 0 544338141 865419264 27748 4294967295 134512640 134569956 3221224400 3221214536 1131469877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27748 13073 16 0 211268 0
vsize: 845136
[startup+1170.31 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 115080 48 0 0 25 0 11 0 544338141 865419264 27750 4294967295 134512640 134569956 3221224400 3221214448 1131563674 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27750 13073 16 0 211268 0
vsize: 845136
[startup+1180.31 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 116071 49 0 0 25 0 11 0 544338141 865419264 27751 4294967295 134512640 134569956 3221224400 3221214536 1131470047 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27751 13073 16 0 211268 0
vsize: 845136
[startup+1190.31 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 117061 49 0 0 25 0 11 0 544338141 865419264 27756 4294967295 134512640 134569956 3221224400 3221214504 1131559388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27756 13073 16 0 211268 0
vsize: 845136
[startup+1200.31 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) S 18795 11931 11930 0 -1 0 18075 0 1 0 118053 49 0 0 25 0 11 0 544338141 865419264 27780 4294967295 134512640 134569956 3221224400 3221213240 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27780 13073 16 0 211268 0
vsize: 845136
[startup+1210.31 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 119044 49 0 0 25 0 11 0 544338141 865419264 27812 4294967295 134512640 134569956 3221224400 3221214528 1131469427 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27812 13073 16 0 211268 0
vsize: 845136
[startup+1220.31 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 18806
Raw data (stat): 18796 (java) R 18795 11931 11930 0 -1 0 18075 0 1 0 120034 49 0 0 25 0 11 0 544338141 865419264 27821 4294967295 134512640 134569956 3221224400 3221214464 1131528431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211284 27821 13073 16 0 211268 0
vsize: 845136
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.38 s]
Raw data (loadavg): 1.00 1.00 0.97 1/54 18808
Raw data (stat): 18796 (java) Z 18795 11931 11930 0 -1 1036 18075 6720 1 0 120036 49 1661 18 25 0 1 0 544338141 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1220.38
CPU time (s): 1217.66
CPU user time (s): 1216.98
CPU system time (s): 0.676897
CPU usage (%): 99.7765
Max. virtual memory (Kb): 846320
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####