PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-gesa2.opb
MD5SUM	cc2ab9cbda3b73ffdc0f995958f9051d
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	13488
Biggest coefficient in the objective function	418848431931392
Number of bits for the biggest coefficient in the objective function	49
Sum of the numbers in the objective function	180205740755072640
Number of bits of the sum of numbers in the objective function	58
Biggest number in a constraint	418848431931392
Number of bits of the biggest number in a constraint	49
Biggest sum of numbers in a constraint	180205740755072640
Number of bits of the biggest sum of numbers	58
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.166973
Number of variables	19344
Total number of constraints	2112
Number of constraints which are clauses	48
Number of constraints which are cardinality constraints (but not clauses)	240
Number of constraints which are nor clauses,nor cardinality constraints	1824
Minimum length of a constraint	1
Maximum length of a constraint	309
Trace number 21815

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-04-22 01:01:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12567 boxname=wulflinc28 idbench=967 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  cc2ab9cbda3b73ffdc0f995958f9051d  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-gesa2.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-gesa2.opb
IDLAUNCH: 12567
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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.077
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:        315616 kB
Buffers:         12680 kB
Cached:         681020 kB
SwapCached:        104 kB
Active:          42252 kB
Inactive:       653828 kB
HighTotal:      131008 kB
HighFree:        33404 kB
LowTotal:       903652 kB
LowFree:        282212 kB
SwapTotal:     2097640 kB
SwapFree:      2097068 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6056 kB
Slab:            17308 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-22 01:21:55 (client local time) WITH STATUS 143 IN 1215.81 SECONDS
stats: 12567 7 1215.81 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-gesa2.opb
c reading problem 
c [nbvar=19344]
c [nbconstr=2112]
c time 115.259
c #vars     19344
c #clauses  1873
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.81 0.98 0.97 2/54 3931
Raw data (stat): 3931 (runsolver) R 3930 10614 10613 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 549605152 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.84 0.98 0.97 2/63 3942
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 17982 0 1 0 881 44 0 0 21 0 10 0 549605152 853286912 19107 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208322 19107 13073 16 0 208306 0
vsize: 833288
[startup+20.0018 s]
Raw data (loadavg): 0.86 0.98 0.97 2/63 3942
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 17982 0 1 0 1778 44 0 0 19 0 10 0 549605152 853807104 19647 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 19647 13073 16 0 208433 0
vsize: 833796
[startup+30.0069 s]
Raw data (loadavg): 0.88 0.98 0.97 2/63 3942
Raw data (stat): 3931 (java) S 3930 10614 10613 0 -1 0 17982 0 1 0 2676 44 0 0 25 0 10 0 549605152 853807104 20076 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 20076 13073 16 0 208433 0
vsize: 833796
[startup+40.0067 s]
Raw data (loadavg): 0.90 0.98 0.97 2/63 3942
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 17982 0 1 0 3610 44 0 0 25 0 10 0 549605152 853807104 20304 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 20304 13073 16 0 208433 0
vsize: 833796
[startup+50.0079 s]
Raw data (loadavg): 0.91 0.98 0.97 2/63 3942
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 17982 0 1 0 4544 44 0 0 25 0 10 0 549605152 853807104 20420 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208449 20420 13073 16 0 208433 0
vsize: 833796
[startup+60.0081 s]
Raw data (loadavg): 1.01 1.00 0.97 3/63 3942
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 17994 0 1 0 5312 45 0 0 25 0 10 0 549605152 871432192 24847 4294967295 134512640 134569956 3221224400 3221214668 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212752 24847 13073 16 0 212736 0
vsize: 851008
[startup+70.0096 s]
Raw data (loadavg): 1.01 1.00 0.97 2/63 3942
Raw data (stat): 3931 (java) S 3930 10614 10613 0 -1 0 17994 0 1 0 6185 45 0 0 20 0 10 0 549605152 860196864 22755 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 22755 13073 16 0 209993 0
vsize: 840036
[startup+80.0098 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 3942
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 17994 0 1 0 7053 46 0 0 21 0 10 0 549605152 860196864 23200 4294967295 134512640 134569956 3221224400 3221214280 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 23200 13073 16 0 209993 0
vsize: 840036
[startup+90.0096 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 3942
Raw data (stat): 3931 (java) S 3930 10614 10613 0 -1 0 17994 0 1 0 7969 46 0 0 25 0 10 0 549605152 860196864 23421 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 23421 13073 16 0 209993 0
vsize: 840036
[startup+100.011 s]
Raw data (loadavg): 1.00 1.00 0.97 2/63 3942
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 17994 0 1 0 8895 46 0 0 25 0 10 0 549605152 860196864 23555 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 23555 13073 16 0 209993 0
vsize: 840036
[startup+110.011 s]
Raw data (loadavg): 1.08 1.02 0.98 2/63 3942
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 17994 0 1 0 9819 47 0 0 24 0 10 0 549605152 860196864 23664 4294967295 134512640 134569956 3221224400 3221214708 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210009 23664 13073 16 0 209993 0
vsize: 840036
[startup+120.012 s]
Raw data (loadavg): 1.07 1.01 0.98 2/64 3943
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18024 0 1 0 10734 48 0 0 25 0 11 0 549605152 860725248 24116 4294967295 134512640 134569956 3221224400 3221214680 1131287313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 24116 13073 16 0 210122 0
vsize: 840552
[startup+130.012 s]
Raw data (loadavg): 1.20 1.05 0.99 2/64 3943
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18065 0 1 0 11515 48 0 0 25 0 11 0 549605152 860725248 24228 4294967295 134512640 134569956 3221224400 3221214672 1131524080 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210138 24228 13073 16 0 210122 0
vsize: 840552
[startup+140.011 s]
Raw data (loadavg): 1.17 1.04 0.99 2/64 3943
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18065 0 1 0 12490 48 0 0 25 0 11 0 549605152 860725248 25203 4294967295 134512640 134569956 3221224400 3221214256 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25203 13073 16 0 210122 0
vsize: 840552
[startup+150.012 s]
Raw data (loadavg): 1.15 1.04 0.99 2/64 3943
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18065 0 1 0 13476 48 0 0 25 0 11 0 549605152 860725248 25219 4294967295 134512640 134569956 3221224400 3221214664 1131524064 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25219 13073 16 0 210122 0
vsize: 840552
[startup+160.012 s]
Raw data (loadavg): 1.12 1.04 0.99 2/64 3943
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18065 0 1 0 14470 49 0 0 24 0 11 0 549605152 860725248 25219 4294967295 134512640 134569956 3221224400 3221214512 1131685146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25219 13073 16 0 210122 0
vsize: 840552
[startup+170.012 s]
Raw data (loadavg): 1.10 1.04 0.99 2/64 3943
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18065 0 1 0 15463 49 0 0 25 0 11 0 549605152 860725248 25219 4294967295 134512640 134569956 3221224400 3221214556 1131680428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25219 13073 16 0 210122 0
vsize: 840552
[startup+180.012 s]
Raw data (loadavg): 1.09 1.04 0.99 2/64 3943
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18065 0 1 0 16457 49 0 0 25 0 11 0 549605152 860725248 25219 4294967295 134512640 134569956 3221224400 3221214848 1131521332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25219 13073 16 0 210122 0
vsize: 840552
[startup+190.013 s]
Raw data (loadavg): 1.07 1.03 0.99 2/64 3943
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18065 0 1 0 17446 50 0 0 25 0 11 0 549605152 860725248 25219 4294967295 134512640 134569956 3221224400 3221214560 1131651699 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25219 13073 16 0 210122 0
vsize: 840552
[startup+200.013 s]
Raw data (loadavg): 1.06 1.03 0.99 2/64 3943
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 18439 50 0 0 25 0 11 0 549605152 860725248 25220 4294967295 134512640 134569956 3221224400 3221214320 1080217273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25220 13073 16 0 210122 0
vsize: 840552
[startup+210.013 s]
Raw data (loadavg): 1.05 1.03 0.99 2/64 3943
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 19433 50 0 0 25 0 11 0 549605152 860725248 25220 4294967295 134512640 134569956 3221224400 3221214488 1131680734 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25220 13073 16 0 210122 0
vsize: 840552
[startup+220.014 s]
Raw data (loadavg): 1.04 1.03 0.99 2/64 3943
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 20427 51 0 0 25 0 11 0 549605152 860725248 25220 4294967295 134512640 134569956 3221224400 3221214488 1131680893 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25220 13073 16 0 210122 0
vsize: 840552
[startup+230.014 s]
Raw data (loadavg): 1.04 1.03 0.99 2/64 3943
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 21420 51 0 0 25 0 11 0 549605152 860725248 25220 4294967295 134512640 134569956 3221224400 3221214488 1131680603 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25220 13073 16 0 210122 0
vsize: 840552
[startup+240.014 s]
Raw data (loadavg): 1.03 1.03 0.99 2/64 3943
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 22413 51 0 0 25 0 11 0 549605152 860725248 25220 4294967295 134512640 134569956 3221224400 3221214560 1131652460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25220 13073 16 0 210122 0
vsize: 840552
[startup+250.015 s]
Raw data (loadavg): 1.02 1.03 0.99 2/64 3943
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 23406 51 0 0 25 0 11 0 549605152 860725248 25220 4294967295 134512640 134569956 3221224400 3221214488 1131680965 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25220 13073 16 0 210122 0
vsize: 840552
[startup+260.015 s]
Raw data (loadavg): 1.02 1.02 0.99 2/64 3943
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 24399 51 0 0 25 0 11 0 549605152 860725248 25220 4294967295 134512640 134569956 3221224400 3221214320 1080217202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25220 13073 16 0 210122 0
vsize: 840552
[startup+270.016 s]
Raw data (loadavg): 1.02 1.02 0.99 2/64 3943
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 25396 51 0 0 25 0 11 0 549605152 860725248 25221 4294967295 134512640 134569956 3221224400 3221214600 1131700940 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210138 25221 13073 16 0 210122 0
vsize: 840552
[startup+280.016 s]
Raw data (loadavg): 1.01 1.02 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 26391 52 0 0 25 0 11 0 549605152 860725248 25221 4294967295 134512640 134569956 3221224400 3221214496 1079721536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25221 13073 16 0 210122 0
vsize: 840552
[startup+290.015 s]
Raw data (loadavg): 1.01 1.02 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 27384 53 0 0 25 0 11 0 549605152 860725248 25258 4294967295 134512640 134569956 3221224400 3221214352 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25258 13073 16 0 210122 0
vsize: 840552
[startup+300.016 s]
Raw data (loadavg): 1.01 1.02 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 28378 53 0 0 25 0 11 0 549605152 860725248 25361 4294967295 134512640 134569956 3221224400 3221214320 1080217246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25361 13073 16 0 210122 0
vsize: 840552
[startup+310.017 s]
Raw data (loadavg): 1.01 1.02 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 29373 53 0 0 25 0 11 0 549605152 860725248 25420 4294967295 134512640 134569956 3221224400 3221214560 1131652207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25420 13073 16 0 210122 0
vsize: 840552
[startup+320.017 s]
Raw data (loadavg): 1.01 1.02 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 30370 54 0 0 25 0 11 0 549605152 860725248 25499 4294967295 134512640 134569956 3221224400 3221214488 1131680652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25499 13073 16 0 210122 0
vsize: 840552
[startup+330.018 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 31367 54 0 0 25 0 11 0 549605152 860725248 25515 4294967295 134512640 134569956 3221224400 3221214632 1131664846 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210138 25515 13073 16 0 210122 0
vsize: 840552
[startup+340.017 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 32365 54 0 0 25 0 11 0 549605152 860725248 25526 4294967295 134512640 134569956 3221224400 3221214320 1080217273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210138 25526 13073 16 0 210122 0
vsize: 840552
[startup+350.017 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 33362 54 0 0 25 0 11 0 549605152 860725248 25536 4294967295 134512640 134569956 3221224400 3221214488 1131680548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25536 13073 16 0 210122 0
vsize: 840552
[startup+360.018 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 34360 54 0 0 25 0 11 0 549605152 860725248 25544 4294967295 134512640 134569956 3221224400 3221214560 1131651472 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25544 13073 16 0 210122 0
vsize: 840552
[startup+370.019 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 35358 55 0 0 25 0 11 0 549605152 860725248 25553 4294967295 134512640 134569956 3221224400 3221214488 1131680441 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25553 13073 16 0 210122 0
vsize: 840552
[startup+380.018 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 36355 55 0 0 25 0 11 0 549605152 860725248 25562 4294967295 134512640 134569956 3221224400 3221214352 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25562 13073 16 0 210122 0
vsize: 840552
[startup+390.018 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 37354 55 0 0 25 0 11 0 549605152 860725248 25562 4294967295 134512640 134569956 3221224400 3221214632 1131597912 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210138 25562 13073 16 0 210122 0
vsize: 840552
[startup+400.019 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 38353 55 0 0 25 0 11 0 549605152 860725248 25564 4294967295 134512640 134569956 3221224400 3221214556 1131680428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25564 13073 16 0 210122 0
vsize: 840552
[startup+410.018 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 39351 55 0 0 25 0 11 0 549605152 860725248 25564 4294967295 134512640 134569956 3221224400 3221214320 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25564 13073 16 0 210122 0
vsize: 840552
[startup+420.019 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 40348 55 0 0 25 0 11 0 549605152 860725248 25571 4294967295 134512640 134569956 3221224400 3221214760 1131752090 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25571 13073 16 0 210122 0
vsize: 840552
[startup+430.02 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 41346 55 0 0 25 0 11 0 549605152 860725248 25577 4294967295 134512640 134569956 3221224400 3221214488 1131680508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210138 25577 13073 16 0 210122 0
vsize: 840552
[startup+440.019 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 42344 56 0 0 25 0 11 0 549605152 860725248 25593 4294967295 134512640 134569956 3221224400 3221214560 1131650980 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210138 25593 13073 16 0 210122 0
vsize: 840552
[startup+450.019 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 43342 56 0 0 25 0 11 0 549605152 860725248 25593 4294967295 134512640 134569956 3221224400 3221214352 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25593 13073 16 0 210122 0
vsize: 840552
[startup+460.02 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 44340 56 0 0 25 0 11 0 549605152 860725248 25593 4294967295 134512640 134569956 3221224400 3221214528 1131602135 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25593 13073 16 0 210122 0
vsize: 840552
[startup+470.021 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 45338 56 0 0 25 0 11 0 549605152 860725248 25593 4294967295 134512640 134569956 3221224400 3221214528 1131685197 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210138 25593 13073 16 0 210122 0
vsize: 840552
[startup+480.021 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 46336 56 0 0 25 0 11 0 549605152 860725248 25593 4294967295 134512640 134569956 3221224400 3221214528 1131602145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25593 13073 16 0 210122 0
vsize: 840552
[startup+490.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 47334 56 0 0 25 0 11 0 549605152 860725248 25593 4294967295 134512640 134569956 3221224400 3221214696 1131598128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25593 13073 16 0 210122 0
vsize: 840552
[startup+500.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 48332 57 0 0 25 0 11 0 549605152 860725248 25593 4294967295 134512640 134569956 3221224400 3221214560 1131652227 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25593 13073 16 0 210122 0
vsize: 840552
[startup+510.021 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 49330 57 0 0 25 0 11 0 549605152 860725248 25594 4294967295 134512640 134569956 3221224400 3221214352 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25594 13073 16 0 210122 0
vsize: 840552
[startup+520.021 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 50328 57 0 0 25 0 11 0 549605152 860725248 25594 4294967295 134512640 134569956 3221224400 3221214488 1131680648 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25594 13073 16 0 210122 0
vsize: 840552
[startup+530.021 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 51326 57 0 0 25 0 11 0 549605152 860725248 25594 4294967295 134512640 134569956 3221224400 3221214488 1131680661 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210138 25594 13073 16 0 210122 0
vsize: 840552
[startup+540.021 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 52324 58 0 0 25 0 11 0 549605152 860725248 25594 4294967295 134512640 134569956 3221224400 3221214484 1080216948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25594 13073 16 0 210122 0
vsize: 840552
[startup+550.021 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 53322 58 0 0 25 0 11 0 549605152 860725248 25594 4294967295 134512640 134569956 3221224400 3221214528 1131685252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210138 25594 13073 16 0 210122 0
vsize: 840552
[startup+560.021 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 54319 58 0 0 25 0 11 0 549605152 860725248 25604 4294967295 134512640 134569956 3221224400 3221214320 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25604 13073 16 0 210122 0
vsize: 840552
[startup+570.021 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 55318 58 0 0 25 0 11 0 549605152 860725248 25604 4294967295 134512640 134569956 3221224400 3221214632 1131597868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25604 13073 16 0 210122 0
vsize: 840552
[startup+580.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 56317 59 0 0 25 0 11 0 549605152 860725248 25604 4294967295 134512640 134569956 3221224400 3221214696 1131597958 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25604 13073 16 0 210122 0
vsize: 840552
[startup+590.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 57317 59 0 0 25 0 11 0 549605152 860725248 25604 4294967295 134512640 134569956 3221224400 3221214560 1131651768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25604 13073 16 0 210122 0
vsize: 840552
[startup+600.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 58315 59 0 0 25 0 11 0 549605152 860725248 25604 4294967295 134512640 134569956 3221224400 3221214488 1131681080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25604 13073 16 0 210122 0
vsize: 840552
[startup+610.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 59313 60 0 0 25 0 11 0 549605152 860725248 25604 4294967295 134512640 134569956 3221224400 3221214560 1131650703 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25604 13073 16 0 210122 0
vsize: 840552
[startup+620.024 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 60311 60 0 0 25 0 11 0 549605152 860725248 25607 4294967295 134512640 134569956 3221224400 3221214408 1080217185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25607 13073 16 0 210122 0
vsize: 840552
[startup+630.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 61308 60 0 0 25 0 11 0 549605152 860725248 25607 4294967295 134512640 134569956 3221224400 3221214504 1131676874 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25607 13073 16 0 210122 0
vsize: 840552
[startup+640.024 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 62306 61 0 0 25 0 11 0 549605152 860725248 25607 4294967295 134512640 134569956 3221224400 3221214480 1080216949 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25607 13073 16 0 210122 0
vsize: 840552
[startup+650.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 63303 61 0 0 25 0 11 0 549605152 860725248 25609 4294967295 134512640 134569956 3221224400 3221214528 1131602137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25609 13073 16 0 210122 0
vsize: 840552
[startup+660.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 64299 61 0 0 25 0 11 0 549605152 860725248 25618 4294967295 134512640 134569956 3221224400 3221214488 1131680754 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25618 13073 16 0 210122 0
vsize: 840552
[startup+670.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 65295 61 0 0 25 0 11 0 549605152 860725248 25631 4294967295 134512640 134569956 3221224400 3221214560 1131652013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25631 13073 16 0 210122 0
vsize: 840552
[startup+680.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 66290 62 0 0 25 0 11 0 549605152 860725248 25633 4294967295 134512640 134569956 3221224400 3221214488 1131680923 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25633 13073 16 0 210122 0
vsize: 840552
[startup+690.026 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 67285 62 0 0 25 0 11 0 549605152 860725248 25646 4294967295 134512640 134569956 3221224400 3221214488 1131680477 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25646 13073 16 0 210122 0
vsize: 840552
[startup+700.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 68282 63 0 0 25 0 11 0 549605152 860725248 25653 4294967295 134512640 134569956 3221224400 3221214352 1080217199 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25653 13073 16 0 210122 0
vsize: 840552
[startup+710.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 69280 63 0 0 25 0 11 0 549605152 860725248 25655 4294967295 134512640 134569956 3221224400 3221214320 1080217199 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25655 13073 16 0 210122 0
vsize: 840552
[startup+720.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 70279 64 0 0 25 0 11 0 549605152 860725248 25655 4294967295 134512640 134569956 3221224400 3221214556 1131680428 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210138 25655 13073 16 0 210122 0
vsize: 840552
[startup+730.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 71277 64 0 0 25 0 11 0 549605152 860725248 25655 4294967295 134512640 134569956 3221224400 3221214560 1131652420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25655 13073 16 0 210122 0
vsize: 840552
[startup+740.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 72275 64 0 0 25 0 11 0 549605152 860725248 25655 4294967295 134512640 134569956 3221224400 3221214560 1131652621 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25655 13073 16 0 210122 0
vsize: 840552
[startup+750.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 73272 64 0 0 25 0 11 0 549605152 860725248 25655 4294967295 134512640 134569956 3221224400 3221214512 1079721468 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25655 13073 16 0 210122 0
vsize: 840552
[startup+760.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 74270 65 0 0 25 0 11 0 549605152 860725248 25691 4294967295 134512640 134569956 3221224400 3221214488 1131680665 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210138 25691 13073 16 0 210122 0
vsize: 840552
[startup+770.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 75267 65 0 0 25 0 11 0 549605152 860725248 25691 4294967295 134512640 134569956 3221224400 3221214488 1131680673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25691 13073 16 0 210122 0
vsize: 840552
[startup+780.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 76263 65 0 0 25 0 11 0 549605152 860725248 25691 4294967295 134512640 134569956 3221224400 3221214320 1080217281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25691 13073 16 0 210122 0
vsize: 840552
[startup+790.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 77259 65 0 0 25 0 11 0 549605152 860725248 25691 4294967295 134512640 134569956 3221224400 3221214560 1131652004 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25691 13073 16 0 210122 0
vsize: 840552
[startup+800.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 78255 65 0 0 25 0 11 0 549605152 860725248 25691 4294967295 134512640 134569956 3221224400 3221214528 1079721549 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25691 13073 16 0 210122 0
vsize: 840552
[startup+810.032 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 79253 66 0 0 25 0 11 0 549605152 860725248 25691 4294967295 134512640 134569956 3221224400 3221214488 1131681023 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25691 13073 16 0 210122 0
vsize: 840552
[startup+820.033 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 80252 66 0 0 25 0 11 0 549605152 860725248 25691 4294967295 134512640 134569956 3221224400 3221214560 1131652277 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25691 13073 16 0 210122 0
vsize: 840552
[startup+830.033 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 81251 66 0 0 25 0 11 0 549605152 860725248 25691 4294967295 134512640 134569956 3221224400 3221214496 1131601158 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25691 13073 16 0 210122 0
vsize: 840552
[startup+840.033 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 82248 66 0 0 25 0 11 0 549605152 860725248 25691 4294967295 134512640 134569956 3221224400 3221214352 1080217322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25691 13073 16 0 210122 0
vsize: 840552
[startup+850.034 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 83247 66 0 0 25 0 11 0 549605152 860725248 25691 4294967295 134512640 134569956 3221224400 3221214488 1131681090 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25691 13073 16 0 210122 0
vsize: 840552
[startup+860.034 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 84245 67 0 0 25 0 11 0 549605152 860725248 25691 4294967295 134512640 134569956 3221224400 3221214656 1131597939 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25691 13073 16 0 210122 0
vsize: 840552
[startup+870.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 85245 67 0 0 25 0 11 0 549605152 860725248 25692 4294967295 134512640 134569956 3221224400 3221214552 1131681165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25692 13073 16 0 210122 0
vsize: 840552
[startup+880.036 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 86244 67 0 0 25 0 11 0 549605152 860725248 25692 4294967295 134512640 134569956 3221224400 3221214488 1131680980 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210138 25692 13073 16 0 210122 0
vsize: 840552
[startup+890.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 87242 68 0 0 25 0 11 0 549605152 860725248 25692 4294967295 134512640 134569956 3221224400 3221214488 1131680618 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25692 13073 16 0 210122 0
vsize: 840552
[startup+900.036 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 88240 68 0 0 25 0 11 0 549605152 860725248 25692 4294967295 134512640 134569956 3221224400 3221214488 1131681080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25692 13073 16 0 210122 0
vsize: 840552
[startup+910.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 89239 68 0 0 25 0 11 0 549605152 860725248 25692 4294967295 134512640 134569956 3221224400 3221214488 1131681339 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210138 25692 13073 16 0 210122 0
vsize: 840552
[startup+920.036 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 90237 68 0 0 25 0 11 0 549605152 860725248 25692 4294967295 134512640 134569956 3221224400 3221214536 1079721553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25692 13073 16 0 210122 0
vsize: 840552
[startup+930.036 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 91236 68 0 0 25 0 11 0 549605152 860725248 25692 4294967295 134512640 134569956 3221224400 3221214560 1131651254 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25692 13073 16 0 210122 0
vsize: 840552
[startup+940.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 92234 69 0 0 25 0 11 0 549605152 860725248 25692 4294967295 134512640 134569956 3221224400 3221214560 1131652194 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25692 13073 16 0 210122 0
vsize: 840552
[startup+950.037 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 93232 69 0 0 25 0 11 0 549605152 860725248 25692 4294967295 134512640 134569956 3221224400 3221214528 1131685153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25692 13073 16 0 210122 0
vsize: 840552
[startup+960.037 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 94230 69 0 0 25 0 11 0 549605152 860725248 25692 4294967295 134512640 134569956 3221224400 3221214696 1131597904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25692 13073 16 0 210122 0
vsize: 840552
[startup+970.038 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 95229 70 0 0 25 0 11 0 549605152 860725248 25692 4294967295 134512640 134569956 3221224400 3221214320 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25692 13073 16 0 210122 0
vsize: 840552
[startup+980.039 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 96227 70 0 0 25 0 11 0 549605152 860725248 25696 4294967295 134512640 134569956 3221224400 3221214632 1131664846 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25696 13073 16 0 210122 0
vsize: 840552
[startup+990.039 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 97224 70 0 0 25 0 11 0 549605152 860725248 25696 4294967295 134512640 134569956 3221224400 3221214488 1131680895 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25696 13073 16 0 210122 0
vsize: 840552
[startup+1000.04 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 98222 71 0 0 25 0 11 0 549605152 860725248 25696 4294967295 134512640 134569956 3221224400 3221214504 1131676874 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25696 13073 16 0 210122 0
vsize: 840552
[startup+1010.04 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 99221 71 0 0 25 0 11 0 549605152 860725248 25696 4294967295 134512640 134569956 3221224400 3221214560 1131652424 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25696 13073 16 0 210122 0
vsize: 840552
[startup+1020.05 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 100220 72 0 0 25 0 11 0 549605152 860725248 25696 4294967295 134512640 134569956 3221224400 3221214632 1131665216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25696 13073 16 0 210122 0
vsize: 840552
[startup+1030.05 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 101218 72 0 0 25 0 11 0 549605152 860725248 25696 4294967295 134512640 134569956 3221224400 3221214488 1131680603 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210138 25696 13073 16 0 210122 0
vsize: 840552
[startup+1040.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 102215 72 0 0 25 0 11 0 549605152 860725248 25704 4294967295 134512640 134569956 3221224400 3221214560 1131651699 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25704 13073 16 0 210122 0
vsize: 840552
[startup+1050.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 103212 72 0 0 25 0 11 0 549605152 860725248 25704 4294967295 134512640 134569956 3221224400 3221214352 1080217209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25704 13073 16 0 210122 0
vsize: 840552
[startup+1060.05 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 104209 73 0 0 25 0 11 0 549605152 860725248 25707 4294967295 134512640 134569956 3221224400 3221214488 1131680618 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25707 13073 16 0 210122 0
vsize: 840552
[startup+1070.05 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 105206 73 0 0 25 0 11 0 549605152 860725248 25710 4294967295 134512640 134569956 3221224400 3221214560 1131652384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25710 13073 16 0 210122 0
vsize: 840552
[startup+1080.05 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 106201 73 0 0 25 0 11 0 549605152 860725248 25718 4294967295 134512640 134569956 3221224400 3221214452 1080216948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25718 13073 16 0 210122 0
vsize: 840552
[startup+1090.05 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 107197 74 0 0 25 0 11 0 549605152 860725248 25721 4294967295 134512640 134569956 3221224400 3221214632 1131665088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25721 13073 16 0 210122 0
vsize: 840552
[startup+1100.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 108193 74 0 0 25 0 11 0 549605152 860725248 25727 4294967295 134512640 134569956 3221224400 3221214488 1131680652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25727 13073 16 0 210122 0
vsize: 840552
[startup+1110.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 109192 74 0 0 25 0 11 0 549605152 860725248 25727 4294967295 134512640 134569956 3221224400 3221214552 1131681280 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210138 25727 13073 16 0 210122 0
vsize: 840552
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 110193 74 0 0 25 0 11 0 549605152 860725248 25727 4294967295 134512640 134569956 3221224400 3221214552 1131681156 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210138 25727 13073 16 0 210122 0
vsize: 840552
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 111193 74 0 0 25 0 11 0 549605152 860725248 25727 4294967295 134512640 134569956 3221224400 3221214696 1131598045 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210138 25727 13073 16 0 210122 0
vsize: 840552
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 112193 74 0 0 25 0 11 0 549605152 860725248 25727 4294967295 134512640 134569956 3221224400 3221214696 1131598055 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210138 25727 13073 16 0 210122 0
vsize: 840552
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 113193 74 0 0 25 0 11 0 549605152 860725248 25727 4294967295 134512640 134569956 3221224400 3221214552 1131681342 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210138 25727 13073 16 0 210122 0
vsize: 840552
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 114191 74 0 0 25 0 11 0 549605152 860725248 25735 4294967295 134512640 134569956 3221224400 3221214320 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25735 13073 16 0 210122 0
vsize: 840552
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 115189 74 0 0 25 0 11 0 549605152 860725248 25740 4294967295 134512640 134569956 3221224400 3221214352 1080217202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25740 13073 16 0 210122 0
vsize: 840552
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 116186 75 0 0 25 0 11 0 549605152 860725248 25740 4294967295 134512640 134569956 3221224400 3221214556 1131680428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25740 13073 16 0 210122 0
vsize: 840552
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 117184 75 0 0 25 0 11 0 549605152 860725248 25740 4294967295 134512640 134569956 3221224400 3221214488 1131681381 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25740 13073 16 0 210122 0
vsize: 840552
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 118181 75 0 0 24 0 11 0 549605152 860725248 25740 4294967295 134512640 134569956 3221224400 3221214352 1080217243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25740 13073 16 0 210122 0
vsize: 840552
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 119179 75 0 0 25 0 11 0 549605152 860725248 25740 4294967295 134512640 134569956 3221224400 3221214560 1131651254 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210138 25740 13073 16 0 210122 0
vsize: 840552
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3945
Raw data (stat): 3931 (java) R 3930 10614 10613 0 -1 0 18066 0 1 0 120176 75 0 0 25 0 11 0 549605152 860725248 25740 4294967295 134512640 134569956 3221224400 3221214528 1131685195 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210138 25740 13073 16 0 210122 0
vsize: 840552
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.14 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 3947
Raw data (stat): 3931 (java) Z 3930 10614 10613 0 -1 1036 18066 5662 1 0 120179 75 1307 18 25 0 1 0 549605152 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): 1220.14
CPU time (s): 1215.81
CPU user time (s): 1214.87
CPU system time (s): 0.941856
CPU usage (%): 99.6457
Max. virtual memory (Kb): 851008
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####