PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-rout.opb
MD5SUM	76f802a1f3708b934101fc21122cc5bf
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	31
Biggest coefficient in the objective function	1073741824
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	2147483647
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	26904326400
Number of bits of the biggest number in a constraint	35
Biggest sum of numbers in a constraint	81230087655
Number of bits of the biggest sum of numbers	37
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.250961
Number of variables	7561
Total number of constraints	606
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	314
Number of constraints which are nor clauses,nor cardinality constraints	292
Minimum length of a constraint	1
Maximum length of a constraint	917
Trace number 16255

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-04-21 06:40:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13867 boxname=wulflinc11 idbench=1067 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  76f802a1f3708b934101fc21122cc5bf  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-rout.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-rout.opb
IDLAUNCH: 13867
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
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:        767744 kB
Buffers:         28196 kB
Cached:         217828 kB
SwapCached:          0 kB
Active:          89332 kB
Inactive:       159472 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        767492 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6816 kB
Slab:            12476 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 07:01:30 (client local time) WITH STATUS 143 IN 1228.53 SECONDS
stats: 13867 7 1228.53 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-rout.opb
c reading problem 
c [nbvar=7561]
c [nbconstr=606]
c time 19.914
c #vars     7561
c #clauses  337
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.85 0.97 0.95 2/54 29964
Raw data (stat): 29964 (runsolver) D 29963 32461 32460 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 484772051 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 3225161850 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): 0.95 0.98 0.96 2/63 29973
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 17999 0 1 0 820 39 0 0 25 0 10 0 484772051 855904256 20013 4294967295 134512640 134569956 3221224400 3221214416 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208961 20013 13073 16 0 208945 0
vsize: 835844
[startup+20.0026 s]
Raw data (loadavg): 0.96 0.98 0.96 2/63 29973
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 17999 0 1 0 1690 39 0 0 18 0 10 0 484772051 855212032 20774 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208792 20774 13073 16 0 208776 0
vsize: 835168
[startup+30.0029 s]
Raw data (loadavg): 0.96 0.98 0.96 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18029 0 1 0 2575 40 0 0 25 0 11 0 484772051 855740416 21030 4294967295 134512640 134569956 3221224400 3221214896 1131336920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208921 21030 13073 16 0 208905 0
vsize: 835684
[startup+40.0056 s]
Raw data (loadavg): 0.97 0.98 0.96 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18069 0 1 0 3446 41 0 0 25 0 11 0 484772051 861880320 22668 4294967295 134512640 134569956 3221224400 3221214800 1131220800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210420 22668 13073 16 0 210404 0
vsize: 841680
[startup+50.0148 s]
Raw data (loadavg): 0.97 0.98 0.96 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18070 0 1 0 4375 41 0 0 25 0 11 0 484772051 861880320 22987 4294967295 134512640 134569956 3221224400 3221214800 1131220497 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210420 22987 13073 16 0 210404 0
vsize: 841680
[startup+60.0143 s]
Raw data (loadavg): 0.98 0.98 0.96 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18070 0 1 0 5359 41 0 0 25 0 11 0 484772051 865574912 24156 4294967295 134512640 134569956 3221224400 3221214800 1131221626 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211322 24156 13073 16 0 211306 0
vsize: 845288
[startup+70.0155 s]
Raw data (loadavg): 0.98 0.98 0.96 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18071 0 1 0 6345 41 0 0 25 0 11 0 484772051 865574912 24174 4294967295 134512640 134569956 3221224400 3221214800 1131220849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211322 24174 13073 16 0 211306 0
vsize: 845288
[startup+80.0467 s]
Raw data (loadavg): 1.06 1.00 0.96 4/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18072 0 1 0 7329 41 0 0 25 0 11 0 484772051 865574912 24195 4294967295 134512640 134569956 3221224400 3221213936 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211322 24195 13073 16 0 211306 0
vsize: 845288
[startup+90.0466 s]
Raw data (loadavg): 1.05 1.00 0.96 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18072 0 1 0 8310 41 0 0 25 0 11 0 484772051 865574912 24210 4294967295 134512640 134569956 3221224400 3221214640 1131213495 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211322 24210 13073 16 0 211306 0
vsize: 845288
[startup+100.047 s]
Raw data (loadavg): 1.12 1.02 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18072 0 1 0 9299 42 0 0 25 0 11 0 484772051 865574912 24223 4294967295 134512640 134569956 3221224400 3221214752 1131624943 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211322 24223 13073 16 0 211306 0
vsize: 845288
[startup+110.048 s]
Raw data (loadavg): 1.10 1.02 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18072 0 1 0 10287 42 0 0 25 0 11 0 484772051 862994432 23621 4294967295 134512640 134569956 3221224400 3221214752 1131625052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 23621 13073 16 0 210676 0
vsize: 842768
[startup+120.048 s]
Raw data (loadavg): 1.08 1.01 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18072 0 1 0 11276 42 0 0 25 0 11 0 484772051 862994432 23650 4294967295 134512640 134569956 3221224400 3221214752 1131625037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 23650 13073 16 0 210676 0
vsize: 842768
[startup+130.048 s]
Raw data (loadavg): 1.07 1.01 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18072 0 1 0 12261 42 0 0 25 0 11 0 484772051 862994432 23658 4294967295 134512640 134569956 3221224400 3221214752 1131624928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 23658 13073 16 0 210676 0
vsize: 842768
[startup+140.048 s]
Raw data (loadavg): 1.06 1.01 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18072 0 1 0 13241 42 0 0 25 0 11 0 484772051 862994432 23664 4294967295 134512640 134569956 3221224400 3221214752 1131229897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 23664 13073 16 0 210676 0
vsize: 842768
[startup+150.048 s]
Raw data (loadavg): 1.05 1.01 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18072 0 1 0 14214 42 0 0 25 0 11 0 484772051 862994432 23675 4294967295 134512640 134569956 3221224400 3221214640 1131517226 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 23675 13073 16 0 210676 0
vsize: 842768
[startup+160.054 s]
Raw data (loadavg): 1.04 1.01 0.97 2/64 29974
Raw data (stat): 29964 (java) S 29963 32461 32460 0 -1 0 18072 0 1 0 15156 42 0 0 25 0 11 0 484772051 862994432 23819 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 23819 13073 16 0 210676 0
vsize: 842768
[startup+170.054 s]
Raw data (loadavg): 1.03 1.01 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18072 0 1 0 16114 42 0 0 25 0 11 0 484772051 862994432 24088 4294967295 134512640 134569956 3221224400 3221214800 1131220849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 24088 13073 16 0 210676 0
vsize: 842768
[startup+180.055 s]
Raw data (loadavg): 1.03 1.01 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18072 0 1 0 17096 42 0 0 25 0 11 0 484772051 862994432 24285 4294967295 134512640 134569956 3221224400 3221214800 1131221704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 24285 13073 16 0 210676 0
vsize: 842768
[startup+190.055 s]
Raw data (loadavg): 1.02 1.01 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18072 0 1 0 18087 42 0 0 25 0 11 0 484772051 862994432 24300 4294967295 134512640 134569956 3221224400 3221214800 1131220802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 24300 13073 16 0 210676 0
vsize: 842768
[startup+200.056 s]
Raw data (loadavg): 1.02 1.01 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18072 0 1 0 19076 43 0 0 25 0 11 0 484772051 862994432 24315 4294967295 134512640 134569956 3221224400 3221214800 1131220785 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 24315 13073 16 0 210676 0
vsize: 842768
[startup+210.056 s]
Raw data (loadavg): 1.02 1.01 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18072 0 1 0 20068 43 0 0 25 0 11 0 484772051 862994432 24344 4294967295 134512640 134569956 3221224400 3221214800 1131221606 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 24344 13073 16 0 210676 0
vsize: 842768
[startup+220.057 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18072 0 1 0 21055 43 0 0 25 0 11 0 484772051 862994432 24359 4294967295 134512640 134569956 3221224400 3221214848 1131187879 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 24359 13073 16 0 210676 0
vsize: 842768
[startup+230.058 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18072 0 1 0 22036 43 0 0 25 0 11 0 484772051 862994432 24375 4294967295 134512640 134569956 3221224400 3221214800 1131221744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 24375 13073 16 0 210676 0
vsize: 842768
[startup+240.058 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18072 0 1 0 23017 43 0 0 25 0 11 0 484772051 862994432 24429 4294967295 134512640 134569956 3221224400 3221214800 1131220750 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 24429 13073 16 0 210676 0
vsize: 842768
[startup+250.059 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18072 0 1 0 24008 43 0 0 25 0 11 0 484772051 862994432 24522 4294967295 134512640 134569956 3221224400 3221214752 1131624940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 24522 13073 16 0 210676 0
vsize: 842768
[startup+260.059 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18072 0 1 0 25003 43 0 0 25 0 11 0 484772051 862994432 24524 4294967295 134512640 134569956 3221224400 3221214848 1131187776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 24524 13073 16 0 210676 0
vsize: 842768
[startup+270.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18072 0 1 0 25993 43 0 0 25 0 11 0 484772051 862994432 24530 4294967295 134512640 134569956 3221224400 3221214624 1131528336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 24530 13073 16 0 210676 0
vsize: 842768
[startup+280.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18072 0 1 0 26977 43 0 0 25 0 11 0 484772051 862994432 24536 4294967295 134512640 134569956 3221224400 3221214744 1131638412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 24536 13073 16 0 210676 0
vsize: 842768
[startup+290.061 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18072 0 1 0 27957 43 0 0 25 0 11 0 484772051 862994432 24548 4294967295 134512640 134569956 3221224400 3221214752 1131624945 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 24548 13073 16 0 210676 0
vsize: 842768
[startup+300.061 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18072 0 1 0 28935 44 0 0 25 0 11 0 484772051 862994432 24577 4294967295 134512640 134569956 3221224400 3221214752 1131624940 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210692 24577 13073 16 0 210676 0
vsize: 842768
[startup+310.061 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 29910 44 0 0 25 0 11 0 484772051 862994432 24671 4294967295 134512640 134569956 3221224400 3221214752 1131624940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 24671 13073 16 0 210676 0
vsize: 842768
[startup+320.062 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 30887 44 0 0 25 0 11 0 484772051 862994432 24768 4294967295 134512640 134569956 3221224400 3221214640 1131515499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 24768 13073 16 0 210676 0
vsize: 842768
[startup+330.063 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 31869 44 0 0 25 0 11 0 484772051 862994432 24830 4294967295 134512640 134569956 3221224400 3221214896 1131337512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 24830 13073 16 0 210676 0
vsize: 842768
[startup+340.063 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 32833 44 0 0 25 0 11 0 484772051 862994432 24980 4294967295 134512640 134569956 3221224400 3221214896 1131336723 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 24980 13073 16 0 210676 0
vsize: 842768
[startup+350.063 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 33810 44 0 0 25 0 11 0 484772051 862994432 25112 4294967295 134512640 134569956 3221224400 3221214800 1131220261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 25112 13073 16 0 210676 0
vsize: 842768
[startup+360.067 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) S 29963 32461 32460 0 -1 0 18073 0 1 0 34799 44 0 0 25 0 11 0 484772051 862994432 25218 4294967295 134512640 134569956 3221224400 3221213352 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 25218 13073 16 0 210676 0
vsize: 842768
[startup+370.068 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 35791 44 0 0 25 0 11 0 484772051 862994432 25232 4294967295 134512640 134569956 3221224400 3221214648 1131213089 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 25232 13073 16 0 210676 0
vsize: 842768
[startup+380.069 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 36780 44 0 0 25 0 11 0 484772051 862994432 25248 4294967295 134512640 134569956 3221224400 3221214752 1131625052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 25248 13073 16 0 210676 0
vsize: 842768
[startup+390.069 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 37768 44 0 0 25 0 11 0 484772051 862994432 25262 4294967295 134512640 134569956 3221224400 3221214640 1131517166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 25262 13073 16 0 210676 0
vsize: 842768
[startup+400.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 38752 44 0 0 25 0 11 0 484772051 862994432 25271 4294967295 134512640 134569956 3221224400 3221214464 1076619294 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 25271 13073 16 0 210676 0
vsize: 842768
[startup+410.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 39738 44 0 0 25 0 11 0 484772051 862994432 25310 4294967295 134512640 134569956 3221224400 3221214800 1131221021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 25310 13073 16 0 210676 0
vsize: 842768
[startup+420.071 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 40723 45 0 0 24 0 11 0 484772051 862994432 25379 4294967295 134512640 134569956 3221224400 3221214752 1131624940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 25379 13073 16 0 210676 0
vsize: 842768
[startup+430.073 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 41713 45 0 0 25 0 11 0 484772051 862994432 25430 4294967295 134512640 134569956 3221224400 3221214632 1131530223 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 25430 13073 16 0 210676 0
vsize: 842768
[startup+440.072 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 42705 45 0 0 25 0 11 0 484772051 862994432 25467 4294967295 134512640 134569956 3221224400 3221214896 1131336956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 25467 13073 16 0 210676 0
vsize: 842768
[startup+450.073 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 43695 45 0 0 25 0 11 0 484772051 862994432 25521 4294967295 134512640 134569956 3221224400 3221214672 1131540437 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 25521 13073 16 0 210676 0
vsize: 842768
[startup+460.074 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 44687 45 0 0 25 0 11 0 484772051 862994432 25537 4294967295 134512640 134569956 3221224400 3221214800 1131221075 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 25537 13073 16 0 210676 0
vsize: 842768
[startup+470.075 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 45680 45 0 0 25 0 11 0 484772051 862994432 25564 4294967295 134512640 134569956 3221224400 3221214424 1080217379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 25564 13073 16 0 210676 0
vsize: 842768
[startup+480.075 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 46672 45 0 0 25 0 11 0 484772051 862994432 25592 4294967295 134512640 134569956 3221224400 3221214752 1131625037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 25592 13073 16 0 210676 0
vsize: 842768
[startup+490.075 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 47664 45 0 0 25 0 11 0 484772051 862994432 25634 4294967295 134512640 134569956 3221224400 3221214752 1131624940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 25634 13073 16 0 210676 0
vsize: 842768
[startup+500.076 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 48657 45 0 0 25 0 11 0 484772051 862994432 25680 4294967295 134512640 134569956 3221224400 3221214648 1131213331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 25680 13073 16 0 210676 0
vsize: 842768
[startup+510.076 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 49651 45 0 0 25 0 11 0 484772051 862994432 25702 4294967295 134512640 134569956 3221224400 3221214744 1131638286 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 25702 13073 16 0 210676 0
vsize: 842768
[startup+520.077 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 50647 45 0 0 25 0 11 0 484772051 862994432 25721 4294967295 134512640 134569956 3221224400 3221214800 1131220573 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 25721 13073 16 0 210676 0
vsize: 842768
[startup+530.077 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 51642 45 0 0 25 0 11 0 484772051 862994432 25738 4294967295 134512640 134569956 3221224400 3221214640 1131213877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 25738 13073 16 0 210676 0
vsize: 842768
[startup+540.077 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 52637 45 0 0 25 0 11 0 484772051 862994432 25762 4294967295 134512640 134569956 3221224400 3221214688 1131480966 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 25762 13073 16 0 210676 0
vsize: 842768
[startup+550.077 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 53630 45 0 0 25 0 11 0 484772051 862994432 25787 4294967295 134512640 134569956 3221224400 3221214800 1131220849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 25787 13073 16 0 210676 0
vsize: 842768
[startup+560.078 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 54623 46 0 0 25 0 11 0 484772051 862994432 25798 4294967295 134512640 134569956 3221224400 3221214752 1131624928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 25798 13073 16 0 210676 0
vsize: 842768
[startup+570.079 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 55615 46 0 0 25 0 11 0 484772051 862994432 25813 4294967295 134512640 134569956 3221224400 3221214536 1131616103 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 25813 13073 16 0 210676 0
vsize: 842768
[startup+580.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 56607 46 0 0 25 0 11 0 484772051 862994432 25831 4294967295 134512640 134569956 3221224400 3221214848 1131187797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 25831 13073 16 0 210676 0
vsize: 842768
[startup+590.079 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 57593 46 0 0 25 0 11 0 484772051 862994432 25879 4294967295 134512640 134569956 3221224400 3221214896 1131336536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 25879 13073 16 0 210676 0
vsize: 842768
[startup+600.081 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 58578 46 0 0 25 0 11 0 484772051 862994432 25924 4294967295 134512640 134569956 3221224400 3221214800 1131220763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210692 25924 13073 16 0 210676 0
vsize: 842768
[startup+610.081 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 59566 46 0 0 25 0 11 0 484772051 862994432 25986 4294967295 134512640 134569956 3221224400 3221214800 1131221629 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 25986 13073 16 0 210676 0
vsize: 842768
[startup+620.082 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 60558 46 0 0 25 0 11 0 484772051 862994432 26002 4294967295 134512640 134569956 3221224400 3221214424 1080217364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 26002 13073 16 0 210676 0
vsize: 842768
[startup+630.082 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 61548 46 0 0 25 0 11 0 484772051 862994432 26006 4294967295 134512640 134569956 3221224400 3221214488 1131644861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 26006 13073 16 0 210676 0
vsize: 842768
[startup+640.083 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 62534 46 0 0 25 0 11 0 484772051 862994432 26016 4294967295 134512640 134569956 3221224400 3221214688 1131482601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 26016 13073 16 0 210676 0
vsize: 842768
[startup+650.084 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 63517 46 0 0 24 0 11 0 484772051 862994432 26028 4294967295 134512640 134569956 3221224400 3221214624 1131496115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 26028 13073 16 0 210676 0
vsize: 842768
[startup+660.084 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 64500 46 0 0 25 0 11 0 484772051 862994432 26073 4294967295 134512640 134569956 3221224400 3221214632 1131378904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 26073 13073 16 0 210676 0
vsize: 842768
[startup+670.086 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 65484 46 0 0 25 0 11 0 484772051 862994432 26138 4294967295 134512640 134569956 3221224400 3221214648 1131213413 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 26138 13073 16 0 210676 0
vsize: 842768
[startup+680.086 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 66471 46 0 0 25 0 11 0 484772051 862994432 26185 4294967295 134512640 134569956 3221224400 3221214560 1131497236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 26185 13073 16 0 210676 0
vsize: 842768
[startup+690.086 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 67457 46 0 0 25 0 11 0 484772051 862994432 26269 4294967295 134512640 134569956 3221224400 3221214800 1131220261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 26269 13073 16 0 210676 0
vsize: 842768
[startup+700.087 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 68448 46 0 0 25 0 11 0 484772051 862994432 26327 4294967295 134512640 134569956 3221224400 3221214676 1080204256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 26327 13073 16 0 210676 0
vsize: 842768
[startup+710.088 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 69437 46 0 0 25 0 11 0 484772051 862994432 26353 4294967295 134512640 134569956 3221224400 3221214872 1131329145 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 26353 13073 16 0 210676 0
vsize: 842768
[startup+720.088 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 70423 46 0 0 25 0 11 0 484772051 862994432 26389 4294967295 134512640 134569956 3221224400 3221214648 1131213484 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 26389 13073 16 0 210676 0
vsize: 842768
[startup+730.088 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 71408 46 0 0 25 0 11 0 484772051 862994432 26421 4294967295 134512640 134569956 3221224400 3221214752 1131624940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 26421 13073 16 0 210676 0
vsize: 842768
[startup+740.089 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 72394 46 0 0 25 0 11 0 484772051 862994432 26450 4294967295 134512640 134569956 3221224400 3221214800 1131221057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 26450 13073 16 0 210676 0
vsize: 842768
[startup+750.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 73379 46 0 0 25 0 11 0 484772051 862994432 26478 4294967295 134512640 134569956 3221224400 3221214648 1131213530 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 26478 13073 16 0 210676 0
vsize: 842768
[startup+760.091 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 74366 46 0 0 25 0 11 0 484772051 862994432 26561 4294967295 134512640 134569956 3221224400 3221214544 1131645160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 26561 13073 16 0 210676 0
vsize: 842768
[startup+770.091 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 75355 46 0 0 25 0 11 0 484772051 862994432 26641 4294967295 134512640 134569956 3221224400 3221214800 1131221033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 26641 13073 16 0 210676 0
vsize: 842768
[startup+780.092 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 76346 46 0 0 25 0 11 0 484772051 862994432 26689 4294967295 134512640 134569956 3221224400 3221214728 1131213566 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 26689 13073 16 0 210676 0
vsize: 842768
[startup+790.092 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 77337 46 0 0 25 0 11 0 484772051 862994432 26726 4294967295 134512640 134569956 3221224400 3221214800 1131221104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 26726 13073 16 0 210676 0
vsize: 842768
[startup+800.093 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 78328 46 0 0 25 0 11 0 484772051 862994432 26767 4294967295 134512640 134569956 3221224400 3221214800 1131221005 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 26767 13073 16 0 210676 0
vsize: 842768
[startup+810.093 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 79319 47 0 0 25 0 11 0 484772051 862994432 26793 4294967295 134512640 134569956 3221224400 3221214640 1131516391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 26793 13073 16 0 210676 0
vsize: 842768
[startup+820.094 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 80309 47 0 0 25 0 11 0 484772051 862994432 26817 4294967295 134512640 134569956 3221224400 3221214896 1131336981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 26817 13073 16 0 210676 0
vsize: 842768
[startup+830.095 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 81298 47 0 0 24 0 11 0 484772051 862994432 26850 4294967295 134512640 134569956 3221224400 3221214752 1131625037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 26850 13073 16 0 210676 0
vsize: 842768
[startup+840.094 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 82289 47 0 0 25 0 11 0 484772051 862994432 26883 4294967295 134512640 134569956 3221224400 3221214600 1131495647 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 26883 13073 16 0 210676 0
vsize: 842768
[startup+850.096 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 83279 47 0 0 25 0 11 0 484772051 862994432 26918 4294967295 134512640 134569956 3221224400 3221214640 1131516271 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 26918 13073 16 0 210676 0
vsize: 842768
[startup+860.096 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 84269 47 0 0 25 0 11 0 484772051 862994432 26967 4294967295 134512640 134569956 3221224400 3221214800 1131220605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 26967 13073 16 0 210676 0
vsize: 842768
[startup+870.097 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 85259 47 0 0 25 0 11 0 484772051 862994432 27020 4294967295 134512640 134569956 3221224400 3221214800 1131220750 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 27020 13073 16 0 210676 0
vsize: 842768
[startup+880.098 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 86249 47 0 0 25 0 11 0 484772051 862994432 27061 4294967295 134512640 134569956 3221224400 3221214800 1131220793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 27061 13073 16 0 210676 0
vsize: 842768
[startup+890.098 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 87241 48 0 0 25 0 11 0 484772051 862994432 27113 4294967295 134512640 134569956 3221224400 3221214696 1131513108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 27113 13073 16 0 210676 0
vsize: 842768
[startup+900.098 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 88231 48 0 0 25 0 11 0 484772051 862994432 27144 4294967295 134512640 134569956 3221224400 3221214696 1131513108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 27144 13073 16 0 210676 0
vsize: 842768
[startup+910.098 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 89225 48 0 0 25 0 11 0 484772051 862994432 27166 4294967295 134512640 134569956 3221224400 3221214800 1131221047 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 27166 13073 16 0 210676 0
vsize: 842768
[startup+920.1 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 90211 48 0 0 25 0 11 0 484772051 862994432 27220 4294967295 134512640 134569956 3221224400 3221214800 1131220849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 27220 13073 16 0 210676 0
vsize: 842768
[startup+930.101 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 91194 48 0 0 25 0 11 0 484772051 862994432 27268 4294967295 134512640 134569956 3221224400 3221214800 1131220760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 27268 13073 16 0 210676 0
vsize: 842768
[startup+940.101 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 92180 48 0 0 25 0 11 0 484772051 862994432 27313 4294967295 134512640 134569956 3221224400 3221214800 1131220261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 27313 13073 16 0 210676 0
vsize: 842768
[startup+950.101 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 93169 49 0 0 25 0 11 0 484772051 862994432 27347 4294967295 134512640 134569956 3221224400 3221214728 1131329208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 27347 13073 16 0 210676 0
vsize: 842768
[startup+960.102 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 94157 49 0 0 25 0 11 0 484772051 862994432 27361 4294967295 134512640 134569956 3221224400 3221214752 1131624943 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 27361 13073 16 0 210676 0
vsize: 842768
[startup+970.103 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 95142 49 0 0 25 0 11 0 484772051 862994432 27378 4294967295 134512640 134569956 3221224400 3221214648 1131213398 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 27378 13073 16 0 210676 0
vsize: 842768
[startup+980.104 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 96124 49 0 0 25 0 11 0 484772051 862994432 27389 4294967295 134512640 134569956 3221224400 3221214752 1131624928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 27389 13073 16 0 210676 0
vsize: 842768
[startup+990.104 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 97105 49 0 0 25 0 11 0 484772051 862994432 27435 4294967295 134512640 134569956 3221224400 3221214488 1131664657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 27435 13073 16 0 210676 0
vsize: 842768
[startup+1000.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 98086 49 0 0 24 0 11 0 484772051 862994432 27520 4294967295 134512640 134569956 3221224400 3221214800 1131220800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 27520 13073 16 0 210676 0
vsize: 842768
[startup+1010.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 99069 49 0 0 25 0 11 0 484772051 862994432 27589 4294967295 134512640 134569956 3221224400 3221214752 1131625037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 27589 13073 16 0 210676 0
vsize: 842768
[startup+1020.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 100055 49 0 0 25 0 11 0 484772051 862994432 27628 4294967295 134512640 134569956 3221224400 3221214800 1131220849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 27628 13073 16 0 210676 0
vsize: 842768
[startup+1030.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 101042 49 0 0 25 0 11 0 484772051 862994432 27680 4294967295 134512640 134569956 3221224400 3221214568 1131497852 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210692 27680 13073 16 0 210676 0
vsize: 842768
[startup+1040.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 102027 49 0 0 25 0 11 0 484772051 862994432 27749 4294967295 134512640 134569956 3221224400 3221214688 1131482094 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 27749 13073 16 0 210676 0
vsize: 842768
[startup+1050.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 103014 50 0 0 25 0 11 0 484772051 862994432 27808 4294967295 134512640 134569956 3221224400 3221214744 1131534367 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 27808 13073 16 0 210676 0
vsize: 842768
[startup+1060.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 104001 50 0 0 25 0 11 0 484772051 862994432 27864 4294967295 134512640 134569956 3221224400 3221214608 1131497243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 27864 13073 16 0 210676 0
vsize: 842768
[startup+1070.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 104988 50 0 0 25 0 11 0 484772051 862994432 27919 4294967295 134512640 134569956 3221224400 3221214752 1131625037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 27919 13073 16 0 210676 0
vsize: 842768
[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 105976 50 0 0 25 0 11 0 484772051 862994432 27942 4294967295 134512640 134569956 3221224400 3221214640 1131515552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 27942 13073 16 0 210676 0
vsize: 842768
[startup+1090.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 106962 51 0 0 25 0 11 0 484772051 862994432 27965 4294967295 134512640 134569956 3221224400 3221214752 1131624940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 27965 13073 16 0 210676 0
vsize: 842768
[startup+1100.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 107947 51 0 0 25 0 11 0 484772051 862994432 28035 4294967295 134512640 134569956 3221224400 3221214800 1131220985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 28035 13073 16 0 210676 0
vsize: 842768
[startup+1110.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 108934 51 0 0 25 0 11 0 484772051 862994432 28083 4294967295 134512640 134569956 3221224400 3221214688 1131477964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 28083 13073 16 0 210676 0
vsize: 842768
[startup+1120.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 109922 51 0 0 25 0 11 0 484772051 862994432 28137 4294967295 134512640 134569956 3221224400 3221214752 1131624943 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 28137 13073 16 0 210676 0
vsize: 842768
[startup+1130.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 110910 51 0 0 25 0 11 0 484772051 862994432 28206 4294967295 134512640 134569956 3221224400 3221214684 1080204282 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 28206 13073 16 0 210676 0
vsize: 842768
[startup+1140.11 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 29974
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 111898 51 0 0 25 0 11 0 484772051 862994432 28259 4294967295 134512640 134569956 3221224400 3221214752 1131624928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 28259 13073 16 0 210676 0
vsize: 842768
[startup+1150.15 s]
Raw data (loadavg): 1.08 1.02 0.97 2/67 30023
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 112877 60 0 0 25 0 11 0 484772051 862994432 28314 4294967295 134512640 134569956 3221224400 3221214800 1131220752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 28314 13073 16 0 210676 0
vsize: 842768
[startup+1160.15 s]
Raw data (loadavg): 1.07 1.02 0.97 2/64 30027
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 113865 61 0 0 25 0 11 0 484772051 862994432 28333 4294967295 134512640 134569956 3221224400 3221214440 1131646929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 28333 13073 16 0 210676 0
vsize: 842768
[startup+1170.15 s]
Raw data (loadavg): 1.06 1.01 0.97 2/64 30027
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 114855 61 0 0 25 0 11 0 484772051 862994432 28375 4294967295 134512640 134569956 3221224400 3221214544 1131640579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 28375 13073 16 0 210676 0
vsize: 842768
[startup+1180.15 s]
Raw data (loadavg): 1.05 1.01 0.97 2/64 30027
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 115846 61 0 0 25 0 11 0 484772051 862994432 28419 4294967295 134512640 134569956 3221224400 3221214568 1131497096 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 28419 13073 16 0 210676 0
vsize: 842768
[startup+1190.15 s]
Raw data (loadavg): 1.04 1.01 0.97 2/64 30027
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 116839 61 0 0 25 0 11 0 484772051 862994432 28448 4294967295 134512640 134569956 3221224400 3221214744 1131638279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 28448 13073 16 0 210676 0
vsize: 842768
[startup+1200.15 s]
Raw data (loadavg): 1.03 1.01 0.97 2/64 30027
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 117830 61 0 0 25 0 11 0 484772051 862994432 28501 4294967295 134512640 134569956 3221224400 3221214752 1131625059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 28501 13073 16 0 210676 0
vsize: 842768
[startup+1210.15 s]
Raw data (loadavg): 1.03 1.01 0.97 2/64 30027
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 118821 61 0 0 25 0 11 0 484772051 862994432 28552 4294967295 134512640 134569956 3221224400 3221214800 1131220933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 28552 13073 16 0 210676 0
vsize: 842768
[startup+1220.15 s]
Raw data (loadavg): 1.02 1.01 0.97 2/64 30029
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 119813 61 0 0 25 0 11 0 484772051 862994432 28580 4294967295 134512640 134569956 3221224400 3221214752 1131625037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 28580 13073 16 0 210676 0
vsize: 842768
[startup+1230.15 s]
Raw data (loadavg): 1.02 1.01 0.97 2/64 30029
Raw data (stat): 29964 (java) R 29963 32461 32460 0 -1 0 18073 0 1 0 120804 61 0 0 25 0 11 0 484772051 862994432 28592 4294967295 134512640 134569956 3221224400 3221214640 1131213549 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210692 28592 13073 16 0 210676 0
vsize: 842768
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.23 s]
Raw data (loadavg): 1.02 1.01 0.97 1/54 30031
Raw data (stat): 29964 (java) Z 29963 32461 32460 0 -1 1036 18073 8166 1 0 120805 61 1958 26 25 0 1 0 484772051 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 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): 1230.23
CPU time (s): 1228.53
CPU user time (s): 1227.64
CPU system time (s): 0.880866
CPU usage (%): 99.8617
Max. virtual memory (Kb): 845288
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####