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-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-qiu.opb
MD5SUM	3d2c1e8e1ac719fa835886a3b753eac3
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	5328
Biggest coefficient in the objective function	8885108736
Number of bits for the biggest coefficient in the objective function	34
Sum of the numbers in the objective function	4692033563496
Number of bits of the sum of numbers in the objective function	43
Biggest number in a constraint	8885108736
Number of bits of the biggest number in a constraint	34
Biggest sum of numbers in a constraint	4692033563496
Number of bits of the biggest sum of numbers	43
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.136978
Number of variables	15888
Total number of constraints	1192
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1192
Minimum length of a constraint	21
Maximum length of a constraint	3960
Trace number 18957

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-04-21 17:19:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17208 boxname=wulflinc27 idbench=1324 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  3d2c1e8e1ac719fa835886a3b753eac3  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-qiu.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-qiu.opb
IDLAUNCH: 17208
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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.169
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:        801732 kB
Buffers:         10616 kB
Cached:         198856 kB
SwapCached:        512 kB
Active:          26448 kB
Inactive:       184992 kB
HighTotal:      131008 kB
HighFree:        19880 kB
LowTotal:       903652 kB
LowFree:        781852 kB
SwapTotal:     2097892 kB
SwapFree:      2096468 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5092 kB
Slab:            15764 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 17:40:20 (client local time) WITH STATUS 143 IN 1237.67 SECONDS
stats: 17208 7 1237.67 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-qiu.opb
c reading problem 
c [nbvar=15888]
c [nbconstr=1192]
c time 78.481
c #vars     15888
c #clauses  1325
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.86 0.94 0.90 2/54 22640
Raw data (stat): 22640 (runsolver) R 22639 18865 18864 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 546825643 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0011 s]
Raw data (loadavg): 0.88 0.94 0.90 2/63 22649
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 17972 0 1 0 885 41 0 0 25 0 10 0 546825643 853573632 19127 4294967295 134512640 134569956 3221224400 3221214520 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208392 19127 13073 16 0 208376 0
vsize: 833568
[startup+20.0019 s]
Raw data (loadavg): 0.90 0.94 0.90 2/63 22649
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 17983 0 1 0 1722 41 0 0 25 0 10 0 546825643 854978560 20285 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208735 20285 13073 16 0 208719 0
vsize: 834940
[startup+30.0062 s]
Raw data (loadavg): 0.91 0.94 0.90 2/63 22649
Raw data (stat): 22640 (java) S 22639 18865 18864 0 -1 0 17983 0 1 0 2586 42 0 0 21 0 10 0 546825643 854945792 20777 4294967295 134512640 134569956 3221224400 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208727 20777 13073 16 0 208711 0
vsize: 834908
[startup+40.0066 s]
Raw data (loadavg): 0.93 0.94 0.90 2/63 22649
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 17983 0 1 0 3481 42 0 0 21 0 10 0 546825643 854945792 21150 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208727 21150 13073 16 0 208711 0
vsize: 834908
[startup+50.0075 s]
Raw data (loadavg): 0.94 0.95 0.91 2/63 22649
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 17983 0 1 0 4386 43 0 0 24 0 10 0 546825643 854945792 21341 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208727 21341 13073 16 0 208711 0
vsize: 834908
[startup+60.0083 s]
Raw data (loadavg): 0.95 0.95 0.91 2/63 22649
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 17983 0 1 0 5294 43 0 0 25 0 10 0 546825643 854945792 21519 4294967295 134512640 134569956 3221224400 3221214848 1131266570 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208727 21519 13073 16 0 208711 0
vsize: 834908
[startup+70.0091 s]
Raw data (loadavg): 0.95 0.95 0.91 2/63 22649
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 17983 0 1 0 6208 44 0 0 25 0 10 0 546825643 854945792 21734 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208727 21734 13073 16 0 208711 0
vsize: 834908
[startup+80.0099 s]
Raw data (loadavg): 0.96 0.95 0.91 3/63 22649
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18012 0 1 0 7143 44 0 0 25 0 10 0 546825643 856342528 22163 4294967295 134512640 134569956 3221224400 3221214952 1131146621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209068 22163 13073 16 0 209052 0
vsize: 836272
[startup+90.0112 s]
Raw data (loadavg): 0.97 0.95 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18060 0 1 0 7933 44 0 0 25 0 11 0 546825643 859127808 23618 4294967295 134512640 134569956 3221224400 3221214640 1131185728 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209748 23618 13073 16 0 209732 0
vsize: 838992
[startup+100.012 s]
Raw data (loadavg): 0.97 0.95 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18061 0 1 0 8846 45 0 0 25 0 11 0 546825643 858046464 23366 4294967295 134512640 134569956 3221224400 3221214776 1131356168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23366 13073 16 0 209468 0
vsize: 837936
[startup+110.013 s]
Raw data (loadavg): 0.97 0.95 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18061 0 1 0 9758 45 0 0 25 0 11 0 546825643 858046464 23366 4294967295 134512640 134569956 3221224400 3221214680 1131256186 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 23366 13073 16 0 209468 0
vsize: 837936
[startup+120.014 s]
Raw data (loadavg): 0.98 0.95 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18061 0 1 0 10676 45 0 0 25 0 11 0 546825643 858046464 24117 4294967295 134512640 134569956 3221224400 3221214776 1131354253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24117 13073 16 0 209468 0
vsize: 837936
[startup+130.014 s]
Raw data (loadavg): 0.98 0.95 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18061 0 1 0 11665 45 0 0 25 0 11 0 546825643 858046464 24145 4294967295 134512640 134569956 3221224400 3221214680 1131255131 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24145 13073 16 0 209468 0
vsize: 837936
[startup+140.015 s]
Raw data (loadavg): 0.98 0.95 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18061 0 1 0 12652 45 0 0 24 0 11 0 546825643 858046464 24169 4294967295 134512640 134569956 3221224400 3221214680 1131255522 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24169 13073 16 0 209468 0
vsize: 837936
[startup+150.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18061 0 1 0 13640 46 0 0 25 0 11 0 546825643 858046464 24189 4294967295 134512640 134569956 3221224400 3221214680 1131255072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24189 13073 16 0 209468 0
vsize: 837936
[startup+160.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18061 0 1 0 14625 46 0 0 25 0 11 0 546825643 858046464 24214 4294967295 134512640 134569956 3221224400 3221214776 1131355366 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24214 13073 16 0 209468 0
vsize: 837936
[startup+170.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18062 0 1 0 15612 47 0 0 25 0 11 0 546825643 858046464 24273 4294967295 134512640 134569956 3221224400 3221214680 1131255561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24273 13073 16 0 209468 0
vsize: 837936
[startup+180.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18062 0 1 0 16598 47 0 0 24 0 11 0 546825643 858046464 24319 4294967295 134512640 134569956 3221224400 3221214680 1131255059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24319 13073 16 0 209468 0
vsize: 837936
[startup+190.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18062 0 1 0 17586 47 0 0 25 0 11 0 546825643 858046464 24357 4294967295 134512640 134569956 3221224400 3221214680 1131256228 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24357 13073 16 0 209468 0
vsize: 837936
[startup+200.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18062 0 1 0 18570 47 0 0 25 0 11 0 546825643 858046464 24395 4294967295 134512640 134569956 3221224400 3221214680 1131256309 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24395 13073 16 0 209468 0
vsize: 837936
[startup+210.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18062 0 1 0 19553 48 0 0 25 0 11 0 546825643 858046464 24455 4294967295 134512640 134569956 3221224400 3221214776 1131355289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24455 13073 16 0 209468 0
vsize: 837936
[startup+220.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18062 0 1 0 20536 48 0 0 25 0 11 0 546825643 858046464 24511 4294967295 134512640 134569956 3221224400 3221214912 1131352114 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24511 13073 16 0 209468 0
vsize: 837936
[startup+230.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18062 0 1 0 21520 48 0 0 25 0 11 0 546825643 858046464 24594 4294967295 134512640 134569956 3221224400 3221214680 1131256175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24594 13073 16 0 209468 0
vsize: 837936
[startup+240.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18062 0 1 0 22504 49 0 0 25 0 11 0 546825643 858046464 24661 4294967295 134512640 134569956 3221224400 3221214776 1131358037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24661 13073 16 0 209468 0
vsize: 837936
[startup+250.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18062 0 1 0 23490 49 0 0 25 0 11 0 546825643 858046464 24727 4294967295 134512640 134569956 3221224400 3221214772 1131256344 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24727 13073 16 0 209468 0
vsize: 837936
[startup+260.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18062 0 1 0 24476 49 0 0 25 0 11 0 546825643 858046464 24792 4294967295 134512640 134569956 3221224400 3221214888 1131340737 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24792 13073 16 0 209468 0
vsize: 837936
[startup+270.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18062 0 1 0 25462 50 0 0 25 0 11 0 546825643 858046464 24849 4294967295 134512640 134569956 3221224400 3221214680 1131255405 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24849 13073 16 0 209468 0
vsize: 837936
[startup+280.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18062 0 1 0 26448 50 0 0 25 0 11 0 546825643 858046464 24917 4294967295 134512640 134569956 3221224400 3221214680 1131255405 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24917 13073 16 0 209468 0
vsize: 837936
[startup+290.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18062 0 1 0 27434 51 0 0 25 0 11 0 546825643 858046464 24977 4294967295 134512640 134569956 3221224400 3221214680 1131256162 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 24977 13073 16 0 209468 0
vsize: 837936
[startup+300.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18062 0 1 0 28419 51 0 0 25 0 11 0 546825643 858046464 25034 4294967295 134512640 134569956 3221224400 3221214680 1131255101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 25034 13073 16 0 209468 0
vsize: 837936
[startup+310.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18062 0 1 0 29403 51 0 0 24 0 11 0 546825643 858046464 25097 4294967295 134512640 134569956 3221224400 3221214352 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 25097 13073 16 0 209468 0
vsize: 837936
[startup+320.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18062 0 1 0 30386 52 0 0 25 0 11 0 546825643 858046464 25168 4294967295 134512640 134569956 3221224400 3221214680 1131255405 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 25168 13073 16 0 209468 0
vsize: 837936
[startup+330.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18062 0 1 0 31372 52 0 0 25 0 11 0 546825643 858046464 25249 4294967295 134512640 134569956 3221224400 3221214772 1131317065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 25249 13073 16 0 209468 0
vsize: 837936
[startup+340.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18062 0 1 0 32355 52 0 0 25 0 11 0 546825643 858046464 25328 4294967295 134512640 134569956 3221224400 3221214600 1131402428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 25328 13073 16 0 209468 0
vsize: 837936
[startup+350.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18062 0 1 0 33338 53 0 0 25 0 11 0 546825643 858046464 25414 4294967295 134512640 134569956 3221224400 3221214680 1131255169 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 25414 13073 16 0 209468 0
vsize: 837936
[startup+360.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18062 0 1 0 34321 53 0 0 24 0 11 0 546825643 858046464 25501 4294967295 134512640 134569956 3221224400 3221214776 1131354188 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 25501 13073 16 0 209468 0
vsize: 837936
[startup+370.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18062 0 1 0 35301 53 0 0 25 0 11 0 546825643 858046464 25585 4294967295 134512640 134569956 3221224400 3221214680 1131256333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 25585 13073 16 0 209468 0
vsize: 837936
[startup+380.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18062 0 1 0 36280 54 0 0 25 0 11 0 546825643 858046464 25658 4294967295 134512640 134569956 3221224400 3221214680 1131255293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 25658 13073 16 0 209468 0
vsize: 837936
[startup+390.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18062 0 1 0 37259 54 0 0 25 0 11 0 546825643 858046464 25790 4294967295 134512640 134569956 3221224400 3221214776 1131358847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 25790 13073 16 0 209468 0
vsize: 837936
[startup+400.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18062 0 1 0 38242 55 0 0 25 0 11 0 546825643 858046464 25881 4294967295 134512640 134569956 3221224400 3221214600 1131402288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 25881 13073 16 0 209468 0
vsize: 837936
[startup+410.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18062 0 1 0 39225 55 0 0 25 0 11 0 546825643 858046464 25959 4294967295 134512640 134569956 3221224400 3221214680 1131254817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 25959 13073 16 0 209468 0
vsize: 837936
[startup+420.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18062 0 1 0 40209 55 0 0 25 0 11 0 546825643 858046464 26051 4294967295 134512640 134569956 3221224400 3221214680 1131254828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 26051 13073 16 0 209468 0
vsize: 837936
[startup+430.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18062 0 1 0 41190 56 0 0 25 0 11 0 546825643 858046464 26138 4294967295 134512640 134569956 3221224400 3221214776 1131358803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 26138 13073 16 0 209468 0
vsize: 837936
[startup+440.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18062 0 1 0 42173 56 0 0 25 0 11 0 546825643 858046464 26226 4294967295 134512640 134569956 3221224400 3221214776 1131355327 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 26226 13073 16 0 209468 0
vsize: 837936
[startup+450.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18062 0 1 0 43157 56 0 0 25 0 11 0 546825643 858046464 26313 4294967295 134512640 134569956 3221224400 3221214772 1131254796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 26313 13073 16 0 209468 0
vsize: 837936
[startup+460.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18062 0 1 0 44141 57 0 0 25 0 11 0 546825643 858046464 26393 4294967295 134512640 134569956 3221224400 3221214808 1131245051 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 26393 13073 16 0 209468 0
vsize: 837936
[startup+470.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18062 0 1 0 45123 58 0 0 25 0 11 0 546825643 858046464 26469 4294967295 134512640 134569956 3221224400 3221214680 1131256208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 26469 13073 16 0 209468 0
vsize: 837936
[startup+480.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18062 0 1 0 46108 58 0 0 25 0 11 0 546825643 858046464 26543 4294967295 134512640 134569956 3221224400 3221214680 1131255358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 26543 13073 16 0 209468 0
vsize: 837936
[startup+490.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18062 0 1 0 47093 58 0 0 25 0 11 0 546825643 858046464 26609 4294967295 134512640 134569956 3221224400 3221214680 1131255358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 26609 13073 16 0 209468 0
vsize: 837936
[startup+500.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18062 0 1 0 48076 58 0 0 25 0 11 0 546825643 858046464 26682 4294967295 134512640 134569956 3221224400 3221214776 1131355282 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 26682 13073 16 0 209468 0
vsize: 837936
[startup+510.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18062 0 1 0 49058 59 0 0 24 0 11 0 546825643 858046464 26767 4294967295 134512640 134569956 3221224400 3221214680 1131255561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 26767 13073 16 0 209468 0
vsize: 837936
[startup+520.035 s]
Raw data (loadavg): 1.07 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18062 0 1 0 50041 59 0 0 25 0 11 0 546825643 858046464 26856 4294967295 134512640 134569956 3221224400 3221214680 1131255405 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 26856 13073 16 0 209468 0
vsize: 837936
[startup+530.034 s]
Raw data (loadavg): 1.06 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18062 0 1 0 51024 59 0 0 25 0 11 0 546825643 858046464 26927 4294967295 134512640 134569956 3221224400 3221214680 1131255489 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 26927 13073 16 0 209468 0
vsize: 837936
[startup+540.035 s]
Raw data (loadavg): 1.05 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18062 0 1 0 52006 60 0 0 25 0 11 0 546825643 858046464 26996 4294967295 134512640 134569956 3221224400 3221214680 1131255405 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 26996 13073 16 0 209468 0
vsize: 837936
[startup+550.036 s]
Raw data (loadavg): 1.04 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18062 0 1 0 52991 60 0 0 25 0 11 0 546825643 858046464 27079 4294967295 134512640 134569956 3221224400 3221214776 1131358080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 27079 13073 16 0 209468 0
vsize: 837936
[startup+560.037 s]
Raw data (loadavg): 1.03 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18062 0 1 0 53973 60 0 0 25 0 11 0 546825643 858046464 27150 4294967295 134512640 134569956 3221224400 3221214776 1131245279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 27150 13073 16 0 209468 0
vsize: 837936
[startup+570.037 s]
Raw data (loadavg): 1.03 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18062 0 1 0 54955 60 0 0 25 0 11 0 546825643 858046464 27224 4294967295 134512640 134569956 3221224400 3221214680 1131255042 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 27224 13073 16 0 209468 0
vsize: 837936
[startup+580.038 s]
Raw data (loadavg): 1.02 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 55939 61 0 0 25 0 11 0 546825643 858046464 27287 4294967295 134512640 134569956 3221224400 3221214548 1130908645 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 27287 13073 16 0 209468 0
vsize: 837936
[startup+590.038 s]
Raw data (loadavg): 1.02 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 56921 61 0 0 25 0 11 0 546825643 858046464 27360 4294967295 134512640 134569956 3221224400 3221214836 1131244972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 27360 13073 16 0 209468 0
vsize: 837936
[startup+600.038 s]
Raw data (loadavg): 1.02 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 57904 61 0 0 25 0 11 0 546825643 858046464 27453 4294967295 134512640 134569956 3221224400 3221214680 1131255879 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 27453 13073 16 0 209468 0
vsize: 837936
[startup+610.039 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 58885 61 0 0 25 0 11 0 546825643 858046464 27535 4294967295 134512640 134569956 3221224400 3221214680 1131255358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 27535 13073 16 0 209468 0
vsize: 837936
[startup+620.039 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 59867 62 0 0 25 0 11 0 546825643 858046464 27605 4294967295 134512640 134569956 3221224400 3221214680 1131255660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 27605 13073 16 0 209468 0
vsize: 837936
[startup+630.039 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 60847 62 0 0 25 0 11 0 546825643 858046464 27695 4294967295 134512640 134569956 3221224400 3221214680 1131255330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 27695 13073 16 0 209468 0
vsize: 837936
[startup+640.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 61828 63 0 0 25 0 11 0 546825643 858046464 27771 4294967295 134512640 134569956 3221224400 3221214680 1131255405 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 27771 13073 16 0 209468 0
vsize: 837936
[startup+650.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 62809 63 0 0 25 0 11 0 546825643 858046464 27861 4294967295 134512640 134569956 3221224400 3221214680 1131255609 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 27861 13073 16 0 209468 0
vsize: 837936
[startup+660.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 63790 63 0 0 25 0 11 0 546825643 858046464 27932 4294967295 134512640 134569956 3221224400 3221214776 1131358199 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 27932 13073 16 0 209468 0
vsize: 837936
[startup+670.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 64769 64 0 0 25 0 11 0 546825643 858046464 28008 4294967295 134512640 134569956 3221224400 3221214680 1131254849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 28008 13073 16 0 209468 0
vsize: 837936
[startup+680.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 65748 64 0 0 25 0 11 0 546825643 858046464 28090 4294967295 134512640 134569956 3221224400 3221214776 1131355220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 28090 13073 16 0 209468 0
vsize: 837936
[startup+690.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 66726 64 0 0 24 0 11 0 546825643 858046464 28220 4294967295 134512640 134569956 3221224400 3221214776 1131358025 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 28220 13073 16 0 209468 0
vsize: 837936
[startup+700.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 67713 64 0 0 25 0 11 0 546825643 858046464 28288 4294967295 134512640 134569956 3221224400 3221214600 1131402296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 28288 13073 16 0 209468 0
vsize: 837936
[startup+710.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 68692 65 0 0 25 0 11 0 546825643 858046464 28392 4294967295 134512640 134569956 3221224400 3221214680 1131255337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 28392 13073 16 0 209468 0
vsize: 837936
[startup+720.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 69670 65 0 0 25 0 11 0 546825643 858046464 28495 4294967295 134512640 134569956 3221224400 3221214680 1131255577 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 28495 13073 16 0 209468 0
vsize: 837936
[startup+730.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 70648 65 0 0 25 0 11 0 546825643 858046464 28601 4294967295 134512640 134569956 3221224400 3221214680 1131255530 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 28601 13073 16 0 209468 0
vsize: 837936
[startup+740.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 71628 66 0 0 25 0 11 0 546825643 858046464 28703 4294967295 134512640 134569956 3221224400 3221214776 1131358042 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209484 28703 13073 16 0 209468 0
vsize: 837936
[startup+750.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 72605 66 0 0 25 0 11 0 546825643 858046464 28800 4294967295 134512640 134569956 3221224400 3221214680 1131255324 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 28800 13073 16 0 209468 0
vsize: 837936
[startup+760.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 73583 66 0 0 25 0 11 0 546825643 858046464 28906 4294967295 134512640 134569956 3221224400 3221214680 1131254839 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 28906 13073 16 0 209468 0
vsize: 837936
[startup+770.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 74559 66 0 0 25 0 11 0 546825643 858046464 29018 4294967295 134512640 134569956 3221224400 3221214680 1131256169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 29018 13073 16 0 209468 0
vsize: 837936
[startup+780.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 75535 66 0 0 25 0 11 0 546825643 858046464 29119 4294967295 134512640 134569956 3221224400 3221214776 1131354188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 29119 13073 16 0 209468 0
vsize: 837936
[startup+790.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 76510 66 0 0 25 0 11 0 546825643 858046464 29258 4294967295 134512640 134569956 3221224400 3221214776 1131354181 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 29258 13073 16 0 209468 0
vsize: 837936
[startup+800.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 77486 66 0 0 25 0 11 0 546825643 858046464 29367 4294967295 134512640 134569956 3221224400 3221214776 1131359286 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 29367 13073 16 0 209468 0
vsize: 837936
[startup+810.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 78461 67 0 0 25 0 11 0 546825643 858046464 29506 4294967295 134512640 134569956 3221224400 3221214680 1131255405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 29506 13073 16 0 209468 0
vsize: 837936
[startup+820.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 79432 67 0 0 25 0 11 0 546825643 858046464 29624 4294967295 134512640 134569956 3221224400 3221214680 1131255845 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 29624 13073 16 0 209468 0
vsize: 837936
[startup+830.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 80400 67 0 0 24 0 11 0 546825643 858046464 29777 4294967295 134512640 134569956 3221224400 3221214680 1131254821 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 29777 13073 16 0 209468 0
vsize: 837936
[startup+840.051 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 81373 67 0 0 25 0 11 0 546825643 858046464 29878 4294967295 134512640 134569956 3221224400 3221214680 1131255386 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 29878 13073 16 0 209468 0
vsize: 837936
[startup+850.051 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 82346 67 0 0 25 0 11 0 546825643 858046464 30068 4294967295 134512640 134569956 3221224400 3221214776 1131354188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 30068 13073 16 0 209468 0
vsize: 837936
[startup+860.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 83323 68 0 0 25 0 11 0 546825643 858046464 30192 4294967295 134512640 134569956 3221224400 3221214680 1131256169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 30192 13073 16 0 209468 0
vsize: 837936
[startup+870.052 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 84300 68 0 0 25 0 11 0 546825643 858046464 30304 4294967295 134512640 134569956 3221224400 3221214696 1131627915 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 30304 13073 16 0 209468 0
vsize: 837936
[startup+880.051 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 85276 68 0 0 25 0 11 0 546825643 858046464 30421 4294967295 134512640 134569956 3221224400 3221214680 1131254825 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 30421 13073 16 0 209468 0
vsize: 837936
[startup+890.052 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 86252 68 0 0 25 0 11 0 546825643 858046464 30545 4294967295 134512640 134569956 3221224400 3221214680 1131255916 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 30545 13073 16 0 209468 0
vsize: 837936
[startup+900.052 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 87227 68 0 0 25 0 11 0 546825643 858046464 30644 4294967295 134512640 134569956 3221224400 3221214808 1131245346 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 30644 13073 16 0 209468 0
vsize: 837936
[startup+910.052 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 88203 68 0 0 25 0 11 0 546825643 858046464 30776 4294967295 134512640 134569956 3221224400 3221214680 1131255448 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 30776 13073 16 0 209468 0
vsize: 837936
[startup+920.051 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 89178 68 0 0 25 0 11 0 546825643 858046464 30897 4294967295 134512640 134569956 3221224400 3221214680 1131255438 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 30897 13073 16 0 209468 0
vsize: 837936
[startup+930.052 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 90154 68 0 0 25 0 11 0 546825643 858046464 31014 4294967295 134512640 134569956 3221224400 3221214680 1131255405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 31014 13073 16 0 209468 0
vsize: 837936
[startup+940.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 91133 68 0 0 25 0 11 0 546825643 858046464 31120 4294967295 134512640 134569956 3221224400 3221214776 1131356196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 31120 13073 16 0 209468 0
vsize: 837936
[startup+950.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 92109 68 0 0 25 0 11 0 546825643 858046464 31215 4294967295 134512640 134569956 3221224400 3221214776 1131356168 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 31215 13073 16 0 209468 0
vsize: 837936
[startup+960.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 93085 68 0 0 25 0 11 0 546825643 858046464 31321 4294967295 134512640 134569956 3221224400 3221214680 1131255319 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 31321 13073 16 0 209468 0
vsize: 837936
[startup+970.055 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) S 22639 18865 18864 0 -1 0 18063 0 1 0 94063 69 0 0 25 0 11 0 546825643 858046464 31435 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 31435 13073 16 0 209468 0
vsize: 837936
[startup+980.055 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 95039 69 0 0 24 0 11 0 546825643 858046464 31539 4294967295 134512640 134569956 3221224400 3221214680 1131256329 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 31539 13073 16 0 209468 0
vsize: 837936
[startup+990.057 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 96017 69 0 0 25 0 11 0 546825643 858046464 31648 4294967295 134512640 134569956 3221224400 3221214928 1131216025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 31648 13073 16 0 209468 0
vsize: 837936
[startup+1000.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 96992 69 0 0 25 0 11 0 546825643 858046464 31744 4294967295 134512640 134569956 3221224400 3221214680 1131255436 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 31744 13073 16 0 209468 0
vsize: 837936
[startup+1010.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 97973 69 0 0 25 0 11 0 546825643 858046464 31861 4294967295 134512640 134569956 3221224400 3221214776 1131355033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 31861 13073 16 0 209468 0
vsize: 837936
[startup+1020.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 98949 69 0 0 25 0 11 0 546825643 858046464 31978 4294967295 134512640 134569956 3221224400 3221214680 1131255304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 31978 13073 16 0 209468 0
vsize: 837936
[startup+1030.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 99927 69 0 0 25 0 11 0 546825643 858046464 32056 4294967295 134512640 134569956 3221224400 3221214680 1131255635 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 32056 13073 16 0 209468 0
vsize: 837936
[startup+1040.06 s]
Raw data (loadavg): 1.08 1.00 0.92 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 100904 69 0 0 25 0 11 0 546825643 858046464 32163 4294967295 134512640 134569956 3221224400 3221214680 1131254813 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 32163 13073 16 0 209468 0
vsize: 837936
[startup+1050.06 s]
Raw data (loadavg): 1.07 1.00 0.92 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 101883 69 0 0 25 0 11 0 546825643 858046464 32269 4294967295 134512640 134569956 3221224400 3221214680 1131255405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 32269 13073 16 0 209468 0
vsize: 837936
[startup+1060.06 s]
Raw data (loadavg): 1.06 1.00 0.92 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 102862 69 0 0 25 0 11 0 546825643 858046464 32388 4294967295 134512640 134569956 3221224400 3221214680 1131255078 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 32388 13073 16 0 209468 0
vsize: 837936
[startup+1070.06 s]
Raw data (loadavg): 1.05 1.00 0.92 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 103841 69 0 0 25 0 11 0 546825643 858046464 32439 4294967295 134512640 134569956 3221224400 3221214684 1131335948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 32439 13073 16 0 209468 0
vsize: 837936
[startup+1080.06 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 104816 69 0 0 25 0 11 0 546825643 858046464 32551 4294967295 134512640 134569956 3221224400 3221214680 1131255152 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 32551 13073 16 0 209468 0
vsize: 837936
[startup+1090.06 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 105794 69 0 0 25 0 11 0 546825643 858046464 32653 4294967295 134512640 134569956 3221224400 3221214680 1131255349 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 32653 13073 16 0 209468 0
vsize: 837936
[startup+1100.06 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 106771 70 0 0 25 0 11 0 546825643 858046464 32750 4294967295 134512640 134569956 3221224400 3221214696 1131627540 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 32750 13073 16 0 209468 0
vsize: 837936
[startup+1110.06 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 107749 70 0 0 25 0 11 0 546825643 858046464 32860 4294967295 134512640 134569956 3221224400 3221214680 1131254828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 32860 13073 16 0 209468 0
vsize: 837936
[startup+1120.06 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 108726 70 0 0 25 0 11 0 546825643 858046464 32969 4294967295 134512640 134569956 3221224400 3221214776 1131354188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 32969 13073 16 0 209468 0
vsize: 837936
[startup+1130.06 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 109704 70 0 0 25 0 11 0 546825643 858046464 33075 4294967295 134512640 134569956 3221224400 3221214680 1131256255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 33075 13073 16 0 209468 0
vsize: 837936
[startup+1140.06 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 110680 70 0 0 25 0 11 0 546825643 858046464 33170 4294967295 134512640 134569956 3221224400 3221214776 1131358116 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 33170 13073 16 0 209468 0
vsize: 837936
[startup+1150.06 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 111658 70 0 0 25 0 11 0 546825643 858046464 33283 4294967295 134512640 134569956 3221224400 3221214680 1131255185 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 33283 13073 16 0 209468 0
vsize: 837936
[startup+1160.06 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 112636 70 0 0 25 0 11 0 546825643 858046464 33396 4294967295 134512640 134569956 3221224400 3221214776 1131355342 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 33396 13073 16 0 209468 0
vsize: 837936
[startup+1170.06 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 113615 70 0 0 25 0 11 0 546825643 858046464 33498 4294967295 134512640 134569956 3221224400 3221214856 1131215213 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 33498 13073 16 0 209468 0
vsize: 837936
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 114594 70 0 0 25 0 11 0 546825643 858046464 33590 4294967295 134512640 134569956 3221224400 3221214776 1131354253 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 33590 13073 16 0 209468 0
vsize: 837936
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 115576 70 0 0 25 0 11 0 546825643 858046464 33657 4294967295 134512640 134569956 3221224400 3221214680 1131254828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 33657 13073 16 0 209468 0
vsize: 837936
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 116558 70 0 0 25 0 11 0 546825643 858046464 33737 4294967295 134512640 134569956 3221224400 3221214680 1131255405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 33737 13073 16 0 209468 0
vsize: 837936
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 117538 70 0 0 25 0 11 0 546825643 858046464 33802 4294967295 134512640 134569956 3221224400 3221214680 1131255160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 33802 13073 16 0 209468 0
vsize: 837936
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 118519 71 0 0 25 0 11 0 546825643 858046464 33868 4294967295 134512640 134569956 3221224400 3221214776 1131354253 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 33868 13073 16 0 209468 0
vsize: 837936
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 119497 71 0 0 25 0 11 0 546825643 858046464 33954 4294967295 134512640 134569956 3221224400 3221214456 1085679494 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 33954 13073 16 0 209468 0
vsize: 837936
[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 22650
Raw data (stat): 22640 (java) R 22639 18865 18864 0 -1 0 18063 0 1 0 120475 71 0 0 25 0 11 0 546825643 858046464 34043 4294967295 134512640 134569956 3221224400 3221214856 1131215166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209484 34043 13073 16 0 209468 0
vsize: 837936
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.14 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 22652
Raw data (stat): 22640 (java) Z 22639 18865 18864 0 -1 1036 18063 14608 1 0 120476 71 3175 44 25 0 1 0 546825643 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1240.14
CPU time (s): 1237.67
CPU user time (s): 1236.52
CPU system time (s): 1.15282
CPU usage (%): 99.8015
Max. virtual memory (Kb): 838992
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####