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/miplib3/normalized-mps-v2-13-7-danoint.opb
MD5SUM	bf9bbda6f586f0b888182a433f63f010
Bench Category	optimization, medium integers (OPTMEDINT)
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	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	13107200
Number of bits of the biggest number in a constraint	24
Biggest sum of numbers in a constraint	52829966
Number of bits of the biggest sum of numbers	26
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.39179
Number of variables	9304
Total number of constraints	728
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	72
Number of constraints which are nor clauses,nor cardinality constraints	656
Minimum length of a constraint	1
Maximum length of a constraint	1000
Trace number 18301

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-04-21 14:15:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18274 boxname=wulflinc29 idbench=1406 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  bf9bbda6f586f0b888182a433f63f010  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-danoint.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-danoint.opb
IDLAUNCH: 18274
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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.020
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:        876048 kB
Buffers:          5312 kB
Cached:         130612 kB
SwapCached:        552 kB
Active:          25648 kB
Inactive:       112284 kB
HighTotal:      131008 kB
HighFree:        40460 kB
LowTotal:       903652 kB
LowFree:        835588 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5100 kB
Slab:            15008 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 14:37:00 (client local time) WITH STATUS 143 IN 1275.43 SECONDS
stats: 18274 7 1275.43 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-13-7-danoint.opb
c reading problem 
c [nbvar=9304]
c [nbconstr=728]
c time 30.325
c #vars     9304
c #clauses  816
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.84 0.94 0.90 2/54 32640
Raw data (stat): 32640 (runsolver) R 32639 27222 27221 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 545723321 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.0013 s]
Raw data (loadavg): 0.94 0.96 0.91 2/63 32649
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18006 0 1 0 786 42 0 0 25 0 10 0 545723321 861519872 21214 4294967295 134512640 134569956 3221224400 3221214688 1131275981 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210332 21214 13073 16 0 210316 0
vsize: 841328
[startup+20.0016 s]
Raw data (loadavg): 0.95 0.96 0.91 2/63 32649
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18006 0 1 0 1654 42 0 0 25 0 10 0 545723321 861519872 21956 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210332 21956 13073 16 0 210316 0
vsize: 841328
[startup+30.0024 s]
Raw data (loadavg): 0.95 0.96 0.91 2/63 32649
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18007 0 1 0 2505 43 0 0 24 0 10 0 545723321 861519872 22718 4294967295 134512640 134569956 3221224400 3221214296 1131185259 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210332 22718 13073 16 0 210316 0
vsize: 841328
[startup+40.0027 s]
Raw data (loadavg): 1.04 0.97 0.91 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18059 0 1 0 3400 44 0 0 24 0 11 0 545723321 863096832 24075 4294967295 134512640 134569956 3221224400 3221214776 1131375385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 24075 13073 16 0 210701 0
vsize: 842868
[startup+50.003 s]
Raw data (loadavg): 1.03 0.97 0.91 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18059 0 1 0 4292 44 0 0 21 0 11 0 545723321 863096832 24241 4294967295 134512640 134569956 3221224400 3221214888 1130917148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 24241 13073 16 0 210701 0
vsize: 842868
[startup+60.0027 s]
Raw data (loadavg): 1.17 1.01 0.92 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18100 0 1 0 5118 44 0 0 25 0 11 0 545723321 863096832 24379 4294967295 134512640 134569956 3221224400 3221214616 1131456729 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 24379 13073 16 0 210701 0
vsize: 842868
[startup+70.0026 s]
Raw data (loadavg): 1.14 1.01 0.92 3/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18100 0 1 0 6061 45 0 0 25 0 11 0 545723321 864120832 25292 4294967295 134512640 134569956 3221224400 3221214696 1131627761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210967 25292 13073 16 0 210951 0
vsize: 843868
[startup+80.0033 s]
Raw data (loadavg): 1.20 1.02 0.93 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18100 0 1 0 7040 45 0 0 25 0 11 0 545723321 863096832 25063 4294967295 134512640 134569956 3221224400 3221214584 1131550336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 25063 13073 16 0 210701 0
vsize: 842868
[startup+90.003 s]
Raw data (loadavg): 1.17 1.02 0.93 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 8008 45 0 0 25 0 11 0 545723321 863096832 25078 4294967295 134512640 134569956 3221224400 3221214688 1131441552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 25078 13073 16 0 210701 0
vsize: 842868
[startup+100.003 s]
Raw data (loadavg): 1.14 1.02 0.93 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 8954 45 0 0 25 0 11 0 545723321 863096832 25122 4294967295 134512640 134569956 3221224400 3221214680 1131318091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 25122 13073 16 0 210701 0
vsize: 842868
[startup+110.004 s]
Raw data (loadavg): 1.12 1.02 0.93 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 9875 45 0 0 25 0 11 0 545723321 863096832 25191 4294967295 134512640 134569956 3221224400 3221214680 1131317988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 25191 13073 16 0 210701 0
vsize: 842868
[startup+120.003 s]
Raw data (loadavg): 1.10 1.02 0.93 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 10816 45 0 0 24 0 11 0 545723321 863096832 25491 4294967295 134512640 134569956 3221224400 3221214776 1131371975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 25491 13073 16 0 210701 0
vsize: 842868
[startup+130.004 s]
Raw data (loadavg): 1.09 1.02 0.93 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 11799 45 0 0 25 0 11 0 545723321 863096832 25602 4294967295 134512640 134569956 3221224400 3221214696 1131627864 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 25602 13073 16 0 210701 0
vsize: 842868
[startup+140.005 s]
Raw data (loadavg): 1.07 1.02 0.93 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 12780 45 0 0 25 0 11 0 545723321 863096832 25696 4294967295 134512640 134569956 3221224400 3221214696 1131627868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 25696 13073 16 0 210701 0
vsize: 842868
[startup+150.005 s]
Raw data (loadavg): 1.06 1.02 0.93 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 13753 45 0 0 25 0 11 0 545723321 863096832 25768 4294967295 134512640 134569956 3221224400 3221214680 1131339682 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 25768 13073 16 0 210701 0
vsize: 842868
[startup+160.005 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 14731 45 0 0 25 0 11 0 545723321 863096832 25860 4294967295 134512640 134569956 3221224400 3221214420 1076460784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 25860 13073 16 0 210701 0
vsize: 842868
[startup+170.004 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 15684 45 0 0 24 0 11 0 545723321 863096832 25872 4294967295 134512640 134569956 3221224400 3221214680 1131318077 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 25872 13073 16 0 210701 0
vsize: 842868
[startup+180.005 s]
Raw data (loadavg): 1.12 1.03 0.93 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 16644 45 0 0 25 0 11 0 545723321 863096832 25893 4294967295 134512640 134569956 3221224400 3221214584 1131551758 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 25893 13073 16 0 210701 0
vsize: 842868
[startup+190.005 s]
Raw data (loadavg): 1.10 1.03 0.93 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 17608 45 0 0 25 0 11 0 545723321 863096832 25937 4294967295 134512640 134569956 3221224400 3221214696 1131627853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 25937 13073 16 0 210701 0
vsize: 842868
[startup+200.005 s]
Raw data (loadavg): 1.08 1.03 0.93 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 18568 45 0 0 25 0 11 0 545723321 863096832 26086 4294967295 134512640 134569956 3221224400 3221214936 1131324377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 26086 13073 16 0 210701 0
vsize: 842868
[startup+210.004 s]
Raw data (loadavg): 1.07 1.03 0.93 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 19528 45 0 0 25 0 11 0 545723321 863096832 26224 4294967295 134512640 134569956 3221224400 3221214696 1131627744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 26224 13073 16 0 210701 0
vsize: 842868
[startup+220.004 s]
Raw data (loadavg): 1.06 1.03 0.93 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 20488 45 0 0 25 0 11 0 545723321 863096832 26415 4294967295 134512640 134569956 3221224400 3221214584 1131552518 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 26415 13073 16 0 210701 0
vsize: 842868
[startup+230.012 s]
Raw data (loadavg): 1.05 1.02 0.93 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 21459 45 0 0 25 0 11 0 545723321 863096832 26503 4294967295 134512640 134569956 3221224400 3221214536 1131291392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 26503 13073 16 0 210701 0
vsize: 842868
[startup+240.012 s]
Raw data (loadavg): 1.04 1.02 0.93 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 22418 45 0 0 25 0 11 0 545723321 863096832 26637 4294967295 134512640 134569956 3221224400 3221214776 1131378919 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 26637 13073 16 0 210701 0
vsize: 842868
[startup+250.012 s]
Raw data (loadavg): 1.03 1.02 0.93 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 23368 45 0 0 24 0 11 0 545723321 863096832 26788 4294967295 134512640 134569956 3221224400 3221214776 1131374924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 26788 13073 16 0 210701 0
vsize: 842868
[startup+260.012 s]
Raw data (loadavg): 1.03 1.02 0.93 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 24303 46 0 0 25 0 11 0 545723321 863096832 26898 4294967295 134512640 134569956 3221224400 3221214776 1131371975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 26898 13073 16 0 210701 0
vsize: 842868
[startup+270.018 s]
Raw data (loadavg): 1.02 1.02 0.93 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 25255 46 0 0 25 0 11 0 545723321 863096832 27026 4294967295 134512640 134569956 3221224400 3221214680 1131318170 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 27026 13073 16 0 210701 0
vsize: 842868
[startup+280.018 s]
Raw data (loadavg): 1.02 1.02 0.93 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 26219 46 0 0 25 0 11 0 545723321 863096832 27189 4294967295 134512640 134569956 3221224400 3221214688 1131619480 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 27189 13073 16 0 210701 0
vsize: 842868
[startup+290.025 s]
Raw data (loadavg): 1.02 1.02 0.93 3/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 27183 46 0 0 25 0 11 0 545723321 863096832 27341 4294967295 134512640 134569956 3221224400 3221214696 1131627853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 27341 13073 16 0 210701 0
vsize: 842868
[startup+300.025 s]
Raw data (loadavg): 1.01 1.02 0.93 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 28141 46 0 0 25 0 11 0 545723321 863096832 27535 4294967295 134512640 134569956 3221224400 3221214528 1131291553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 27535 13073 16 0 210701 0
vsize: 842868
[startup+310.024 s]
Raw data (loadavg): 1.01 1.02 0.93 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 29110 46 0 0 25 0 11 0 545723321 863096832 27645 4294967295 134512640 134569956 3221224400 3221214696 1131627744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 27645 13073 16 0 210701 0
vsize: 842868
[startup+320.025 s]
Raw data (loadavg): 1.01 1.02 0.93 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 30079 46 0 0 25 0 11 0 545723321 863096832 27757 4294967295 134512640 134569956 3221224400 3221214584 1131551717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 27757 13073 16 0 210701 0
vsize: 842868
[startup+330.025 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 31038 46 0 0 24 0 11 0 545723321 863096832 27775 4294967295 134512640 134569956 3221224400 3221214816 1131478554 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 27775 13073 16 0 210701 0
vsize: 842868
[startup+340.026 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 32002 46 0 0 25 0 11 0 545723321 863096832 27868 4294967295 134512640 134569956 3221224400 3221214728 1131529131 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 27868 13073 16 0 210701 0
vsize: 842868
[startup+350.025 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 32965 46 0 0 25 0 11 0 545723321 863096832 27981 4294967295 134512640 134569956 3221224400 3221214776 1131371975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 27981 13073 16 0 210701 0
vsize: 842868
[startup+360.026 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 33929 46 0 0 25 0 11 0 545723321 863096832 28087 4294967295 134512640 134569956 3221224400 3221214560 1131534347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 28087 13073 16 0 210701 0
vsize: 842868
[startup+370.026 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 34884 46 0 0 25 0 11 0 545723321 863096832 28219 4294967295 134512640 134569956 3221224400 3221214776 1131372909 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 28219 13073 16 0 210701 0
vsize: 842868
[startup+380.027 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 35848 46 0 0 25 0 11 0 545723321 863096832 28320 4294967295 134512640 134569956 3221224400 3221214696 1131627761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 28320 13073 16 0 210701 0
vsize: 842868
[startup+390.027 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 36811 46 0 0 25 0 11 0 545723321 863096832 28431 4294967295 134512640 134569956 3221224400 3221214696 1131627744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 28431 13073 16 0 210701 0
vsize: 842868
[startup+400.026 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 37773 46 0 0 25 0 11 0 545723321 863096832 28546 4294967295 134512640 134569956 3221224400 3221214816 1131478151 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 28546 13073 16 0 210701 0
vsize: 842868
[startup+410.027 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 38718 46 0 0 25 0 11 0 545723321 863096832 28694 4294967295 134512640 134569956 3221224400 3221214776 1131371910 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 28694 13073 16 0 210701 0
vsize: 842868
[startup+420.027 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 39654 46 0 0 25 0 11 0 545723321 863096832 28921 4294967295 134512640 134569956 3221224400 3221214680 1131318186 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 28921 13073 16 0 210701 0
vsize: 842868
[startup+430.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 40607 47 0 0 25 0 11 0 545723321 863096832 29129 4294967295 134512640 134569956 3221224400 3221214536 1131291477 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 29129 13073 16 0 210701 0
vsize: 842868
[startup+440.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 41580 47 0 0 25 0 11 0 545723321 863096832 29276 4294967295 134512640 134569956 3221224400 3221214688 1131619477 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 29276 13073 16 0 210701 0
vsize: 842868
[startup+450.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 42554 47 0 0 25 0 11 0 545723321 863096832 29412 4294967295 134512640 134569956 3221224400 3221214696 1131627853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 29412 13073 16 0 210701 0
vsize: 842868
[startup+460.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 43534 47 0 0 25 0 11 0 545723321 863096832 29504 4294967295 134512640 134569956 3221224400 3221214680 1131318049 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 29504 13073 16 0 210701 0
vsize: 842868
[startup+470.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 44506 47 0 0 25 0 11 0 545723321 863096832 29522 4294967295 134512640 134569956 3221224400 3221214680 1131318855 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 29522 13073 16 0 210701 0
vsize: 842868
[startup+480.031 s]
Raw data (loadavg): 1.08 1.02 0.94 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 45473 47 0 0 25 0 11 0 545723321 863096832 29532 4294967295 134512640 134569956 3221224400 3221214728 1131305094 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 29532 13073 16 0 210701 0
vsize: 842868
[startup+490.032 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 46442 47 0 0 25 0 11 0 545723321 863096832 29544 4294967295 134512640 134569956 3221224400 3221214696 1131627744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 29544 13073 16 0 210701 0
vsize: 842868
[startup+500.031 s]
Raw data (loadavg): 1.06 1.01 0.94 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 47399 47 0 0 25 0 11 0 545723321 863096832 29635 4294967295 134512640 134569956 3221224400 3221214696 1131627759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 29635 13073 16 0 210701 0
vsize: 842868
[startup+510.032 s]
Raw data (loadavg): 1.12 1.03 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 48356 47 0 0 25 0 11 0 545723321 863096832 29751 4294967295 134512640 134569956 3221224400 3221214680 1131319277 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 29751 13073 16 0 210701 0
vsize: 842868
[startup+520.032 s]
Raw data (loadavg): 1.10 1.03 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 49313 47 0 0 25 0 11 0 545723321 863096832 29880 4294967295 134512640 134569956 3221224400 3221214816 1131477039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 29880 13073 16 0 210701 0
vsize: 842868
[startup+530.033 s]
Raw data (loadavg): 1.09 1.03 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 50271 47 0 0 25 0 11 0 545723321 863096832 30007 4294967295 134512640 134569956 3221224400 3221214680 1131318783 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 30007 13073 16 0 210701 0
vsize: 842868
[startup+540.033 s]
Raw data (loadavg): 1.07 1.03 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 51229 47 0 0 25 0 11 0 545723321 863096832 30125 4294967295 134512640 134569956 3221224400 3221214584 1131550836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 30125 13073 16 0 210701 0
vsize: 842868
[startup+550.034 s]
Raw data (loadavg): 1.06 1.03 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 52189 47 0 0 25 0 11 0 545723321 863096832 30263 4294967295 134512640 134569956 3221224400 3221214696 1131627868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 30263 13073 16 0 210701 0
vsize: 842868
[startup+560.034 s]
Raw data (loadavg): 1.05 1.02 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 53151 47 0 0 25 0 11 0 545723321 863096832 30404 4294967295 134512640 134569956 3221224400 3221214696 1131627759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 30404 13073 16 0 210701 0
vsize: 842868
[startup+570.034 s]
Raw data (loadavg): 1.04 1.02 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 54114 47 0 0 25 0 11 0 545723321 863096832 30510 4294967295 134512640 134569956 3221224400 3221214696 1131627744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 30510 13073 16 0 210701 0
vsize: 842868
[startup+580.035 s]
Raw data (loadavg): 1.04 1.02 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 55072 47 0 0 25 0 11 0 545723321 863096832 30657 4294967295 134512640 134569956 3221224400 3221214688 1131619650 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 30657 13073 16 0 210701 0
vsize: 842868
[startup+590.035 s]
Raw data (loadavg): 1.03 1.02 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 56038 47 0 0 25 0 11 0 545723321 863096832 30768 4294967295 134512640 134569956 3221224400 3221214776 1131377408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 30768 13073 16 0 210701 0
vsize: 842868
[startup+600.035 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 57005 47 0 0 25 0 11 0 545723321 863096832 30871 4294967295 134512640 134569956 3221224400 3221214536 1131291635 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 30871 13073 16 0 210701 0
vsize: 842868
[startup+610.037 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 57973 47 0 0 25 0 11 0 545723321 863096832 30976 4294967295 134512640 134569956 3221224400 3221214696 1131627868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 30976 13073 16 0 210701 0
vsize: 842868
[startup+620.037 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 58935 48 0 0 25 0 11 0 545723321 863096832 31091 4294967295 134512640 134569956 3221224400 3221214432 1131349471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 31091 13073 16 0 210701 0
vsize: 842868
[startup+630.038 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 59902 48 0 0 25 0 11 0 545723321 863096832 31169 4294967295 134512640 134569956 3221224400 3221214776 1131371910 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 31169 13073 16 0 210701 0
vsize: 842868
[startup+640.039 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 60863 48 0 0 25 0 11 0 545723321 863096832 31277 4294967295 134512640 134569956 3221224400 3221214680 1131318186 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 31277 13073 16 0 210701 0
vsize: 842868
[startup+650.039 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 61831 48 0 0 25 0 11 0 545723321 863096832 31366 4294967295 134512640 134569956 3221224400 3221214696 1131627759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 31366 13073 16 0 210701 0
vsize: 842868
[startup+660.039 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 62790 48 0 0 25 0 11 0 545723321 863096832 31462 4294967295 134512640 134569956 3221224400 3221214864 1131532237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 31462 13073 16 0 210701 0
vsize: 842868
[startup+670.039 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 63755 48 0 0 25 0 11 0 545723321 863096832 31555 4294967295 134512640 134569956 3221224400 3221214776 1131371727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 31555 13073 16 0 210701 0
vsize: 842868
[startup+680.04 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 64698 48 0 0 25 0 11 0 545723321 863096832 31727 4294967295 134512640 134569956 3221224400 3221214680 1131318077 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 31727 13073 16 0 210701 0
vsize: 842868
[startup+690.041 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 65661 48 0 0 25 0 11 0 545723321 863096832 31865 4294967295 134512640 134569956 3221224400 3221214528 1131291806 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 31865 13073 16 0 210701 0
vsize: 842868
[startup+700.04 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 66626 48 0 0 25 0 11 0 545723321 863096832 32003 4294967295 134512640 134569956 3221224400 3221214680 1131318134 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 32003 13073 16 0 210701 0
vsize: 842868
[startup+710.041 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 67593 48 0 0 25 0 11 0 545723321 863096832 32180 4294967295 134512640 134569956 3221224400 3221214680 1131318295 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 32180 13073 16 0 210701 0
vsize: 842868
[startup+720.042 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 68563 49 0 0 25 0 11 0 545723321 863096832 32219 4294967295 134512640 134569956 3221224400 3221214696 1131627756 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 32219 13073 16 0 210701 0
vsize: 842868
[startup+730.043 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 69539 49 0 0 25 0 11 0 545723321 863096832 32290 4294967295 134512640 134569956 3221224400 3221214584 1131550388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 32290 13073 16 0 210701 0
vsize: 842868
[startup+740.043 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 70509 49 0 0 25 0 11 0 545723321 863096832 32403 4294967295 134512640 134569956 3221224400 3221214696 1131627756 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 32403 13073 16 0 210701 0
vsize: 842868
[startup+750.043 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 71479 50 0 0 25 0 11 0 545723321 863096832 32460 4294967295 134512640 134569956 3221224400 3221214680 1131318049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 32460 13073 16 0 210701 0
vsize: 842868
[startup+760.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 72441 50 0 0 25 0 11 0 545723321 863096832 32526 4294967295 134512640 134569956 3221224400 3221214536 1131291553 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 32526 13073 16 0 210701 0
vsize: 842868
[startup+770.044 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 73417 50 0 0 25 0 11 0 545723321 863096832 32603 4294967295 134512640 134569956 3221224400 3221214680 1131318009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 32603 13073 16 0 210701 0
vsize: 842868
[startup+780.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 74384 50 0 0 25 0 11 0 545723321 863096832 32694 4294967295 134512640 134569956 3221224400 3221214680 1131318857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 32694 13073 16 0 210701 0
vsize: 842868
[startup+790.047 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 75347 51 0 0 25 0 11 0 545723321 863096832 32784 4294967295 134512640 134569956 3221224400 3221214696 1131627756 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 32784 13073 16 0 210701 0
vsize: 842868
[startup+800.047 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 76305 51 0 0 24 0 11 0 545723321 863096832 32841 4294967295 134512640 134569956 3221224400 3221214696 1131627759 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 32841 13073 16 0 210701 0
vsize: 842868
[startup+810.048 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 77266 51 0 0 25 0 11 0 545723321 863096832 32857 4294967295 134512640 134569956 3221224400 3221214696 1131627744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 32857 13073 16 0 210701 0
vsize: 842868
[startup+820.049 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18101 0 1 0 78213 51 0 0 25 0 11 0 545723321 863096832 32956 4294967295 134512640 134569956 3221224400 3221214680 1131318900 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 32956 13073 16 0 210701 0
vsize: 842868
[startup+830.049 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18102 0 1 0 79161 52 0 0 25 0 11 0 545723321 863096832 33133 4294967295 134512640 134569956 3221224400 3221214696 1131627756 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 33133 13073 16 0 210701 0
vsize: 842868
[startup+840.05 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18102 0 1 0 80111 52 0 0 25 0 11 0 545723321 863096832 33282 4294967295 134512640 134569956 3221224400 3221214584 1131550388 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 33282 13073 16 0 210701 0
vsize: 842868
[startup+850.051 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18102 0 1 0 81062 53 0 0 25 0 11 0 545723321 863096832 33442 4294967295 134512640 134569956 3221224400 3221214680 1131318030 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 33442 13073 16 0 210701 0
vsize: 842868
[startup+860.052 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18102 0 1 0 82014 53 0 0 25 0 11 0 545723321 863096832 33598 4294967295 134512640 134569956 3221224400 3221214536 1131291806 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 33598 13073 16 0 210701 0
vsize: 842868
[startup+870.052 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18102 0 1 0 82968 53 0 0 25 0 11 0 545723321 863096832 33746 4294967295 134512640 134569956 3221224400 3221214776 1131372966 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 33746 13073 16 0 210701 0
vsize: 842868
[startup+880.053 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18102 0 1 0 83922 53 0 0 25 0 11 0 545723321 863096832 33881 4294967295 134512640 134569956 3221224400 3221214696 1131627756 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 33881 13073 16 0 210701 0
vsize: 842868
[startup+890.053 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18102 0 1 0 84876 54 0 0 25 0 11 0 545723321 863096832 34020 4294967295 134512640 134569956 3221224400 3221214736 1131413286 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 34020 13073 16 0 210701 0
vsize: 842868
[startup+900.053 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18102 0 1 0 85830 54 0 0 25 0 11 0 545723321 863096832 34146 4294967295 134512640 134569956 3221224400 3221214960 1131365412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 34146 13073 16 0 210701 0
vsize: 842868
[startup+910.054 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18102 0 1 0 86785 54 0 0 25 0 11 0 545723321 863096832 34282 4294967295 134512640 134569956 3221224400 3221214696 1131627756 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 34282 13073 16 0 210701 0
vsize: 842868
[startup+920.054 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18102 0 1 0 87739 54 0 0 25 0 11 0 545723321 863096832 34409 4294967295 134512640 134569956 3221224400 3221214864 1131337068 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 34409 13073 16 0 210701 0
vsize: 842868
[startup+930.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18102 0 1 0 88694 55 0 0 25 0 11 0 545723321 863096832 34549 4294967295 134512640 134569956 3221224400 3221214680 1131318049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 34549 13073 16 0 210701 0
vsize: 842868
[startup+940.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18102 0 1 0 89649 55 0 0 25 0 11 0 545723321 863096832 34694 4294967295 134512640 134569956 3221224400 3221214224 1131128980 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 34694 13073 16 0 210701 0
vsize: 842868
[startup+950.055 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18102 0 1 0 90604 55 0 0 25 0 11 0 545723321 863096832 34834 4294967295 134512640 134569956 3221224400 3221214776 1131371975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 34834 13073 16 0 210701 0
vsize: 842868
[startup+960.056 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18102 0 1 0 91559 56 0 0 25 0 11 0 545723321 863096832 34955 4294967295 134512640 134569956 3221224400 3221214680 1131318225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 34955 13073 16 0 210701 0
vsize: 842868
[startup+970.056 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18102 0 1 0 92515 56 0 0 25 0 11 0 545723321 863096832 35083 4294967295 134512640 134569956 3221224400 3221214680 1131317931 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 35083 13073 16 0 210701 0
vsize: 842868
[startup+980.056 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18102 0 1 0 93470 56 0 0 25 0 11 0 545723321 863096832 35217 4294967295 134512640 134569956 3221224400 3221214528 1131291736 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 35217 13073 16 0 210701 0
vsize: 842868
[startup+990.056 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18102 0 1 0 94419 56 0 0 25 0 11 0 545723321 863096832 35366 4294967295 134512640 134569956 3221224400 3221214816 1131478074 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 35366 13073 16 0 210701 0
vsize: 842868
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18102 0 1 0 95375 56 0 0 25 0 11 0 545723321 863096832 35505 4294967295 134512640 134569956 3221224400 3221214960 1131365461 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 35505 13073 16 0 210701 0
vsize: 842868
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18102 0 1 0 96327 56 0 0 25 0 11 0 545723321 863096832 35652 4294967295 134512640 134569956 3221224400 3221214560 1131534347 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 35652 13073 16 0 210701 0
vsize: 842868
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18102 0 1 0 97286 57 0 0 25 0 11 0 545723321 863096832 35781 4294967295 134512640 134569956 3221224400 3221214696 1131627759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 35781 13073 16 0 210701 0
vsize: 842868
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18102 0 1 0 98235 57 0 0 24 0 11 0 545723321 863096832 35949 4294967295 134512640 134569956 3221224400 3221214616 1131293429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 35949 13073 16 0 210701 0
vsize: 842868
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18102 0 1 0 99189 57 0 0 25 0 11 0 545723321 863096832 36101 4294967295 134512640 134569956 3221224400 3221214776 1131371889 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 36101 13073 16 0 210701 0
vsize: 842868
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18102 0 1 0 100159 57 0 0 25 0 11 0 545723321 863096832 36237 4294967295 134512640 134569956 3221224400 3221214776 1131378919 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 36237 13073 16 0 210701 0
vsize: 842868
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18102 0 1 0 101130 58 0 0 24 0 11 0 545723321 863096832 36371 4294967295 134512640 134569956 3221224400 3221214712 1131690388 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 36371 13073 16 0 210701 0
vsize: 842868
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18102 0 1 0 102103 58 0 0 25 0 11 0 545723321 863096832 36436 4294967295 134512640 134569956 3221224400 3221214680 1131318107 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 36436 13073 16 0 210701 0
vsize: 842868
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18102 0 1 0 103068 58 0 0 25 0 11 0 545723321 863096832 36468 4294967295 134512640 134569956 3221224400 3221214696 1131627756 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 36468 13073 16 0 210701 0
vsize: 842868
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18102 0 1 0 104032 59 0 0 25 0 11 0 545723321 863096832 36492 4294967295 134512640 134569956 3221224400 3221214696 1131627756 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 36492 13073 16 0 210701 0
vsize: 842868
[startup+1100.17 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18102 0 1 0 105002 59 0 0 25 0 11 0 545723321 863096832 36573 4294967295 134512640 134569956 3221224400 3221214696 1131627864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 36573 13073 16 0 210701 0
vsize: 842868
[startup+1110.17 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18102 0 1 0 105961 59 0 0 25 0 11 0 545723321 863096832 36676 4294967295 134512640 134569956 3221224400 3221214696 1131627853 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 36676 13073 16 0 210701 0
vsize: 842868
[startup+1120.17 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18102 0 1 0 106914 59 0 0 24 0 11 0 545723321 863096832 36814 4294967295 134512640 134569956 3221224400 3221214584 1131550500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 36814 13073 16 0 210701 0
vsize: 842868
[startup+1130.17 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18102 0 1 0 107873 59 0 0 25 0 11 0 545723321 863096832 36919 4294967295 134512640 134569956 3221224400 3221214536 1131291553 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 36919 13073 16 0 210701 0
vsize: 842868
[startup+1140.17 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18102 0 1 0 108832 60 0 0 25 0 11 0 545723321 863096832 37044 4294967295 134512640 134569956 3221224400 3221214680 1131318722 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 37044 13073 16 0 210701 0
vsize: 842868
[startup+1150.17 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18102 0 1 0 109786 60 0 0 25 0 11 0 545723321 863096832 37193 4294967295 134512640 134569956 3221224400 3221214816 1131478497 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 37193 13073 16 0 210701 0
vsize: 842868
[startup+1160.17 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18102 0 1 0 110747 61 0 0 25 0 11 0 545723321 863096832 37309 4294967295 134512640 134569956 3221224400 3221214584 1131550839 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 37309 13073 16 0 210701 0
vsize: 842868
[startup+1170.17 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18102 0 1 0 111707 61 0 0 25 0 11 0 545723321 863096832 37416 4294967295 134512640 134569956 3221224400 3221214680 1131318796 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210717 37416 13073 16 0 210701 0
vsize: 842868
[startup+1180.17 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18102 0 1 0 112661 61 0 0 25 0 11 0 545723321 863096832 37545 4294967295 134512640 134569956 3221224400 3221214456 1131646004 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 37545 13073 16 0 210701 0
vsize: 842868
[startup+1190.17 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18102 0 1 0 113621 61 0 0 25 0 11 0 545723321 863096832 37641 4294967295 134512640 134569956 3221224400 3221214696 1131510932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 37641 13073 16 0 210701 0
vsize: 842868
[startup+1200.17 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18102 0 1 0 114582 61 0 0 25 0 11 0 545723321 863096832 37766 4294967295 134512640 134569956 3221224400 3221214312 1131129041 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 37766 13073 16 0 210701 0
vsize: 842868
[startup+1210.17 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18102 0 1 0 115538 62 0 0 25 0 11 0 545723321 863096832 37898 4294967295 134512640 134569956 3221224400 3221214680 1131318007 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 37898 13073 16 0 210701 0
vsize: 842868
[startup+1220.17 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18102 0 1 0 116499 62 0 0 25 0 11 0 545723321 863096832 38004 4294967295 134512640 134569956 3221224400 3221214224 1085679494 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 38004 13073 16 0 210701 0
vsize: 842868
[startup+1230.18 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) S 32639 27222 27221 0 -1 0 18102 0 1 0 117461 62 0 0 25 0 11 0 545723321 863096832 38124 4294967295 134512640 134569956 3221224400 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 38124 13073 16 0 210701 0
vsize: 842868
[startup+1240.18 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18102 0 1 0 118418 62 0 0 25 0 11 0 545723321 863096832 38239 4294967295 134512640 134569956 3221224400 3221214776 1131376239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 38239 13073 16 0 210701 0
vsize: 842868
[startup+1250.18 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18102 0 1 0 119379 63 0 0 25 0 11 0 545723321 863096832 38349 4294967295 134512640 134569956 3221224400 3221214680 1131319768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 38349 13073 16 0 210701 0
vsize: 842868
[startup+1260.18 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 32650
Raw data (stat): 32640 (java) R 32639 27222 27221 0 -1 0 18102 0 1 0 120334 63 0 0 25 0 11 0 545723321 863096832 38469 4294967295 134512640 134569956 3221224400 3221214776 1131375410 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210717 38469 13073 16 0 210701 0
vsize: 842868
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.28 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 32652
Raw data (stat): 32640 (java) Z 32639 27222 27221 0 -1 1036 18102 24587 1 0 120337 70 7076 59 25 0 1 0 545723321 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): 1260.28
CPU time (s): 1275.43
CPU user time (s): 1274.13
CPU system time (s): 1.2948
CPU usage (%): 101.202
Max. virtual memory (Kb): 843868
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####