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/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-biella1.opb
MD5SUM	4e03f8e015510f52ff53e17d84030db1
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	42650
Biggest coefficient in the objective function	536870912000000000000
Number of bits for the biggest coefficient in the objective function	69
Sum of the numbers in the objective function	4779625155602030788608
Number of bits of the sum of numbers in the objective function	73
Biggest number in a constraint	536870912000000000000
Number of bits of the biggest number in a constraint	69
Biggest sum of numbers in a constraint	4779727555602030788608
Number of bits of the biggest sum of numbers	73
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1206.47
Number of variables	42650
Total number of constraints	7313
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	6111
Number of constraints which are nor clauses,nor cardinality constraints	1202
Minimum length of a constraint	1
Maximum length of a constraint	42650
Trace number 20544

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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:        734508 kB
Buffers:          1000 kB
Cached:         273856 kB
SwapCached:          0 kB
Active:          19120 kB
Inactive:       258844 kB
HighTotal:      131008 kB
HighFree:        33096 kB
LowTotal:       903652 kB
LowFree:        701412 kB
SwapTotal:     2097136 kB
SwapFree:      2096968 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           7172 kB
Slab:            16184 kB
Committed_AS:    92820 kB
PageTables:        344 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 21:38:50 (client local time) WITH STATUS 143 IN 1258.11 SECONDS
stats: 14946 7 1258.11 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-biella1.opb
c reading problem 
c [nbvar=42650]
c [nbconstr=7313]
c time 535.59
c #vars     42650
c #clauses  2400
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
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=-501915648
c Current CPU time (ms) : 1044.695
c starts	: 1
c conflicts	: 0
c decisions	: 6545
c propagations	: 42650
c inspects	: 78493
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
#### 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.95 0.95 0.91 2/56 4053
Raw data (stat): 4053 (runsolver) R 4052 12452 12451 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 433182210 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 1.03 0.97 0.91 2/65 4062
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 884 41 0 0 25 0 10 0 433182210 853979136 19171 4294967295 134512640 134569956 3221224400 3221214472 1076461342 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 19171 13073 16 0 208475 0
vsize: 833964
[startup+20.0007 s]
Raw data (loadavg): 1.02 0.97 0.91 2/65 4062
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 1782 42 0 0 25 0 10 0 433182210 853979136 19650 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 19650 13073 16 0 208475 0
vsize: 833964
[startup+30.0015 s]
Raw data (loadavg): 1.02 0.97 0.91 2/65 4062
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 2684 42 0 0 25 0 10 0 433182210 853979136 20083 4294967295 134512640 134569956 3221224400 3221214192 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 20083 13073 16 0 208475 0
vsize: 833964
[startup+40.0013 s]
Raw data (loadavg): 1.02 0.97 0.91 2/65 4062
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 3613 42 0 0 25 0 10 0 433182210 853979136 20318 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 20318 13073 16 0 208475 0
vsize: 833964
[startup+50.0021 s]
Raw data (loadavg): 1.01 0.97 0.91 2/65 4062
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 4547 43 0 0 25 0 10 0 433182210 853979136 20434 4294967295 134512640 134569956 3221224400 3221214820 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 20434 13073 16 0 208475 0
vsize: 833964
[startup+60.002 s]
Raw data (loadavg): 1.01 0.97 0.91 2/65 4062
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 5481 43 0 0 25 0 10 0 433182210 853979136 20531 4294967295 134512640 134569956 3221224400 3221214288 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 20531 13073 16 0 208475 0
vsize: 833964
[startup+70.003 s]
Raw data (loadavg): 1.01 0.97 0.91 2/65 4062
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 6423 43 0 0 25 0 10 0 433182210 853979136 20746 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 20746 13073 16 0 208475 0
vsize: 833964
[startup+80.0045 s]
Raw data (loadavg): 1.01 0.97 0.91 2/65 4062
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 7372 43 0 0 25 0 10 0 433182210 853979136 20824 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 20824 13073 16 0 208475 0
vsize: 833964
[startup+90.0042 s]
Raw data (loadavg): 1.01 0.97 0.91 2/65 4062
Raw data (stat): 4053 (java) S 4052 12452 12451 0 -1 0 17978 0 1 0 8321 44 0 0 25 0 10 0 433182210 853979136 20891 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 20891 13073 16 0 208475 0
vsize: 833964
[startup+100.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 4062
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 9275 44 0 0 25 0 10 0 433182210 853979136 20955 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 20955 13073 16 0 208475 0
vsize: 833964
[startup+110.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 4062
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 10225 44 0 0 25 0 10 0 433182210 853979136 21016 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 21016 13073 16 0 208475 0
vsize: 833964
[startup+120.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 4064
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 11175 44 0 0 25 0 10 0 433182210 853979136 21074 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 21074 13073 16 0 208475 0
vsize: 833964
[startup+130.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 4064
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 12125 45 0 0 25 0 10 0 433182210 853979136 21129 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 21129 13073 16 0 208475 0
vsize: 833964
[startup+140.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 4064
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 13075 45 0 0 25 0 10 0 433182210 853979136 21182 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 21182 13073 16 0 208475 0
vsize: 833964
[startup+150.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 4064
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 14026 45 0 0 25 0 10 0 433182210 853979136 21232 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208491 21232 13073 16 0 208475 0
vsize: 833964
[startup+160.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 4064
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 14975 45 0 0 25 0 10 0 433182210 853979136 21281 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 21281 13073 16 0 208475 0
vsize: 833964
[startup+170.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 4064
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 15925 45 0 0 25 0 10 0 433182210 853979136 21328 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 21328 13073 16 0 208475 0
vsize: 833964
[startup+180.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 4064
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 16854 45 0 0 24 0 10 0 433182210 853979136 21373 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 21373 13073 16 0 208475 0
vsize: 833964
[startup+190.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 4064
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 17786 46 0 0 25 0 10 0 433182210 853979136 21414 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 21414 13073 16 0 208475 0
vsize: 833964
[startup+200.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 4064
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 18728 46 0 0 25 0 10 0 433182210 853979136 21712 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 21712 13073 16 0 208475 0
vsize: 833964
[startup+210.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 4064
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 19674 46 0 0 25 0 10 0 433182210 853979136 21754 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 21754 13073 16 0 208475 0
vsize: 833964
[startup+220.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 4064
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 20619 46 0 0 25 0 10 0 433182210 853979136 21795 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 21795 13073 16 0 208475 0
vsize: 833964
[startup+230.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 4064
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 21564 46 0 0 25 0 10 0 433182210 853979136 21834 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 21834 13073 16 0 208475 0
vsize: 833964
[startup+240.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 4064
Raw data (stat): 4053 (java) S 4052 12452 12451 0 -1 0 17978 0 1 0 22510 46 0 0 25 0 10 0 433182210 853979136 21870 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 21870 13073 16 0 208475 0
vsize: 833964
[startup+250.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 4064
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 23456 46 0 0 25 0 10 0 433182210 853979136 21907 4294967295 134512640 134569956 3221224400 3221214768 1131045363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 21907 13073 16 0 208475 0
vsize: 833964
[startup+260.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 4064
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 24400 47 0 0 25 0 10 0 433182210 853979136 21945 4294967295 134512640 134569956 3221224400 3221214804 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 21945 13073 16 0 208475 0
vsize: 833964
[startup+270.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 4064
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 25343 47 0 0 25 0 10 0 433182210 853979136 21981 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 21981 13073 16 0 208475 0
vsize: 833964
[startup+280.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 4064
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 26286 47 0 0 25 0 10 0 433182210 853979136 22017 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 22017 13073 16 0 208475 0
vsize: 833964
[startup+290.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 4064
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 27228 47 0 0 24 0 10 0 433182210 853979136 22052 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 22052 13073 16 0 208475 0
vsize: 833964
[startup+300.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 4064
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 28174 47 0 0 25 0 10 0 433182210 853979136 22084 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 22084 13073 16 0 208475 0
vsize: 833964
[startup+310.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 4064
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 29115 47 0 0 25 0 10 0 433182210 853979136 22118 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 22118 13073 16 0 208475 0
vsize: 833964
[startup+320.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 4064
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 30056 47 0 0 25 0 10 0 433182210 853979136 22152 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 22152 13073 16 0 208475 0
vsize: 833964
[startup+330.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 4064
Raw data (stat): 4053 (java) S 4052 12452 12451 0 -1 0 17978 0 1 0 31000 47 0 0 25 0 10 0 433182210 853979136 22183 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 22183 13073 16 0 208475 0
vsize: 833964
[startup+340.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 4064
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 31940 47 0 0 25 0 10 0 433182210 853979136 22215 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 22215 13073 16 0 208475 0
vsize: 833964
[startup+350.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 4064
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 32881 47 0 0 25 0 10 0 433182210 853979136 22246 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 22246 13073 16 0 208475 0
vsize: 833964
[startup+360.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 4064
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 33820 47 0 0 25 0 10 0 433182210 853979136 22278 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 22278 13073 16 0 208475 0
vsize: 833964
[startup+370.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 4064
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 34762 48 0 0 25 0 10 0 433182210 853979136 22307 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 22307 13073 16 0 208475 0
vsize: 833964
[startup+380.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 4064
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 35700 48 0 0 25 0 10 0 433182210 853979136 22338 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 22338 13073 16 0 208475 0
vsize: 833964
[startup+390.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 4064
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 36638 48 0 0 24 0 10 0 433182210 853979136 22368 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 22368 13073 16 0 208475 0
vsize: 833964
[startup+400.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 4064
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 37580 48 0 0 25 0 10 0 433182210 853979136 22395 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 22395 13073 16 0 208475 0
vsize: 833964
[startup+410.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 4064
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 38516 48 0 0 25 0 10 0 433182210 853979136 22425 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 22425 13073 16 0 208475 0
vsize: 833964
[startup+420.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 4066
Raw data (stat): 4053 (java) S 4052 12452 12451 0 -1 0 17978 0 1 0 39454 48 0 0 22 0 10 0 433182210 853979136 22452 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 22452 13073 16 0 208475 0
vsize: 833964
[startup+430.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 4066
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 40393 48 0 0 25 0 10 0 433182210 853979136 22480 4294967295 134512640 134569956 3221224400 3221214804 1080204160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 22480 13073 16 0 208475 0
vsize: 833964
[startup+440.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 4066
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 41329 49 0 0 25 0 10 0 433182210 853979136 22508 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 22508 13073 16 0 208475 0
vsize: 833964
[startup+450.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 4066
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 42268 49 0 0 25 0 10 0 433182210 853979136 22534 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 22534 13073 16 0 208475 0
vsize: 833964
[startup+460.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 4066
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 43203 49 0 0 19 0 10 0 433182210 853979136 22561 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 22561 13073 16 0 208475 0
vsize: 833964
[startup+470.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 4066
Raw data (stat): 4053 (java) S 4052 12452 12451 0 -1 0 17978 0 1 0 44139 49 0 0 25 0 10 0 433182210 853979136 22587 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 22587 13073 16 0 208475 0
vsize: 833964
[startup+480.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 4066
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 45076 49 0 0 25 0 10 0 433182210 853979136 22614 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 22614 13073 16 0 208475 0
vsize: 833964
[startup+490.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 4066
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 46010 49 0 0 24 0 10 0 433182210 853979136 22640 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 22640 13073 16 0 208475 0
vsize: 833964
[startup+500.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 4066
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 46947 49 0 0 25 0 10 0 433182210 853979136 22665 4294967295 134512640 134569956 3221224400 3221214176 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 22665 13073 16 0 208475 0
vsize: 833964
[startup+510.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 4066
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 17978 0 1 0 47880 49 0 0 24 0 10 0 433182210 853979136 22691 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208491 22691 13073 16 0 208475 0
vsize: 833964
[startup+520.038 s]
Raw data (loadavg): 1.08 0.99 0.92 4/65 4066
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18009 0 1 0 48735 49 0 0 25 0 10 0 433182210 858894336 24049 4294967295 134512640 134569956 3221224400 3221213264 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209691 24049 13073 16 0 209675 0
vsize: 838764
[startup+530.038 s]
Raw data (loadavg): 1.07 0.99 0.92 3/65 4066
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18011 0 1 0 49713 50 0 0 25 0 10 0 433182210 858861568 23963 4294967295 134512640 134569956 3221224400 3221214248 1131325295 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209683 23963 13073 16 0 209667 0
vsize: 838732
[startup+540.038 s]
Raw data (loadavg): 1.06 0.99 0.92 2/65 4066
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18032 0 1 0 50586 53 0 0 25 0 10 0 433182210 858861568 31531 4294967295 134512640 134569956 3221224400 3221214904 1131268263 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209683 31531 13073 16 0 209667 0
vsize: 838732
[startup+550.063 s]
Raw data (loadavg): 1.05 0.99 0.92 2/65 4066
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18032 0 1 0 51582 53 0 0 25 0 10 0 433182210 858861568 31531 4294967295 134512640 134569956 3221224400 3221214848 1131357699 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209683 31531 13073 16 0 209667 0
vsize: 838732
[startup+560.081 s]
Raw data (loadavg): 1.04 0.99 0.92 2/65 4066
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18032 0 1 0 52575 53 0 0 25 0 10 0 433182210 858861568 31532 4294967295 134512640 134569956 3221224400 3221214952 1131428391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209683 31532 13073 16 0 209667 0
vsize: 838732
[startup+570.081 s]
Raw data (loadavg): 1.03 0.99 0.92 2/65 4066
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18032 0 1 0 53567 53 0 0 25 0 10 0 433182210 858861568 31534 4294967295 134512640 134569956 3221224400 3221214848 1131358053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209683 31534 13073 16 0 209667 0
vsize: 838732
[startup+580.082 s]
Raw data (loadavg): 1.03 0.99 0.92 2/65 4066
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18032 0 1 0 54559 53 0 0 25 0 10 0 433182210 858861568 31540 4294967295 134512640 134569956 3221224400 3221214904 1131268219 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209683 31540 13073 16 0 209667 0
vsize: 838732
[startup+590.083 s]
Raw data (loadavg): 1.02 0.99 0.92 2/65 4066
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18032 0 1 0 55550 53 0 0 25 0 10 0 433182210 858861568 31547 4294967295 134512640 134569956 3221224400 3221214848 1131358279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209683 31547 13073 16 0 209667 0
vsize: 838732
[startup+600.083 s]
Raw data (loadavg): 1.02 0.99 0.92 2/65 4066
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18032 0 1 0 56543 53 0 0 25 0 10 0 433182210 858861568 31552 4294967295 134512640 134569956 3221224400 3221214832 1131358053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209683 31552 13073 16 0 209667 0
vsize: 838732
[startup+610.084 s]
Raw data (loadavg): 1.02 0.99 0.92 2/66 4067
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18038 0 1 0 57529 53 0 0 24 0 11 0 433182210 859389952 31569 4294967295 134512640 134569956 3221224400 3221214880 1131417329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31569 13073 16 0 209796 0
vsize: 839248
[startup+620.084 s]
Raw data (loadavg): 1.01 0.99 0.92 2/66 4067
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18038 0 1 0 58514 53 0 0 25 0 11 0 433182210 859389952 31576 4294967295 134512640 134569956 3221224400 3221214800 1131358053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31576 13073 16 0 209796 0
vsize: 839248
[startup+630.085 s]
Raw data (loadavg): 1.01 0.99 0.92 2/66 4067
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18038 0 1 0 59494 53 0 0 24 0 11 0 433182210 859389952 31582 4294967295 134512640 134569956 3221224400 3221214904 1131428560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31582 13073 16 0 209796 0
vsize: 839248
[startup+640.085 s]
Raw data (loadavg): 1.01 0.99 0.92 2/66 4067
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18038 0 1 0 60475 53 0 0 25 0 11 0 433182210 859389952 31594 4294967295 134512640 134569956 3221224400 3221214880 1131417329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31594 13073 16 0 209796 0
vsize: 839248
[startup+650.085 s]
Raw data (loadavg): 1.01 0.99 0.92 2/66 4067
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18038 0 1 0 61452 53 0 0 24 0 11 0 433182210 859389952 31613 4294967295 134512640 134569956 3221224400 3221214904 1131428203 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31613 13073 16 0 209796 0
vsize: 839248
[startup+660.086 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4067
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18038 0 1 0 62432 53 0 0 25 0 11 0 433182210 859389952 31628 4294967295 134512640 134569956 3221224400 3221214904 1131428201 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31628 13073 16 0 209796 0
vsize: 839248
[startup+670.094 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4067
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18038 0 1 0 63411 53 0 0 25 0 11 0 433182210 859389952 31654 4294967295 134512640 134569956 3221224400 3221214800 1131358078 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31654 13073 16 0 209796 0
vsize: 839248
[startup+680.095 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4067
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18039 0 1 0 64392 53 0 0 25 0 11 0 433182210 859389952 31683 4294967295 134512640 134569956 3221224400 3221214856 1131268226 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31683 13073 16 0 209796 0
vsize: 839248
[startup+690.095 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4067
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18039 0 1 0 65373 54 0 0 25 0 11 0 433182210 859389952 31709 4294967295 134512640 134569956 3221224400 3221214856 1131268457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31709 13073 16 0 209796 0
vsize: 839248
[startup+700.095 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4067
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18039 0 1 0 66355 54 0 0 25 0 11 0 433182210 859389952 31731 4294967295 134512640 134569956 3221224400 3221214856 1131268273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31731 13073 16 0 209796 0
vsize: 839248
[startup+710.095 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4067
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18039 0 1 0 67335 54 0 0 25 0 11 0 433182210 859389952 31758 4294967295 134512640 134569956 3221224400 3221214904 1131429234 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31758 13073 16 0 209796 0
vsize: 839248
[startup+720.095 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4069
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18039 0 1 0 68317 55 0 0 24 0 11 0 433182210 859389952 31780 4294967295 134512640 134569956 3221224400 3221214800 1131357630 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31780 13073 16 0 209796 0
vsize: 839248
[startup+730.096 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4069
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18039 0 1 0 69301 55 0 0 25 0 11 0 433182210 859389952 31803 4294967295 134512640 134569956 3221224400 3221214856 1131268411 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31803 13073 16 0 209796 0
vsize: 839248
[startup+740.096 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4069
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18039 0 1 0 70284 55 0 0 25 0 11 0 433182210 859389952 31825 4294967295 134512640 134569956 3221224400 3221214856 1131268273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31825 13073 16 0 209796 0
vsize: 839248
[startup+750.097 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4069
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18039 0 1 0 71268 55 0 0 24 0 11 0 433182210 859389952 31845 4294967295 134512640 134569956 3221224400 3221214800 1131358279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31845 13073 16 0 209796 0
vsize: 839248
[startup+760.106 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4069
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18039 0 1 0 72254 55 0 0 25 0 11 0 433182210 859389952 31863 4294967295 134512640 134569956 3221224400 3221214800 1131358401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31863 13073 16 0 209796 0
vsize: 839248
[startup+770.106 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4069
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18039 0 1 0 73238 55 0 0 25 0 11 0 433182210 859389952 31876 4294967295 134512640 134569956 3221224400 3221214800 1131357413 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31876 13073 16 0 209796 0
vsize: 839248
[startup+780.107 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4069
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18039 0 1 0 74223 55 0 0 25 0 11 0 433182210 859389952 31891 4294967295 134512640 134569956 3221224400 3221214856 1131268269 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31891 13073 16 0 209796 0
vsize: 839248
[startup+790.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4069
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18039 0 1 0 75209 55 0 0 24 0 11 0 433182210 859389952 31909 4294967295 134512640 134569956 3221224400 3221214800 1131357401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31909 13073 16 0 209796 0
vsize: 839248
[startup+800.111 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4069
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18039 0 1 0 76198 55 0 0 25 0 11 0 433182210 859389952 31922 4294967295 134512640 134569956 3221224400 3221214880 1131417329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31922 13073 16 0 209796 0
vsize: 839248
[startup+810.111 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4069
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18039 0 1 0 77185 55 0 0 25 0 11 0 433182210 859389952 31934 4294967295 134512640 134569956 3221224400 3221214904 1131428656 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31934 13073 16 0 209796 0
vsize: 839248
[startup+820.111 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4069
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18039 0 1 0 78173 56 0 0 25 0 11 0 433182210 859389952 31944 4294967295 134512640 134569956 3221224400 3221214800 1131357675 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31944 13073 16 0 209796 0
vsize: 839248
[startup+830.112 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4069
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18039 0 1 0 79161 56 0 0 25 0 11 0 433182210 859389952 31954 4294967295 134512640 134569956 3221224400 3221214800 1131357413 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31954 13073 16 0 209796 0
vsize: 839248
[startup+840.111 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4069
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18039 0 1 0 80150 56 0 0 25 0 11 0 433182210 859389952 31966 4294967295 134512640 134569956 3221224400 3221214800 1131357413 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31966 13073 16 0 209796 0
vsize: 839248
[startup+850.113 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4069
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18039 0 1 0 81140 56 0 0 25 0 11 0 433182210 859389952 31975 4294967295 134512640 134569956 3221224400 3221214800 1131358057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31975 13073 16 0 209796 0
vsize: 839248
[startup+860.113 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4069
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18039 0 1 0 82131 56 0 0 25 0 11 0 433182210 859389952 31984 4294967295 134512640 134569956 3221224400 3221214800 1131357417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31984 13073 16 0 209796 0
vsize: 839248
[startup+870.113 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4069
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18039 0 1 0 83123 56 0 0 25 0 11 0 433182210 859389952 31991 4294967295 134512640 134569956 3221224400 3221214800 1131357705 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31991 13073 16 0 209796 0
vsize: 839248
[startup+880.114 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4069
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18039 0 1 0 84115 56 0 0 25 0 11 0 433182210 859389952 31999 4294967295 134512640 134569956 3221224400 3221214800 1131358862 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 31999 13073 16 0 209796 0
vsize: 839248
[startup+890.113 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4069
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18039 0 1 0 85109 56 0 0 25 0 11 0 433182210 859389952 32004 4294967295 134512640 134569956 3221224400 3221214800 1131358053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 32004 13073 16 0 209796 0
vsize: 839248
[startup+900.114 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4069
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18039 0 1 0 86102 56 0 0 25 0 11 0 433182210 859389952 32010 4294967295 134512640 134569956 3221224400 3221214800 1131358016 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 32010 13073 16 0 209796 0
vsize: 839248
[startup+910.115 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4069
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18039 0 1 0 87094 56 0 0 25 0 11 0 433182210 859389952 32015 4294967295 134512640 134569956 3221224400 3221214904 1131428213 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 32015 13073 16 0 209796 0
vsize: 839248
[startup+920.115 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4069
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18039 0 1 0 88086 57 0 0 25 0 11 0 433182210 859389952 32019 4294967295 134512640 134569956 3221224400 3221214904 1131428374 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 32019 13073 16 0 209796 0
vsize: 839248
[startup+930.114 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4069
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18039 0 1 0 89079 57 0 0 25 0 11 0 433182210 859389952 32026 4294967295 134512640 134569956 3221224400 3221214800 1131358053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 32026 13073 16 0 209796 0
vsize: 839248
[startup+940.115 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4069
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18039 0 1 0 90072 57 0 0 25 0 11 0 433182210 859389952 32031 4294967295 134512640 134569956 3221224400 3221214800 1131358053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 32031 13073 16 0 209796 0
vsize: 839248
[startup+950.116 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4069
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18039 0 1 0 91066 57 0 0 25 0 11 0 433182210 859389952 32035 4294967295 134512640 134569956 3221224400 3221214880 1131417329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 32035 13073 16 0 209796 0
vsize: 839248
[startup+960.116 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4069
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18039 0 1 0 92060 57 0 0 25 0 11 0 433182210 859389952 32039 4294967295 134512640 134569956 3221224400 3221214800 1131357422 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 32039 13073 16 0 209796 0
vsize: 839248
[startup+970.116 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4069
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18039 0 1 0 93054 57 0 0 25 0 11 0 433182210 859389952 32042 4294967295 134512640 134569956 3221224400 3221214800 1131357699 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 32042 13073 16 0 209796 0
vsize: 839248
[startup+980.116 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4069
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18039 0 1 0 94048 57 0 0 25 0 11 0 433182210 859389952 32046 4294967295 134512640 134569956 3221224400 3221214800 1131357438 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 32046 13073 16 0 209796 0
vsize: 839248
[startup+990.116 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4069
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18039 0 1 0 95042 57 0 0 25 0 11 0 433182210 859389952 32050 4294967295 134512640 134569956 3221224400 3221214800 1131358877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 32050 13073 16 0 209796 0
vsize: 839248
[startup+1000.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4069
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18039 0 1 0 96037 57 0 0 25 0 11 0 433182210 859389952 32053 4294967295 134512640 134569956 3221224400 3221214856 1131268226 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 32053 13073 16 0 209796 0
vsize: 839248
[startup+1010.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4069
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18039 0 1 0 97032 57 0 0 25 0 11 0 433182210 859389952 32055 4294967295 134512640 134569956 3221224400 3221214800 1131358263 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 32055 13073 16 0 209796 0
vsize: 839248
[startup+1020.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4071
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18039 0 1 0 98024 57 0 0 25 0 11 0 433182210 859389952 32057 4294967295 134512640 134569956 3221224400 3221214800 1131357420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 32057 13073 16 0 209796 0
vsize: 839248
[startup+1030.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4071
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18039 0 1 0 99014 57 0 0 25 0 11 0 433182210 859389952 32059 4294967295 134512640 134569956 3221224400 3221214856 1131268226 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 32059 13073 16 0 209796 0
vsize: 839248
[startup+1040.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4071
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18039 0 1 0 100004 57 0 0 25 0 11 0 433182210 859389952 32060 4294967295 134512640 134569956 3221224400 3221214800 1131358263 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209812 32060 13073 16 0 209796 0
vsize: 839248
[startup+1050.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4072
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18040 4 1 0 100951 57 0 0 25 0 11 0 433182210 859389952 33047 4294967295 134512640 134569956 3221224400 3221214792 1131358837 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209812 33047 13073 16 0 209796 0
vsize: 839248
[startup+1060.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4072
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18040 4 1 0 101944 58 0 0 25 0 11 0 433182210 859389952 33047 4294967295 134512640 134569956 3221224400 3221214792 1131358139 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209812 33047 13073 16 0 209796 0
vsize: 839248
[startup+1070.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4072
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18040 4 1 0 102934 58 0 0 25 0 11 0 433182210 859389952 33047 4294967295 134512640 134569956 3221224400 3221214848 1131268263 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209812 33047 13073 16 0 209796 0
vsize: 839248
[startup+1080.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4072
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18040 4 1 0 103924 58 0 0 25 0 11 0 433182210 859389952 33055 4294967295 134512640 134569956 3221224400 3221214892 1131268204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209812 33055 13073 16 0 209796 0
vsize: 839248
[startup+1090.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4072
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18040 4 1 0 104913 58 0 0 25 0 11 0 433182210 859389952 33075 4294967295 134512640 134569956 3221224400 3221214896 1131428656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209812 33075 13073 16 0 209796 0
vsize: 839248
[startup+1100.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4072
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18040 4 1 0 105902 58 0 0 25 0 11 0 433182210 859389952 33098 4294967295 134512640 134569956 3221224400 3221214792 1131357952 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209812 33098 13073 16 0 209796 0
vsize: 839248
[startup+1110.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4072
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18040 4 1 0 106891 58 0 0 25 0 11 0 433182210 859389952 33121 4294967295 134512640 134569956 3221224400 3221214896 1131428728 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209812 33121 13073 16 0 209796 0
vsize: 839248
[startup+1120.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4072
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18040 4 1 0 107881 58 0 0 25 0 11 0 433182210 859389952 33137 4294967295 134512640 134569956 3221224400 3221214792 1131357409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209812 33137 13073 16 0 209796 0
vsize: 839248
[startup+1130.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4072
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18040 4 1 0 108871 59 0 0 25 0 11 0 433182210 859389952 33153 4294967295 134512640 134569956 3221224400 3221214792 1131357409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209812 33153 13073 16 0 209796 0
vsize: 839248
[startup+1140.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4072
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18040 4 1 0 109861 59 0 0 25 0 11 0 433182210 859389952 33168 4294967295 134512640 134569956 3221224400 3221214872 1131417329 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209812 33168 13073 16 0 209796 0
vsize: 839248
[startup+1150.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4072
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18040 4 1 0 110853 59 0 0 25 0 11 0 433182210 859389952 33178 4294967295 134512640 134569956 3221224400 3221214792 1131358186 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209812 33178 13073 16 0 209796 0
vsize: 839248
[startup+1160.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4072
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18040 4 1 0 111844 59 0 0 25 0 11 0 433182210 859389952 33187 4294967295 134512640 134569956 3221224400 3221214792 1131358148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209812 33187 13073 16 0 209796 0
vsize: 839248
[startup+1170.13 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4072
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18040 4 1 0 112835 59 0 0 25 0 11 0 433182210 859389952 33198 4294967295 134512640 134569956 3221224400 3221214848 1131268341 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209812 33198 13073 16 0 209796 0
vsize: 839248
[startup+1180.13 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4072
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18040 4 1 0 113827 60 0 0 25 0 11 0 433182210 859389952 33208 4294967295 134512640 134569956 3221224400 3221214792 1131358896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209812 33208 13073 16 0 209796 0
vsize: 839248
[startup+1190.13 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4072
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18040 4 1 0 114819 60 0 0 25 0 11 0 433182210 859389952 33214 4294967295 134512640 134569956 3221224400 3221214896 1131428644 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209812 33214 13073 16 0 209796 0
vsize: 839248
[startup+1200.13 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4072
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18040 4 1 0 115812 60 0 0 25 0 11 0 433182210 859389952 33221 4294967295 134512640 134569956 3221224400 3221214792 1131358113 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209812 33221 13073 16 0 209796 0
vsize: 839248
[startup+1210.13 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4072
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18040 4 1 0 116804 60 0 0 25 0 11 0 433182210 859389952 33228 4294967295 134512640 134569956 3221224400 3221214792 1131357715 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209812 33228 13073 16 0 209796 0
vsize: 839248
[startup+1220.13 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4072
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18040 4 1 0 117796 60 0 0 25 0 11 0 433182210 859389952 33235 4294967295 134512640 134569956 3221224400 3221214792 1131357445 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209812 33235 13073 16 0 209796 0
vsize: 839248
[startup+1230.13 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4072
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18040 4 1 0 118790 61 0 0 25 0 11 0 433182210 859389952 33240 4294967295 134512640 134569956 3221224400 3221214792 1131358257 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209812 33240 13073 16 0 209796 0
vsize: 839248
[startup+1240.13 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4072
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18040 4 1 0 119783 61 0 0 25 0 11 0 433182210 859389952 33246 4294967295 134512640 134569956 3221224400 3221214848 1131268226 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209812 33246 13073 16 0 209796 0
vsize: 839248
[startup+1250.13 s]
Raw data (loadavg): 1.00 0.99 0.92 2/66 4072
Raw data (stat): 4053 (java) R 4052 12452 12451 0 -1 0 18040 4 1 0 120776 61 0 0 25 0 11 0 433182210 859389952 33251 4294967295 134512640 134569956 3221224400 3221214848 1131268273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209812 33251 13073 16 0 209796 0
vsize: 839248
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.24 s]
Raw data (loadavg): 1.00 0.99 0.92 1/56 4073
Raw data (stat): 4053 (java) Z 4052 12452 12451 0 -1 1036 18040 17028 1 2 120780 67 4907 55 25 0 1 0 433182210 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): 1250.23
CPU time (s): 1258.11
CPU user time (s): 1256.89
CPU system time (s): 1.22281
CPU usage (%): 100.63
Max. virtual memory (Kb): 839248
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####