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/miplib/normalized-mps-v2-20-10-gen.opb
MD5SUM	860f839de61311f9d82ecee84a58294b
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	13134
Biggest coefficient in the objective function	3456331981783040
Number of bits for the biggest coefficient in the objective function	52
Sum of the numbers in the objective function	2106245048465744992
Number of bits of the sum of numbers in the objective function	61
Biggest number in a constraint	3456331981783040
Number of bits of the biggest number in a constraint	52
Biggest sum of numbers in a constraint	2106245048465744992
Number of bits of the biggest sum of numbers	61
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.167973
Number of variables	19038
Total number of constraints	1074
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	144
Number of constraints which are nor clauses,nor cardinality constraints	930
Minimum length of a constraint	1
Maximum length of a constraint	264
Trace number 22307

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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:        655428 kB
Buffers:         28744 kB
Cached:         328800 kB
SwapCached:        476 kB
Active:          31656 kB
Inactive:       328000 kB
HighTotal:      131008 kB
HighFree:        53760 kB
LowTotal:       903652 kB
LowFree:        601668 kB
SwapTotal:     2097136 kB
SwapFree:      2095888 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5276 kB
Slab:            13884 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-22 03:03:09 (client local time) WITH STATUS 143 IN 1256.43 SECONDS
stats: 11878 7 1256.43 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-gen.opb
c reading problem 
c [nbvar=19038]
c [nbconstr=1074]
c time 112.836
c #vars     19038
c #clauses  1081
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.64 0.89 0.93 1/54 11943
Raw data (stat): 11943 (runsolver) D 11942 25285 25284 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 491980756 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 0.69 0.89 0.93 2/63 11952
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 17998 0 1 0 865 42 0 0 25 0 10 0 491980756 853254144 19220 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208314 19220 13073 16 0 208298 0
vsize: 833256
[startup+20.0021 s]
Raw data (loadavg): 0.74 0.90 0.93 2/63 11952
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 17998 0 1 0 1757 43 0 0 24 0 10 0 491980756 854147072 19880 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208532 19880 13073 16 0 208516 0
vsize: 834128
[startup+30.0035 s]
Raw data (loadavg): 0.78 0.90 0.93 2/63 11952
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 17998 0 1 0 2654 43 0 0 25 0 10 0 491980756 854147072 20281 4294967295 134512640 134569956 3221224400 3221214288 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208532 20281 13073 16 0 208516 0
vsize: 834128
[startup+40.0033 s]
Raw data (loadavg): 0.81 0.90 0.93 2/63 11952
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 17998 0 1 0 3584 44 0 0 25 0 10 0 491980756 854147072 20527 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208532 20527 13073 16 0 208516 0
vsize: 834128
[startup+50.0047 s]
Raw data (loadavg): 0.84 0.91 0.93 2/63 11952
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 17998 0 1 0 4516 44 0 0 25 0 10 0 491980756 854147072 20660 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208532 20660 13073 16 0 208516 0
vsize: 834128
[startup+60.005 s]
Raw data (loadavg): 0.94 0.93 0.93 2/63 11952
Raw data (stat): 11943 (java) S 11942 25285 25284 0 -1 0 18022 0 1 0 5351 44 0 0 25 0 10 0 491980756 866492416 23831 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211546 23831 13073 16 0 211530 0
vsize: 846184
[startup+70.0064 s]
Raw data (loadavg): 0.95 0.93 0.93 2/63 11952
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18022 0 1 0 6241 45 0 0 25 0 10 0 491980756 862441472 23104 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210557 23104 13073 16 0 210541 0
vsize: 842228
[startup+80.008 s]
Raw data (loadavg): 0.96 0.93 0.93 2/63 11952
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18022 0 1 0 7152 45 0 0 25 0 10 0 491980756 862441472 23479 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210557 23479 13073 16 0 210541 0
vsize: 842228
[startup+90.0088 s]
Raw data (loadavg): 0.96 0.93 0.93 2/63 11952
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18022 0 1 0 8093 45 0 0 25 0 10 0 491980756 862441472 23579 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210557 23579 13073 16 0 210541 0
vsize: 842228
[startup+100.009 s]
Raw data (loadavg): 0.97 0.93 0.93 2/63 11952
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18022 0 1 0 9035 45 0 0 25 0 10 0 491980756 862441472 23663 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210557 23663 13073 16 0 210541 0
vsize: 842228
[startup+110.011 s]
Raw data (loadavg): 0.97 0.94 0.93 2/63 11952
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18022 0 1 0 9974 45 0 0 24 0 10 0 491980756 862441472 23746 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210557 23746 13073 16 0 210541 0
vsize: 842228
[startup+120.012 s]
Raw data (loadavg): 0.98 0.94 0.93 2/63 11952
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18044 0 1 0 10894 45 0 0 25 0 10 0 491980756 860672000 24880 4294967295 134512640 134569956 3221224400 3221214824 1131412408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210125 24880 13073 16 0 210109 0
vsize: 840500
[startup+130.012 s]
Raw data (loadavg): 0.98 0.94 0.93 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18050 0 1 0 11863 46 0 0 25 0 11 0 491980756 861200384 24894 4294967295 134512640 134569956 3221224400 3221214776 1131412191 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210254 24894 13073 16 0 210238 0
vsize: 841016
[startup+140.012 s]
Raw data (loadavg): 0.98 0.94 0.93 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18088 0 1 0 12818 46 0 0 25 0 11 0 491980756 861933568 25067 4294967295 134512640 134569956 3221224400 3221214680 1131275876 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210433 25067 13073 16 0 210417 0
vsize: 841732
[startup+150.015 s]
Raw data (loadavg): 1.06 0.96 0.94 3/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18090 0 1 0 13752 46 0 0 25 0 11 0 491980756 865980416 26274 4294967295 134512640 134569956 3221224400 3221214776 1131413528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211421 26274 13073 16 0 211405 0
vsize: 845684
[startup+160.015 s]
Raw data (loadavg): 1.05 0.96 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 14736 47 0 0 25 0 11 0 491980756 866353152 26378 4294967295 134512640 134569956 3221224400 3221214592 1131442864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211512 26378 13073 16 0 211496 0
vsize: 846048
[startup+170.02 s]
Raw data (loadavg): 1.04 0.96 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 15729 47 0 0 25 0 11 0 491980756 866353152 26378 4294967295 134512640 134569956 3221224400 3221214592 1131442995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211512 26378 13073 16 0 211496 0
vsize: 846048
[startup+180.021 s]
Raw data (loadavg): 1.03 0.96 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 16722 47 0 0 25 0 11 0 491980756 866353152 26379 4294967295 134512640 134569956 3221224400 3221214424 1080216962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 26379 13073 16 0 211496 0
vsize: 846048
[startup+190.022 s]
Raw data (loadavg): 1.03 0.96 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 17717 47 0 0 25 0 11 0 491980756 866353152 26379 4294967295 134512640 134569956 3221224400 3221214576 1131592930 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 26379 13073 16 0 211496 0
vsize: 846048
[startup+200.023 s]
Raw data (loadavg): 1.02 0.96 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 18708 48 0 0 25 0 11 0 491980756 866353152 26382 4294967295 134512640 134569956 3221224400 3221214592 1131442874 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 26382 13073 16 0 211496 0
vsize: 846048
[startup+210.024 s]
Raw data (loadavg): 1.02 0.96 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 19693 48 0 0 25 0 11 0 491980756 866353152 26384 4294967295 134512640 134569956 3221224400 3221214728 1131459347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 26384 13073 16 0 211496 0
vsize: 846048
[startup+220.025 s]
Raw data (loadavg): 1.02 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 20681 48 0 0 25 0 11 0 491980756 866353152 26386 4294967295 134512640 134569956 3221224400 3221214688 1131682265 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 26386 13073 16 0 211496 0
vsize: 846048
[startup+230.026 s]
Raw data (loadavg): 1.01 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 21647 49 0 0 25 0 11 0 491980756 866353152 26388 4294967295 134512640 134569956 3221224400 3221214680 1131276118 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 26388 13073 16 0 211496 0
vsize: 846048
[startup+240.026 s]
Raw data (loadavg): 1.01 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 22608 49 0 0 25 0 11 0 491980756 866353152 26444 4294967295 134512640 134569956 3221224400 3221214744 1131474231 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 26444 13073 16 0 211496 0
vsize: 846048
[startup+250.026 s]
Raw data (loadavg): 1.01 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 23566 49 0 0 25 0 11 0 491980756 866353152 26600 4294967295 134512640 134569956 3221224400 3221214728 1131458761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211512 26600 13073 16 0 211496 0
vsize: 846048
[startup+260.027 s]
Raw data (loadavg): 1.01 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 24524 49 0 0 25 0 11 0 491980756 866353152 26749 4294967295 134512640 134569956 3221224400 3221214680 1131275571 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 26749 13073 16 0 211496 0
vsize: 846048
[startup+270.028 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 25471 50 0 0 24 0 11 0 491980756 866353152 26923 4294967295 134512640 134569956 3221224400 3221214604 1131694035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 26923 13073 16 0 211496 0
vsize: 846048
[startup+280.028 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 26429 51 0 0 25 0 11 0 491980756 866353152 27112 4294967295 134512640 134569956 3221224400 3221214688 1131682397 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 27112 13073 16 0 211496 0
vsize: 846048
[startup+290.029 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 27392 51 0 0 25 0 11 0 491980756 866353152 27249 4294967295 134512640 134569956 3221224400 3221214688 1131682252 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 27249 13073 16 0 211496 0
vsize: 846048
[startup+300.029 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 28355 51 0 0 25 0 11 0 491980756 866353152 27346 4294967295 134512640 134569956 3221224400 3221214688 1131682278 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 27346 13073 16 0 211496 0
vsize: 846048
[startup+310.029 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 29319 51 0 0 25 0 11 0 491980756 866353152 27471 4294967295 134512640 134569956 3221224400 3221214688 1131682274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 27471 13073 16 0 211496 0
vsize: 846048
[startup+320.031 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 30283 52 0 0 25 0 11 0 491980756 866353152 27644 4294967295 134512640 134569956 3221224400 3221214680 1131275917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 27644 13073 16 0 211496 0
vsize: 846048
[startup+330.031 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 31250 52 0 0 25 0 11 0 491980756 866353152 27778 4294967295 134512640 134569956 3221224400 3221214352 1076461499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 27778 13073 16 0 211496 0
vsize: 846048
[startup+340.031 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 32217 52 0 0 25 0 11 0 491980756 866353152 27866 4294967295 134512640 134569956 3221224400 3221214688 1131682265 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211512 27866 13073 16 0 211496 0
vsize: 846048
[startup+350.033 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 33185 52 0 0 25 0 11 0 491980756 866353152 27961 4294967295 134512640 134569956 3221224400 3221214680 1131275639 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211512 27961 13073 16 0 211496 0
vsize: 846048
[startup+360.033 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 34136 52 0 0 25 0 11 0 491980756 866353152 28140 4294967295 134512640 134569956 3221224400 3221214344 1131716772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211512 28140 13073 16 0 211496 0
vsize: 846048
[startup+370.037 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) S 11942 25285 25284 0 -1 0 18091 0 1 0 35097 52 0 0 25 0 11 0 491980756 866353152 28306 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211512 28306 13073 16 0 211496 0
vsize: 846048
[startup+380.04 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 36060 52 0 0 25 0 11 0 491980756 866353152 28484 4294967295 134512640 134569956 3221224400 3221214728 1131460213 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211512 28484 13073 16 0 211496 0
vsize: 846048
[startup+390.039 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 37028 52 0 0 25 0 11 0 491980756 866353152 28671 4294967295 134512640 134569956 3221224400 3221214680 1131276410 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211512 28671 13073 16 0 211496 0
vsize: 846048
[startup+400.041 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 38000 52 0 0 25 0 11 0 491980756 866353152 28789 4294967295 134512640 134569956 3221224400 3221214680 1131276716 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211512 28789 13073 16 0 211496 0
vsize: 846048
[startup+410.042 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 38976 52 0 0 25 0 11 0 491980756 866353152 28836 4294967295 134512640 134569956 3221224400 3221214680 1131275902 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211512 28836 13073 16 0 211496 0
vsize: 846048
[startup+420.043 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 39945 52 0 0 25 0 11 0 491980756 866353152 28915 4294967295 134512640 134569956 3221224400 3221214680 1131275525 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211512 28915 13073 16 0 211496 0
vsize: 846048
[startup+430.043 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 40917 52 0 0 25 0 11 0 491980756 866353152 29052 4294967295 134512640 134569956 3221224400 3221214680 1131276734 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211512 29052 13073 16 0 211496 0
vsize: 846048
[startup+440.043 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 41893 52 0 0 25 0 11 0 491980756 866353152 29143 4294967295 134512640 134569956 3221224400 3221214120 1085679331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211512 29143 13073 16 0 211496 0
vsize: 846048
[startup+450.043 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 42868 52 0 0 25 0 11 0 491980756 866353152 29253 4294967295 134512640 134569956 3221224400 3221214680 1131276179 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211512 29253 13073 16 0 211496 0
vsize: 846048
[startup+460.043 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 43848 52 0 0 25 0 11 0 491980756 866353152 29329 4294967295 134512640 134569956 3221224400 3221214680 1131275500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211512 29329 13073 16 0 211496 0
vsize: 846048
[startup+470.045 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 44828 52 0 0 24 0 11 0 491980756 866353152 29368 4294967295 134512640 134569956 3221224400 3221214776 1131414456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211512 29368 13073 16 0 211496 0
vsize: 846048
[startup+480.045 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 45807 52 0 0 25 0 11 0 491980756 866353152 29421 4294967295 134512640 134569956 3221224400 3221214680 1131276771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211512 29421 13073 16 0 211496 0
vsize: 846048
[startup+490.045 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 46781 53 0 0 25 0 11 0 491980756 866353152 29610 4294967295 134512640 134569956 3221224400 3221214776 1131413548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211512 29610 13073 16 0 211496 0
vsize: 846048
[startup+500.045 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 47758 53 0 0 25 0 11 0 491980756 866353152 29743 4294967295 134512640 134569956 3221224400 3221214776 1131413548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211512 29743 13073 16 0 211496 0
vsize: 846048
[startup+510.045 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 48730 53 0 0 25 0 11 0 491980756 866353152 29802 4294967295 134512640 134569956 3221224400 3221214748 1080204256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211512 29802 13073 16 0 211496 0
vsize: 846048
[startup+520.051 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 49703 53 0 0 25 0 11 0 491980756 866353152 29853 4294967295 134512640 134569956 3221224400 3221214680 1131276998 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211512 29853 13073 16 0 211496 0
vsize: 846048
[startup+530.051 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 50673 53 0 0 25 0 11 0 491980756 866353152 29954 4294967295 134512640 134569956 3221224400 3221214596 1131700619 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211512 29954 13073 16 0 211496 0
vsize: 846048
[startup+540.051 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 51642 53 0 0 25 0 11 0 491980756 866353152 30069 4294967295 134512640 134569956 3221224400 3221214680 1131276670 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211512 30069 13073 16 0 211496 0
vsize: 846048
[startup+550.052 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 52615 53 0 0 25 0 11 0 491980756 866353152 30145 4294967295 134512640 134569956 3221224400 3221214680 1131275511 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211512 30145 13073 16 0 211496 0
vsize: 846048
[startup+560.053 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 53582 53 0 0 25 0 11 0 491980756 866353152 30225 4294967295 134512640 134569956 3221224400 3221214688 1131682278 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211512 30225 13073 16 0 211496 0
vsize: 846048
[startup+570.055 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) S 11942 25285 25284 0 -1 0 18091 0 1 0 54548 53 0 0 25 0 11 0 491980756 866353152 30381 4294967295 134512640 134569956 3221224400 3221213280 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211512 30381 13073 16 0 211496 0
vsize: 846048
[startup+580.057 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 55519 53 0 0 25 0 11 0 491980756 866353152 30521 4294967295 134512640 134569956 3221224400 3221214840 1131439928 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211512 30521 13073 16 0 211496 0
vsize: 846048
[startup+590.057 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 56489 53 0 0 25 0 11 0 491980756 866353152 30602 4294967295 134512640 134569956 3221224400 3221214776 1131412469 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 30602 13073 16 0 211496 0
vsize: 846048
[startup+600.057 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 57452 53 0 0 25 0 11 0 491980756 866353152 30802 4294967295 134512640 134569956 3221224400 3221214688 1131682252 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 30802 13073 16 0 211496 0
vsize: 846048
[startup+610.057 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 58423 54 0 0 25 0 11 0 491980756 866353152 30894 4294967295 134512640 134569956 3221224400 3221214680 1131275802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 30894 13073 16 0 211496 0
vsize: 846048
[startup+620.059 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 59395 54 0 0 25 0 11 0 491980756 866353152 30986 4294967295 134512640 134569956 3221224400 3221214680 1131276144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 30986 13073 16 0 211496 0
vsize: 846048
[startup+630.059 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 60369 55 0 0 25 0 11 0 491980756 866353152 31090 4294967295 134512640 134569956 3221224400 3221214776 1131412401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 31090 13073 16 0 211496 0
vsize: 846048
[startup+640.059 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 61344 55 0 0 25 0 11 0 491980756 866353152 31227 4294967295 134512640 134569956 3221224400 3221214320 1131700625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 31227 13073 16 0 211496 0
vsize: 846048
[startup+650.059 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 62323 55 0 0 25 0 11 0 491980756 866353152 31279 4294967295 134512640 134569956 3221224400 3221214696 1131318301 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211512 31279 13073 16 0 211496 0
vsize: 846048
[startup+660.059 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 63300 56 0 0 25 0 11 0 491980756 866353152 31370 4294967295 134512640 134569956 3221224400 3221214776 1131412837 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 31370 13073 16 0 211496 0
vsize: 846048
[startup+670.06 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 64278 56 0 0 25 0 11 0 491980756 866353152 31414 4294967295 134512640 134569956 3221224400 3221214600 1131566256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 31414 13073 16 0 211496 0
vsize: 846048
[startup+680.061 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 65256 57 0 0 25 0 11 0 491980756 866353152 31520 4294967295 134512640 134569956 3221224400 3221214680 1131276162 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 31520 13073 16 0 211496 0
vsize: 846048
[startup+690.062 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 66238 57 0 0 25 0 11 0 491980756 866353152 31627 4294967295 134512640 134569956 3221224400 3221214400 1080217376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 31627 13073 16 0 211496 0
vsize: 846048
[startup+700.063 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 67221 57 0 0 25 0 11 0 491980756 866353152 31685 4294967295 134512640 134569956 3221224400 3221214776 1131413580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 31685 13073 16 0 211496 0
vsize: 846048
[startup+710.064 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 68207 58 0 0 25 0 11 0 491980756 866353152 31733 4294967295 134512640 134569956 3221224400 3221214680 1131275917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 31733 13073 16 0 211496 0
vsize: 846048
[startup+720.065 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 69195 58 0 0 25 0 11 0 491980756 866353152 31783 4294967295 134512640 134569956 3221224400 3221214680 1131276156 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 31783 13073 16 0 211496 0
vsize: 846048
[startup+730.065 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 70177 58 0 0 25 0 11 0 491980756 866353152 31834 4294967295 134512640 134569956 3221224400 3221214596 1131599476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 31834 13073 16 0 211496 0
vsize: 846048
[startup+740.065 s]
Raw data (loadavg): 1.00 0.97 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 71159 58 0 0 25 0 11 0 491980756 866353152 31973 4294967295 134512640 134569956 3221224400 3221214344 1085679452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 31973 13073 16 0 211496 0
vsize: 846048
[startup+750.066 s]
Raw data (loadavg): 1.07 0.99 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 72146 59 0 0 25 0 11 0 491980756 866353152 32030 4294967295 134512640 134569956 3221224400 3221214680 1131276014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 32030 13073 16 0 211496 0
vsize: 846048
[startup+760.067 s]
Raw data (loadavg): 1.06 0.99 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 73133 59 0 0 25 0 11 0 491980756 866353152 32096 4294967295 134512640 134569956 3221224400 3221214680 1131275701 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 32096 13073 16 0 211496 0
vsize: 846048
[startup+770.068 s]
Raw data (loadavg): 1.05 0.99 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 74120 60 0 0 25 0 11 0 491980756 866353152 32190 4294967295 134512640 134569956 3221224400 3221214696 1131318196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 32190 13073 16 0 211496 0
vsize: 846048
[startup+780.069 s]
Raw data (loadavg): 1.04 0.99 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 75110 60 0 0 25 0 11 0 491980756 866353152 32224 4294967295 134512640 134569956 3221224400 3221214600 1131565490 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 32224 13073 16 0 211496 0
vsize: 846048
[startup+790.069 s]
Raw data (loadavg): 1.04 0.99 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 76098 60 0 0 25 0 11 0 491980756 866353152 32267 4294967295 134512640 134569956 3221224400 3221214840 1131439644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 32267 13073 16 0 211496 0
vsize: 846048
[startup+800.07 s]
Raw data (loadavg): 1.03 0.99 0.94 2/64 11953
Raw data (stat): 11943 (java) S 11942 25285 25284 0 -1 0 18091 0 1 0 77088 61 0 0 25 0 11 0 491980756 866353152 32284 4294967295 134512640 134569956 3221224400 3221213384 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 32284 13073 16 0 211496 0
vsize: 846048
[startup+810.07 s]
Raw data (loadavg): 1.02 0.99 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 78077 61 0 0 25 0 11 0 491980756 866353152 32308 4294967295 134512640 134569956 3221224400 3221214600 1131565585 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 32308 13073 16 0 211496 0
vsize: 846048
[startup+820.071 s]
Raw data (loadavg): 1.02 0.99 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 79066 62 0 0 25 0 11 0 491980756 866353152 32394 4294967295 134512640 134569956 3221224400 3221214876 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 32394 13073 16 0 211496 0
vsize: 846048
[startup+830.072 s]
Raw data (loadavg): 1.02 0.99 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 80058 62 0 0 25 0 11 0 491980756 866353152 32412 4294967295 134512640 134569956 3221224400 3221214688 1131682401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 32412 13073 16 0 211496 0
vsize: 846048
[startup+840.071 s]
Raw data (loadavg): 1.01 0.99 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 81048 63 0 0 25 0 11 0 491980756 866353152 32431 4294967295 134512640 134569956 3221224400 3221214520 1131598288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 32431 13073 16 0 211496 0
vsize: 846048
[startup+850.073 s]
Raw data (loadavg): 1.01 0.99 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 82038 63 0 0 25 0 11 0 491980756 866353152 32460 4294967295 134512640 134569956 3221224400 3221214360 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 32460 13073 16 0 211496 0
vsize: 846048
[startup+860.073 s]
Raw data (loadavg): 1.01 0.99 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 83028 63 0 0 25 0 11 0 491980756 866353152 32486 4294967295 134512640 134569956 3221224400 3221214696 1131497462 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 32486 13073 16 0 211496 0
vsize: 846048
[startup+870.074 s]
Raw data (loadavg): 1.01 0.99 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 84015 64 0 0 25 0 11 0 491980756 866353152 32506 4294967295 134512640 134569956 3221224400 3221214680 1131276792 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 32506 13073 16 0 211496 0
vsize: 846048
[startup+880.074 s]
Raw data (loadavg): 1.01 0.99 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 85004 64 0 0 25 0 11 0 491980756 866353152 32520 4294967295 134512640 134569956 3221224400 3221214576 1131592930 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 32520 13073 16 0 211496 0
vsize: 846048
[startup+890.075 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 85993 64 0 0 25 0 11 0 491980756 866353152 32551 4294967295 134512640 134569956 3221224400 3221214456 1080217037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 32551 13073 16 0 211496 0
vsize: 846048
[startup+900.076 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 86980 64 0 0 25 0 11 0 491980756 866353152 32657 4294967295 134512640 134569956 3221224400 3221214608 1131492065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 32657 13073 16 0 211496 0
vsize: 846048
[startup+910.077 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 87970 65 0 0 25 0 11 0 491980756 866353152 32702 4294967295 134512640 134569956 3221224400 3221214520 1131598687 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 32702 13073 16 0 211496 0
vsize: 846048
[startup+920.077 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 88958 65 0 0 25 0 11 0 491980756 866353152 32773 4294967295 134512640 134569956 3221224400 3221214520 1131598390 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 32773 13073 16 0 211496 0
vsize: 846048
[startup+930.078 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 89949 65 0 0 25 0 11 0 491980756 866353152 32829 4294967295 134512640 134569956 3221224400 3221214584 1131553596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 32829 13073 16 0 211496 0
vsize: 846048
[startup+940.078 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 90942 65 0 0 25 0 11 0 491980756 866353152 32864 4294967295 134512640 134569956 3221224400 3221214600 1131561441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 32864 13073 16 0 211496 0
vsize: 846048
[startup+950.079 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 91933 66 0 0 25 0 11 0 491980756 866353152 32874 4294967295 134512640 134569956 3221224400 3221214680 1131275917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 32874 13073 16 0 211496 0
vsize: 846048
[startup+960.08 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 92926 66 0 0 25 0 11 0 491980756 866353152 32890 4294967295 134512640 134569956 3221224400 3221214520 1079721468 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 32890 13073 16 0 211496 0
vsize: 846048
[startup+970.082 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 93919 67 0 0 25 0 11 0 491980756 866353152 32920 4294967295 134512640 134569956 3221224400 3221214680 1131275493 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 32920 13073 16 0 211496 0
vsize: 846048
[startup+980.082 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 94907 67 0 0 25 0 11 0 491980756 866353152 32968 4294967295 134512640 134569956 3221224400 3221214392 1080217265 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 32968 13073 16 0 211496 0
vsize: 846048
[startup+990.082 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 95898 67 0 0 25 0 11 0 491980756 866353152 32982 4294967295 134512640 134569956 3221224400 3221214680 1131276043 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 32982 13073 16 0 211496 0
vsize: 846048
[startup+1000.08 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 96891 68 0 0 25 0 11 0 491980756 866353152 32988 4294967295 134512640 134569956 3221224400 3221214680 1131276086 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 32988 13073 16 0 211496 0
vsize: 846048
[startup+1010.08 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 97879 68 0 0 25 0 11 0 491980756 866353152 33027 4294967295 134512640 134569956 3221224400 3221214096 1085632310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 33027 13073 16 0 211496 0
vsize: 846048
[startup+1020.09 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 98870 68 0 0 25 0 11 0 491980756 866353152 33044 4294967295 134512640 134569956 3221224400 3221214304 1131712712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 33044 13073 16 0 211496 0
vsize: 846048
[startup+1030.09 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 99855 69 0 0 25 0 11 0 491980756 866353152 33065 4294967295 134512640 134569956 3221224400 3221214520 1131598336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 33065 13073 16 0 211496 0
vsize: 846048
[startup+1040.09 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 100844 69 0 0 25 0 11 0 491980756 866353152 33088 4294967295 134512640 134569956 3221224400 3221214680 1131506296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 33088 13073 16 0 211496 0
vsize: 846048
[startup+1050.09 s]
Raw data (loadavg): 1.00 0.99 0.94 2/64 11953
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 101830 70 0 0 25 0 11 0 491980756 866353152 33110 4294967295 134512640 134569956 3221224400 3221214688 1131682256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 33110 13073 16 0 211496 0
vsize: 846048
[startup+1060.09 s]
Raw data (loadavg): 1.08 1.00 0.95 3/68 11998
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 102811 73 0 0 25 0 11 0 491980756 866353152 33175 4294967295 134512640 134569956 3221224400 3221214776 1131413645 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211512 33175 13073 16 0 211496 0
vsize: 846048
[startup+1070.09 s]
Raw data (loadavg): 1.07 1.00 0.95 2/64 12006
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 103798 73 0 0 25 0 11 0 491980756 866353152 33203 4294967295 134512640 134569956 3221224400 3221214596 1131599476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 33203 13073 16 0 211496 0
vsize: 846048
[startup+1080.09 s]
Raw data (loadavg): 1.06 1.00 0.95 2/64 12006
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 104783 73 0 0 25 0 11 0 491980756 866353152 33250 4294967295 134512640 134569956 3221224400 3221214584 1131553072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 33250 13073 16 0 211496 0
vsize: 846048
[startup+1090.09 s]
Raw data (loadavg): 1.05 1.00 0.95 2/64 12006
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 105770 73 0 0 25 0 11 0 491980756 866353152 33288 4294967295 134512640 134569956 3221224400 3221214680 1131275627 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211512 33288 13073 16 0 211496 0
vsize: 846048
[startup+1100.09 s]
Raw data (loadavg): 1.04 1.00 0.95 2/64 12006
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 106755 73 0 0 25 0 11 0 491980756 866353152 33341 4294967295 134512640 134569956 3221224400 3221214840 1131439648 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 33341 13073 16 0 211496 0
vsize: 846048
[startup+1110.09 s]
Raw data (loadavg): 1.03 1.00 0.95 2/64 12006
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 107740 73 0 0 25 0 11 0 491980756 866353152 33560 4294967295 134512640 134569956 3221224400 3221214776 1131413504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 33560 13073 16 0 211496 0
vsize: 846048
[startup+1120.09 s]
Raw data (loadavg): 1.03 1.00 0.95 2/64 12006
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 108731 73 0 0 25 0 11 0 491980756 866353152 33616 4294967295 134512640 134569956 3221224400 3221214584 1131553481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 33616 13073 16 0 211496 0
vsize: 846048
[startup+1130.09 s]
Raw data (loadavg): 1.02 1.00 0.95 2/64 12008
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 109720 73 0 0 25 0 11 0 491980756 866353152 33659 4294967295 134512640 134569956 3221224400 3221214600 1131565887 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 33659 13073 16 0 211496 0
vsize: 846048
[startup+1140.09 s]
Raw data (loadavg): 1.02 1.00 0.95 2/64 12008
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 110711 74 0 0 25 0 11 0 491980756 866353152 33679 4294967295 134512640 134569956 3221224400 3221214776 1131412469 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 33679 13073 16 0 211496 0
vsize: 846048
[startup+1150.09 s]
Raw data (loadavg): 1.02 1.00 0.95 2/64 12008
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 111699 74 0 0 25 0 11 0 491980756 866353152 33705 4294967295 134512640 134569956 3221224400 3221214776 1131413548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 33705 13073 16 0 211496 0
vsize: 846048
[startup+1160.09 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 12008
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 112688 74 0 0 25 0 11 0 491980756 866353152 33766 4294967295 134512640 134569956 3221224400 3221214608 1131492006 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 33766 13073 16 0 211496 0
vsize: 846048
[startup+1170.09 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 12008
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 113679 74 0 0 25 0 11 0 491980756 866353152 33804 4294967295 134512640 134569956 3221224400 3221214776 1131413548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 33804 13073 16 0 211496 0
vsize: 846048
[startup+1180.09 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 12008
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 114668 74 0 0 25 0 11 0 491980756 866353152 33828 4294967295 134512640 134569956 3221224400 3221214680 1131481647 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 33828 13073 16 0 211496 0
vsize: 846048
[startup+1190.09 s]
Raw data (loadavg): 1.01 1.00 0.95 2/64 12008
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 115655 74 0 0 25 0 11 0 491980756 866353152 33861 4294967295 134512640 134569956 3221224400 3221214740 1131483763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211512 33861 13073 16 0 211496 0
vsize: 846048
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 12008
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 116642 75 0 0 24 0 11 0 491980756 866353152 33911 4294967295 134512640 134569956 3221224400 3221214680 1131275974 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211512 33911 13073 16 0 211496 0
vsize: 846048
[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 12008
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 117633 75 0 0 25 0 11 0 491980756 866353152 33925 4294967295 134512640 134569956 3221224400 3221214776 1131413205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 33925 13073 16 0 211496 0
vsize: 846048
[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 12008
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 118621 76 0 0 25 0 11 0 491980756 866353152 33965 4294967295 134512640 134569956 3221224400 3221214520 1131598635 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211512 33965 13073 16 0 211496 0
vsize: 846048
[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 12008
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 119612 76 0 0 25 0 11 0 491980756 866353152 33985 4294967295 134512640 134569956 3221224400 3221214600 1131565696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211512 33985 13073 16 0 211496 0
vsize: 846048
[startup+1240.1 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 12008
Raw data (stat): 11943 (java) R 11942 25285 25284 0 -1 0 18091 0 1 0 120597 76 0 0 25 0 11 0 491980756 866353152 34013 4294967295 134512640 134569956 3221224400 3221214552 1131658435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211512 34013 13073 16 0 211496 0
vsize: 846048
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.2 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 12010
Raw data (stat): 11943 (java) Z 11942 25285 25284 0 -1 1036 18091 26337 1 0 120601 82 4882 77 25 0 1 0 491980756 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): 1240.2
CPU time (s): 1256.43
CPU user time (s): 1254.84
CPU system time (s): 1.59876
CPU usage (%): 101.309
Max. virtual memory (Kb): 846184
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####