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/miplib3/normalized-mps-v2-20-10-gesa3.opb
MD5SUM	31cf10e9e153d1aa4cb38d513d96aadc
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	11424
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	144211309205274864
Number of bits of the sum of numbers in the objective function	58
Biggest number in a constraint	536870912000000
Number of bits of the biggest number in a constraint	49
Biggest sum of numbers in a constraint	144211309205274864
Number of bits of the biggest sum of numbers	58
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1248.14
Number of variables	18384
Total number of constraints	1824
Number of constraints which are clauses	48
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1776
Minimum length of a constraint	2
Maximum length of a constraint	311
Trace number 21374

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        357872 kB
Buffers:         34556 kB
Cached:         614368 kB
SwapCached:         68 kB
Active:         196808 kB
Inactive:       455020 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        357620 kB
SwapTotal:     2097892 kB
SwapFree:      2097800 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6880 kB
Slab:            19352 kB
Committed_AS:    63728 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 23:50:47 (client local time) WITH STATUS 143 IN 1235.07 SECONDS
stats: 13425 7 1235.07 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-gesa3.opb
c reading problem 
c [nbvar=18384]
c [nbconstr=1824]
c time 100.678
c #vars     18384
c #clauses  1801
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.91 0.95 0.90 2/54 11957
Raw data (stat): 11957 (runsolver) R 11956 22612 22611 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 549058437 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99972 s]
Raw data (loadavg): 1.07 0.99 0.91 2/63 11966
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 17981 0 1 0 880 39 0 0 25 0 10 0 549058437 853454848 19232 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208363 19232 13073 16 0 208347 0
vsize: 833452
[startup+20.0018 s]
Raw data (loadavg): 1.06 0.99 0.91 2/63 11966
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 17982 0 1 0 1770 39 0 0 25 0 10 0 549058437 853917696 19864 4294967295 134512640 134569956 3221224400 3221214824 1131215619 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208476 19864 13073 16 0 208460 0
vsize: 833904
[startup+30.0027 s]
Raw data (loadavg): 1.05 0.99 0.91 2/63 11966
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 17982 0 1 0 2664 40 0 0 23 0 10 0 549058437 853680128 20300 4294967295 134512640 134569956 3221224400 3221214824 1131215085 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208418 20300 13073 16 0 208402 0
vsize: 833672
[startup+40.0027 s]
Raw data (loadavg): 1.04 0.99 0.91 4/63 11966
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 17989 0 1 0 3551 40 0 0 25 0 10 0 549058437 860053504 21936 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209974 21936 13073 16 0 209958 0
vsize: 839896
[startup+50.0148 s]
Raw data (loadavg): 1.18 1.02 0.93 2/63 11966
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 17989 0 1 0 4402 41 0 0 25 0 10 0 549058437 862363648 22851 4294967295 134512640 134569956 3221224400 3221214748 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210538 22851 13073 16 0 210522 0
vsize: 842152
[startup+60.0141 s]
Raw data (loadavg): 1.15 1.02 0.93 2/63 11966
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 17989 0 1 0 5268 41 0 0 25 0 10 0 549058437 862265344 22974 4294967295 134512640 134569956 3221224400 3221214304 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210514 22974 13073 16 0 210498 0
vsize: 842056
[startup+70.0147 s]
Raw data (loadavg): 1.13 1.02 0.93 2/63 11966
Raw data (stat): 11957 (java) S 11956 22612 22611 0 -1 0 17989 0 1 0 6172 42 0 0 25 0 10 0 549058437 862265344 23507 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210514 23507 13073 16 0 210498 0
vsize: 842056
[startup+80.0159 s]
Raw data (loadavg): 1.11 1.02 0.93 2/63 11966
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 17989 0 1 0 7096 42 0 0 25 0 10 0 549058437 862265344 23638 4294967295 134512640 134569956 3221224400 3221214320 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210514 23638 13073 16 0 210498 0
vsize: 842056
[startup+90.0166 s]
Raw data (loadavg): 1.09 1.02 0.93 2/63 11966
Raw data (stat): 11957 (java) S 11956 22612 22611 0 -1 0 17989 0 1 0 8006 43 0 0 25 0 10 0 549058437 859656192 23128 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209877 23128 13073 16 0 209861 0
vsize: 839508
[startup+100.017 s]
Raw data (loadavg): 1.08 1.02 0.93 2/63 11966
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 17989 0 1 0 8920 44 0 0 25 0 10 0 549058437 859656192 23303 4294967295 134512640 134569956 3221224400 3221214880 1131165134 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209877 23303 13073 16 0 209861 0
vsize: 839508
[startup+110.017 s]
Raw data (loadavg): 1.15 1.03 0.93 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18058 0 1 0 9728 46 0 0 25 0 11 0 549058437 860184576 24365 4294967295 134512640 134569956 3221224400 3221214672 1131427312 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 24365 13073 16 0 209990 0
vsize: 840024
[startup+120.017 s]
Raw data (loadavg): 1.12 1.03 0.93 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18058 0 1 0 10707 46 0 0 25 0 11 0 549058437 860184576 24369 4294967295 134512640 134569956 3221224400 3221214288 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 24369 13073 16 0 209990 0
vsize: 840024
[startup+130.017 s]
Raw data (loadavg): 1.18 1.04 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18059 0 1 0 11677 47 0 0 25 0 11 0 549058437 860184576 24372 4294967295 134512640 134569956 3221224400 3221214624 1131556665 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 24372 13073 16 0 209990 0
vsize: 840024
[startup+140.018 s]
Raw data (loadavg): 1.15 1.04 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18059 0 1 0 12644 47 0 0 25 0 11 0 549058437 860184576 24401 4294967295 134512640 134569956 3221224400 3221214744 1131510116 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 24401 13073 16 0 209990 0
vsize: 840024
[startup+150.019 s]
Raw data (loadavg): 1.21 1.06 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18059 0 1 0 13625 48 0 0 25 0 11 0 549058437 860487680 25024 4294967295 134512640 134569956 3221224400 3221214804 1131587379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210080 25024 13073 16 0 210064 0
vsize: 840320
[startup+160.018 s]
Raw data (loadavg): 1.18 1.06 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18059 0 1 0 14614 48 0 0 25 0 11 0 549058437 860487680 25024 4294967295 134512640 134569956 3221224400 3221214416 1080216969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210080 25024 13073 16 0 210064 0
vsize: 840320
[startup+170.021 s]
Raw data (loadavg): 1.15 1.05 0.94 2/64 11967
Raw data (stat): 11957 (java) S 11956 22612 22611 0 -1 0 18059 0 1 0 15606 48 0 0 25 0 11 0 549058437 860487680 25024 4294967295 134512640 134569956 3221224400 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210080 25024 13073 16 0 210064 0
vsize: 840320
[startup+180.021 s]
Raw data (loadavg): 1.13 1.05 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18059 0 1 0 16595 48 0 0 25 0 11 0 549058437 860184576 24962 4294967295 134512640 134569956 3221224400 3221214592 1131576846 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 24962 13073 16 0 209990 0
vsize: 840024
[startup+190.022 s]
Raw data (loadavg): 1.11 1.05 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18059 0 1 0 17583 48 0 0 25 0 11 0 549058437 860184576 24962 4294967295 134512640 134569956 3221224400 3221214656 1131498998 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210006 24962 13073 16 0 209990 0
vsize: 840024
[startup+200.022 s]
Raw data (loadavg): 1.09 1.05 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18059 0 1 0 18570 48 0 0 25 0 11 0 549058437 860184576 24962 4294967295 134512640 134569956 3221224400 3221214480 1131493175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210006 24962 13073 16 0 209990 0
vsize: 840024
[startup+210.022 s]
Raw data (loadavg): 1.08 1.05 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18059 0 1 0 19561 48 0 0 25 0 11 0 549058437 860184576 24962 4294967295 134512640 134569956 3221224400 3221214592 1131576696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210006 24962 13073 16 0 209990 0
vsize: 840024
[startup+220.022 s]
Raw data (loadavg): 1.06 1.04 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18059 0 1 0 20552 48 0 0 25 0 11 0 549058437 860184576 24962 4294967295 134512640 134569956 3221224400 3221214560 1131542688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210006 24962 13073 16 0 209990 0
vsize: 840024
[startup+230.022 s]
Raw data (loadavg): 1.05 1.04 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 21538 49 0 0 25 0 11 0 549058437 860184576 25056 4294967295 134512640 134569956 3221224400 3221214656 1131319364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210006 25056 13073 16 0 209990 0
vsize: 840024
[startup+240.022 s]
Raw data (loadavg): 1.04 1.04 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 22527 49 0 0 25 0 11 0 549058437 860184576 25155 4294967295 134512640 134569956 3221224400 3221214544 1131493667 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210006 25155 13073 16 0 209990 0
vsize: 840024
[startup+250.023 s]
Raw data (loadavg): 1.04 1.04 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 23520 49 0 0 25 0 11 0 549058437 860184576 25242 4294967295 134512640 134569956 3221224400 3221214528 1131586167 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210006 25242 13073 16 0 209990 0
vsize: 840024
[startup+260.023 s]
Raw data (loadavg): 1.03 1.04 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 24509 49 0 0 25 0 11 0 549058437 860184576 25374 4294967295 134512640 134569956 3221224400 3221214352 1080217273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210006 25374 13073 16 0 209990 0
vsize: 840024
[startup+270.024 s]
Raw data (loadavg): 1.03 1.03 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 25505 49 0 0 25 0 11 0 549058437 860184576 25419 4294967295 134512640 134569956 3221224400 3221214620 1080203746 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210006 25419 13073 16 0 209990 0
vsize: 840024
[startup+280.023 s]
Raw data (loadavg): 1.02 1.03 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 26496 49 0 0 25 0 11 0 549058437 860184576 25453 4294967295 134512640 134569956 3221224400 3221214552 1131569235 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210006 25453 13073 16 0 209990 0
vsize: 840024
[startup+290.024 s]
Raw data (loadavg): 1.02 1.03 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 27494 49 0 0 25 0 11 0 549058437 860184576 25460 4294967295 134512640 134569956 3221224400 3221214560 1131542863 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210006 25460 13073 16 0 209990 0
vsize: 840024
[startup+300.024 s]
Raw data (loadavg): 1.01 1.03 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 28487 49 0 0 25 0 11 0 549058437 860184576 25500 4294967295 134512640 134569956 3221224400 3221214320 1080217232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210006 25500 13073 16 0 209990 0
vsize: 840024
[startup+310.024 s]
Raw data (loadavg): 1.01 1.03 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 29481 49 0 0 25 0 11 0 549058437 860184576 25527 4294967295 134512640 134569956 3221224400 3221214760 1131638675 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210006 25527 13073 16 0 209990 0
vsize: 840024
[startup+320.025 s]
Raw data (loadavg): 1.01 1.03 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 30477 49 0 0 25 0 11 0 549058437 860184576 25568 4294967295 134512640 134569956 3221224400 3221214544 1131493532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210006 25568 13073 16 0 209990 0
vsize: 840024
[startup+330.025 s]
Raw data (loadavg): 1.01 1.03 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 31470 49 0 0 25 0 11 0 549058437 860184576 25601 4294967295 134512640 134569956 3221224400 3221214320 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210006 25601 13073 16 0 209990 0
vsize: 840024
[startup+340.025 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 32466 49 0 0 25 0 11 0 549058437 860184576 25622 4294967295 134512640 134569956 3221224400 3221214696 1131498760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210006 25622 13073 16 0 209990 0
vsize: 840024
[startup+350.027 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 33462 49 0 0 25 0 11 0 549058437 860184576 25652 4294967295 134512640 134569956 3221224400 3221214472 1131589564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210006 25652 13073 16 0 209990 0
vsize: 840024
[startup+360.032 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 34455 49 0 0 25 0 11 0 549058437 860184576 25679 4294967295 134512640 134569956 3221224400 3221214552 1131569209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210006 25679 13073 16 0 209990 0
vsize: 840024
[startup+370.031 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 35451 49 0 0 25 0 11 0 549058437 860184576 25699 4294967295 134512640 134569956 3221224400 3221214480 1131492848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210006 25699 13073 16 0 209990 0
vsize: 840024
[startup+380.031 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 36446 49 0 0 25 0 11 0 549058437 860184576 25725 4294967295 134512640 134569956 3221224400 3221214352 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210006 25725 13073 16 0 209990 0
vsize: 840024
[startup+390.032 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 37439 49 0 0 25 0 11 0 549058437 860184576 25787 4294967295 134512640 134569956 3221224400 3221214552 1131569186 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210006 25787 13073 16 0 209990 0
vsize: 840024
[startup+400.032 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 38434 49 0 0 24 0 11 0 549058437 860184576 25797 4294967295 134512640 134569956 3221224400 3221214656 1131498893 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 25797 13073 16 0 209990 0
vsize: 840024
[startup+410.032 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 39429 50 0 0 25 0 11 0 549058437 860184576 25818 4294967295 134512640 134569956 3221224400 3221214544 1131493453 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 25818 13073 16 0 209990 0
vsize: 840024
[startup+420.033 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 40423 50 0 0 25 0 11 0 549058437 860184576 25823 4294967295 134512640 134569956 3221224400 3221214560 1131541275 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 25823 13073 16 0 209990 0
vsize: 840024
[startup+430.033 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 41417 50 0 0 25 0 11 0 549058437 860184576 25856 4294967295 134512640 134569956 3221224400 3221214560 1131542828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210006 25856 13073 16 0 209990 0
vsize: 840024
[startup+440.035 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 42413 50 0 0 25 0 11 0 549058437 860184576 25888 4294967295 134512640 134569956 3221224400 3221214480 1131492835 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 25888 13073 16 0 209990 0
vsize: 840024
[startup+450.035 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 43408 51 0 0 25 0 11 0 549058437 860184576 25914 4294967295 134512640 134569956 3221224400 3221214480 1131493288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 25914 13073 16 0 209990 0
vsize: 840024
[startup+460.035 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 44402 51 0 0 25 0 11 0 549058437 860184576 25951 4294967295 134512640 134569956 3221224400 3221214480 1131493230 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210006 25951 13073 16 0 209990 0
vsize: 840024
[startup+470.036 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 45400 51 0 0 25 0 11 0 549058437 860184576 25956 4294967295 134512640 134569956 3221224400 3221214552 1131569001 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 25956 13073 16 0 209990 0
vsize: 840024
[startup+480.036 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 46396 51 0 0 25 0 11 0 549058437 860184576 25977 4294967295 134512640 134569956 3221224400 3221214552 1131568996 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 25977 13073 16 0 209990 0
vsize: 840024
[startup+490.037 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 47391 51 0 0 25 0 11 0 549058437 860184576 25995 4294967295 134512640 134569956 3221224400 3221214656 1131498994 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 25995 13073 16 0 209990 0
vsize: 840024
[startup+500.037 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 48389 51 0 0 25 0 11 0 549058437 860184576 26013 4294967295 134512640 134569956 3221224400 3221214656 1131498853 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26013 13073 16 0 209990 0
vsize: 840024
[startup+510.036 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 49386 51 0 0 25 0 11 0 549058437 860184576 26040 4294967295 134512640 134569956 3221224400 3221214384 1080217052 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26040 13073 16 0 209990 0
vsize: 840024
[startup+520.036 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 50382 51 0 0 25 0 11 0 549058437 860184576 26062 4294967295 134512640 134569956 3221224400 3221214480 1131493341 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210006 26062 13073 16 0 209990 0
vsize: 840024
[startup+530.037 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 51378 51 0 0 25 0 11 0 549058437 860184576 26096 4294967295 134512640 134569956 3221224400 3221214480 1131493020 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26096 13073 16 0 209990 0
vsize: 840024
[startup+540.037 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 52375 52 0 0 25 0 11 0 549058437 860184576 26110 4294967295 134512640 134569956 3221224400 3221214656 1131498929 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26110 13073 16 0 209990 0
vsize: 840024
[startup+550.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 53371 52 0 0 25 0 11 0 549058437 860184576 26135 4294967295 134512640 134569956 3221224400 3221214320 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210006 26135 13073 16 0 209990 0
vsize: 840024
[startup+560.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 54367 52 0 0 25 0 11 0 549058437 860184576 26141 4294967295 134512640 134569956 3221224400 3221214560 1131542016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26141 13073 16 0 209990 0
vsize: 840024
[startup+570.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 55364 53 0 0 25 0 11 0 549058437 860184576 26172 4294967295 134512640 134569956 3221224400 3221214552 1131569275 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26172 13073 16 0 209990 0
vsize: 840024
[startup+580.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 56361 53 0 0 25 0 11 0 549058437 860184576 26219 4294967295 134512640 134569956 3221224400 3221214480 1131493274 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26219 13073 16 0 209990 0
vsize: 840024
[startup+590.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 57359 53 0 0 25 0 11 0 549058437 860184576 26243 4294967295 134512640 134569956 3221224400 3221214656 1131498825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210006 26243 13073 16 0 209990 0
vsize: 840024
[startup+600.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 58357 53 0 0 25 0 11 0 549058437 860184576 26260 4294967295 134512640 134569956 3221224400 3221214352 1080217209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26260 13073 16 0 209990 0
vsize: 840024
[startup+610.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 59354 53 0 0 24 0 11 0 549058437 860184576 26269 4294967295 134512640 134569956 3221224400 3221214480 1131493492 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210006 26269 13073 16 0 209990 0
vsize: 840024
[startup+620.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 60354 54 0 0 25 0 11 0 549058437 860184576 26269 4294967295 134512640 134569956 3221224400 3221214544 1131493475 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210006 26269 13073 16 0 209990 0
vsize: 840024
[startup+630.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 61352 54 0 0 25 0 11 0 549058437 860184576 26272 4294967295 134512640 134569956 3221224400 3221214480 1131492857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26272 13073 16 0 209990 0
vsize: 840024
[startup+640.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 62349 54 0 0 25 0 11 0 549058437 860184576 26277 4294967295 134512640 134569956 3221224400 3221214528 1131586237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210006 26277 13073 16 0 209990 0
vsize: 840024
[startup+650.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 63347 54 0 0 25 0 11 0 549058437 860184576 26279 4294967295 134512640 134569956 3221224400 3221214696 1131498765 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26279 13073 16 0 209990 0
vsize: 840024
[startup+660.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 64344 54 0 0 25 0 11 0 549058437 860184576 26279 4294967295 134512640 134569956 3221224400 3221214480 1131493102 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26279 13073 16 0 209990 0
vsize: 840024
[startup+670.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 65342 54 0 0 25 0 11 0 549058437 860184576 26280 4294967295 134512640 134569956 3221224400 3221214416 1080217061 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26280 13073 16 0 209990 0
vsize: 840024
[startup+680.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 66340 54 0 0 25 0 11 0 549058437 860184576 26290 4294967295 134512640 134569956 3221224400 3221214552 1131569142 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26290 13073 16 0 209990 0
vsize: 840024
[startup+690.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 67338 55 0 0 25 0 11 0 549058437 860184576 26290 4294967295 134512640 134569956 3221224400 3221214632 1131567352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210006 26290 13073 16 0 209990 0
vsize: 840024
[startup+700.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 68337 55 0 0 25 0 11 0 549058437 860184576 26291 4294967295 134512640 134569956 3221224400 3221214480 1131493167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26291 13073 16 0 209990 0
vsize: 840024
[startup+710.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 69335 55 0 0 25 0 11 0 549058437 860184576 26292 4294967295 134512640 134569956 3221224400 3221214560 1131542584 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210006 26292 13073 16 0 209990 0
vsize: 840024
[startup+720.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 70332 55 0 0 25 0 11 0 549058437 860184576 26309 4294967295 134512640 134569956 3221224400 3221214320 1080217328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26309 13073 16 0 209990 0
vsize: 840024
[startup+730.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 71329 56 0 0 25 0 11 0 549058437 860184576 26328 4294967295 134512640 134569956 3221224400 3221214556 1131586092 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26328 13073 16 0 209990 0
vsize: 840024
[startup+740.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 72327 56 0 0 25 0 11 0 549058437 860184576 26343 4294967295 134512640 134569956 3221224400 3221214480 1131492960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26343 13073 16 0 209990 0
vsize: 840024
[startup+750.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 73324 56 0 0 25 0 11 0 549058437 860184576 26345 4294967295 134512640 134569956 3221224400 3221214480 1131493040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26345 13073 16 0 209990 0
vsize: 840024
[startup+760.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 74322 56 0 0 25 0 11 0 549058437 860184576 26346 4294967295 134512640 134569956 3221224400 3221214536 1131608975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210006 26346 13073 16 0 209990 0
vsize: 840024
[startup+770.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 75320 56 0 0 25 0 11 0 549058437 860184576 26348 4294967295 134512640 134569956 3221224400 3221214560 1131542276 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26348 13073 16 0 209990 0
vsize: 840024
[startup+780.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 76317 57 0 0 25 0 11 0 549058437 860184576 26359 4294967295 134512640 134569956 3221224400 3221214592 1131576787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210006 26359 13073 16 0 209990 0
vsize: 840024
[startup+790.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 77314 57 0 0 25 0 11 0 549058437 860184576 26360 4294967295 134512640 134569956 3221224400 3221214560 1131542144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26360 13073 16 0 209990 0
vsize: 840024
[startup+800.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 78313 57 0 0 25 0 11 0 549058437 860184576 26360 4294967295 134512640 134569956 3221224400 3221214352 1080217240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26360 13073 16 0 209990 0
vsize: 840024
[startup+810.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 79311 57 0 0 25 0 11 0 549058437 860184576 26367 4294967295 134512640 134569956 3221224400 3221214656 1131498901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210006 26367 13073 16 0 209990 0
vsize: 840024
[startup+820.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 80308 57 0 0 25 0 11 0 549058437 860184576 26367 4294967295 134512640 134569956 3221224400 3221214632 1131498929 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26367 13073 16 0 209990 0
vsize: 840024
[startup+830.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 81306 58 0 0 25 0 11 0 549058437 860184576 26369 4294967295 134512640 134569956 3221224400 3221214384 1080217037 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26369 13073 16 0 209990 0
vsize: 840024
[startup+840.058 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 82305 58 0 0 25 0 11 0 549058437 860184576 26401 4294967295 134512640 134569956 3221224400 3221214680 1131286588 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26401 13073 16 0 209990 0
vsize: 840024
[startup+850.057 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 83304 58 0 0 25 0 11 0 549058437 860184576 26401 4294967295 134512640 134569956 3221224400 3221214480 1131493020 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26401 13073 16 0 209990 0
vsize: 840024
[startup+860.057 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 84302 58 0 0 25 0 11 0 549058437 860184576 26401 4294967295 134512640 134569956 3221224400 3221214608 1131599277 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26401 13073 16 0 209990 0
vsize: 840024
[startup+870.058 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 85300 58 0 0 25 0 11 0 549058437 860184576 26411 4294967295 134512640 134569956 3221224400 3221214320 1080217273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26411 13073 16 0 209990 0
vsize: 840024
[startup+880.058 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 86299 58 0 0 25 0 11 0 549058437 860184576 26411 4294967295 134512640 134569956 3221224400 3221214552 1131568996 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26411 13073 16 0 209990 0
vsize: 840024
[startup+890.059 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 87298 58 0 0 25 0 11 0 549058437 860184576 26411 4294967295 134512640 134569956 3221224400 3221214696 1131499002 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26411 13073 16 0 209990 0
vsize: 840024
[startup+900.059 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 88296 59 0 0 25 0 11 0 549058437 860184576 26414 4294967295 134512640 134569956 3221224400 3221214760 1131638672 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26414 13073 16 0 209990 0
vsize: 840024
[startup+910.059 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 89294 59 0 0 25 0 11 0 549058437 860184576 26414 4294967295 134512640 134569956 3221224400 3221214560 1131542103 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26414 13073 16 0 209990 0
vsize: 840024
[startup+920.061 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 90293 59 0 0 25 0 11 0 549058437 860184576 26414 4294967295 134512640 134569956 3221224400 3221214480 1131493361 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26414 13073 16 0 209990 0
vsize: 840024
[startup+930.061 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 91291 60 0 0 25 0 11 0 549058437 860184576 26414 4294967295 134512640 134569956 3221224400 3221214472 1131589066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210006 26414 13073 16 0 209990 0
vsize: 840024
[startup+940.061 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 92288 60 0 0 25 0 11 0 549058437 860184576 26414 4294967295 134512640 134569956 3221224400 3221214480 1131493274 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26414 13073 16 0 209990 0
vsize: 840024
[startup+950.062 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 93285 60 0 0 25 0 11 0 549058437 860184576 26414 4294967295 134512640 134569956 3221224400 3221214480 1131493161 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26414 13073 16 0 209990 0
vsize: 840024
[startup+960.061 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 94283 61 0 0 25 0 11 0 549058437 860184576 26414 4294967295 134512640 134569956 3221224400 3221214552 1131569265 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26414 13073 16 0 209990 0
vsize: 840024
[startup+970.062 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 95280 61 0 0 25 0 11 0 549058437 860184576 26414 4294967295 134512640 134569956 3221224400 3221214480 1131493102 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26414 13073 16 0 209990 0
vsize: 840024
[startup+980.063 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 96277 61 0 0 25 0 11 0 549058437 860184576 26428 4294967295 134512640 134569956 3221224400 3221214480 1131493060 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26428 13073 16 0 209990 0
vsize: 840024
[startup+990.062 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 97277 62 0 0 25 0 11 0 549058437 860184576 26428 4294967295 134512640 134569956 3221224400 3221214544 1131493408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210006 26428 13073 16 0 209990 0
vsize: 840024
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 98275 62 0 0 25 0 11 0 549058437 860184576 26439 4294967295 134512640 134569956 3221224400 3221214352 1080217199 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26439 13073 16 0 209990 0
vsize: 840024
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 99273 62 0 0 25 0 11 0 549058437 860184576 26446 4294967295 134512640 134569956 3221224400 3221214544 1131493453 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26446 13073 16 0 209990 0
vsize: 840024
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 100271 62 0 0 25 0 11 0 549058437 860184576 26449 4294967295 134512640 134569956 3221224400 3221214480 1131493678 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26449 13073 16 0 209990 0
vsize: 840024
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 101269 62 0 0 25 0 11 0 549058437 860184576 26449 4294967295 134512640 134569956 3221224400 3221214656 1131499002 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26449 13073 16 0 209990 0
vsize: 840024
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 102268 63 0 0 25 0 11 0 549058437 860184576 26455 4294967295 134512640 134569956 3221224400 3221214560 1131542050 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26455 13073 16 0 209990 0
vsize: 840024
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 103266 63 0 0 25 0 11 0 549058437 860184576 26461 4294967295 134512640 134569956 3221224400 3221214544 1131493593 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26461 13073 16 0 209990 0
vsize: 840024
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 104264 63 0 0 25 0 11 0 549058437 860184576 26467 4294967295 134512640 134569956 3221224400 3221214808 1131480720 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26467 13073 16 0 209990 0
vsize: 840024
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 105262 63 0 0 25 0 11 0 549058437 860184576 26474 4294967295 134512640 134569956 3221224400 3221214480 1131492989 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26474 13073 16 0 209990 0
vsize: 840024
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 106261 64 0 0 25 0 11 0 549058437 860184576 26477 4294967295 134512640 134569956 3221224400 3221214492 1080216944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26477 13073 16 0 209990 0
vsize: 840024
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 107258 64 0 0 25 0 11 0 549058437 860184576 26497 4294967295 134512640 134569956 3221224400 3221214400 1080217189 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26497 13073 16 0 209990 0
vsize: 840024
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 108256 65 0 0 25 0 11 0 549058437 860184576 26507 4294967295 134512640 134569956 3221224400 3221214484 1080217097 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26507 13073 16 0 209990 0
vsize: 840024
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 109254 65 0 0 25 0 11 0 549058437 860184576 26524 4294967295 134512640 134569956 3221224400 3221214480 1131492795 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26524 13073 16 0 209990 0
vsize: 840024
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 110251 65 0 0 25 0 11 0 549058437 860184576 26524 4294967295 134512640 134569956 3221224400 3221214560 1131542159 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26524 13073 16 0 209990 0
vsize: 840024
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 111250 66 0 0 25 0 11 0 549058437 860184576 26524 4294967295 134512640 134569956 3221224400 3221214592 1131576828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26524 13073 16 0 209990 0
vsize: 840024
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 112248 66 0 0 25 0 11 0 549058437 860184576 26535 4294967295 134512640 134569956 3221224400 3221214408 1080217187 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26535 13073 16 0 209990 0
vsize: 840024
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 113247 66 0 0 25 0 11 0 549058437 860184576 26535 4294967295 134512640 134569956 3221224400 3221214560 1131542618 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26535 13073 16 0 209990 0
vsize: 840024
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 114244 67 0 0 25 0 11 0 549058437 860184576 26542 4294967295 134512640 134569956 3221224400 3221214480 1131492960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26542 13073 16 0 209990 0
vsize: 840024
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 115242 67 0 0 25 0 11 0 549058437 860184576 26542 4294967295 134512640 134569956 3221224400 3221214496 1079721531 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26542 13073 16 0 209990 0
vsize: 840024
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 116239 67 0 0 25 0 11 0 549058437 860184576 26543 4294967295 134512640 134569956 3221224400 3221214480 1131493361 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26543 13073 16 0 209990 0
vsize: 840024
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 117237 67 0 0 25 0 11 0 549058437 860184576 26557 4294967295 134512640 134569956 3221224400 3221214480 1131493344 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26557 13073 16 0 209990 0
vsize: 840024
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 118234 67 0 0 25 0 11 0 549058437 860184576 26561 4294967295 134512640 134569956 3221224400 3221214480 1131493995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26561 13073 16 0 209990 0
vsize: 840024
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 119232 68 0 0 25 0 11 0 549058437 860184576 26576 4294967295 134512640 134569956 3221224400 3221214560 1131542828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26576 13073 16 0 209990 0
vsize: 840024
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 11967
Raw data (stat): 11957 (java) R 11956 22612 22611 0 -1 0 18060 0 1 0 120231 68 0 0 25 0 11 0 549058437 860184576 26576 4294967295 134512640 134569956 3221224400 3221214480 1131492807 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210006 26576 13073 16 0 209990 0
vsize: 840024
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.14 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 11969
Raw data (stat): 11957 (java) Z 11956 22612 22611 0 -1 1036 18060 17632 1 0 120232 73 3152 47 25 0 1 0 549058437 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): 1235.07
CPU user time (s): 1233.86
CPU system time (s): 1.20982
CPU usage (%): 101.223
Max. virtual memory (Kb): 842152
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####