PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0548.opb
MD5SUM	6f47095f2d417d23ced995954e641689
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	15249
Optimality of the best value was proved	NO
Number of terms in the objective function	416
Biggest coefficient in the objective function	11000
Number of bits for the biggest coefficient in the objective function	14
Sum of the numbers in the objective function	96797
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	11000
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	96797
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1236.38
Number of variables	548
Total number of constraints	724
Number of constraints which are clauses	40
Number of constraints which are cardinality constraints (but not clauses)	550
Number of constraints which are nor clauses,nor cardinality constraints	134
Minimum length of a constraint	1
Maximum length of a constraint	143
Trace number 19013

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-04-21 17:25:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17156 boxname=wulflinc2 idbench=1320 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  6f47095f2d417d23ced995954e641689  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-p0548.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-p0548.opb
IDLAUNCH: 17156
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        906616 kB
Buffers:         17812 kB
Cached:          87256 kB
SwapCached:       3324 kB
Active:          38540 kB
Inactive:        71308 kB
HighTotal:      131008 kB
HighFree:        44996 kB
LowTotal:       903652 kB
LowFree:        861620 kB
SwapTotal:     2097136 kB
SwapFree:      2092928 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5108 kB
Slab:            12576 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 17:46:18 (client local time) WITH STATUS 143 IN 1252.63 SECONDS
stats: 17156 7 1252.63 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-p0548.opb
c reading problem 
c [nbvar=548]
c [nbconstr=724]
c time 1.716
c #vars     548
c #clauses  166
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=40874
c Current CPU time (ms) : 5.913
c starts	: 1
c conflicts	: 15
c decisions	: 770
c propagations	: 1431
c inspects	: 1258
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 15
c root simplifications	: 3
c 
c CURRENT OPTIMUM=39754
c Current CPU time (ms) : 13.482
c starts	: 3
c conflicts	: 123
c decisions	: 1572
c propagations	: 3052
c inspects	: 10316
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 123
c root simplifications	: 5
c 
c CURRENT OPTIMUM=28989
c Current CPU time (ms) : 14.785
c starts	: 4
c conflicts	: 124
c decisions	: 1930
c propagations	: 3606
c inspects	: 15531
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 124
c root simplifications	: 6
c 
c CURRENT OPTIMUM=11893
c Current CPU time (ms) : 40.088
c starts	: 6
c conflicts	: 230
c decisions	: 2678
c propagations	: 6680
c inspects	: 47154
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 230
c root simplifications	: 8
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/54 2110
Raw data (stat): 2110 (runsolver) R 2109 20937 20936 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 488644917 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99951 s]
Raw data (loadavg): 1.16 1.00 0.92 3/64 2121
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18071 3 1 0 497 42 0 0 25 0 11 0 488644917 868429824 22082 4294967295 134512640 134569956 3221224400 3221214664 1131215792 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212019 22082 13073 16 0 212003 0
vsize: 848076
[startup+20.001 s]
Raw data (loadavg): 1.14 1.00 0.92 3/64 2123
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 1423 42 0 0 25 0 11 0 488644917 862187520 21416 4294967295 134512640 134569956 3221224400 3221214704 1131243657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 21416 13073 16 0 210479 0
vsize: 841980
[startup+30.0012 s]
Raw data (loadavg): 1.11 1.00 0.92 2/64 2123
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 2355 43 0 0 25 0 11 0 488644917 862351360 21834 4294967295 134512640 134569956 3221224400 3221214808 1130917357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210535 21834 13073 16 0 210519 0
vsize: 842140
[startup+40.0014 s]
Raw data (loadavg): 1.10 1.00 0.92 2/64 2123
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 3286 43 0 0 25 0 11 0 488644917 862187520 22434 4294967295 134512640 134569956 3221224400 3221214400 1131533483 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210495 22434 13073 16 0 210479 0
vsize: 841980
[startup+50.0026 s]
Raw data (loadavg): 1.08 1.00 0.92 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 4220 43 0 0 25 0 11 0 488644917 862187520 22434 4294967295 134512640 134569956 3221224400 3221214880 1131632849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210495 22434 13073 16 0 210479 0
vsize: 841980
[startup+60.0024 s]
Raw data (loadavg): 1.07 1.00 0.92 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 5149 43 0 0 25 0 11 0 488644917 862187520 22802 4294967295 134512640 134569956 3221224400 3221214608 1131383543 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210495 22802 13073 16 0 210479 0
vsize: 841980
[startup+70.0026 s]
Raw data (loadavg): 1.06 1.00 0.92 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 6101 43 0 0 25 0 11 0 488644917 862187520 22952 4294967295 134512640 134569956 3221224400 3221214816 1131409216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210495 22952 13073 16 0 210479 0
vsize: 841980
[startup+80.003 s]
Raw data (loadavg): 1.05 1.00 0.92 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 7056 43 0 0 25 0 11 0 488644917 862187520 23274 4294967295 134512640 134569956 3221224400 3221214596 1080204206 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210495 23274 13073 16 0 210479 0
vsize: 841980
[startup+90.0034 s]
Raw data (loadavg): 1.04 1.00 0.92 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 8022 43 0 0 25 0 11 0 488644917 862187520 23378 4294967295 134512640 134569956 3221224400 3221214552 1131568450 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210495 23378 13073 16 0 210479 0
vsize: 841980
[startup+100.004 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 8993 44 0 0 25 0 11 0 488644917 862187520 23464 4294967295 134512640 134569956 3221224400 3221214892 1131237484 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210495 23464 13073 16 0 210479 0
vsize: 841980
[startup+110.004 s]
Raw data (loadavg): 1.03 1.00 0.92 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 9961 44 0 0 25 0 11 0 488644917 862187520 23536 4294967295 134512640 134569956 3221224400 3221214680 1131243808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210495 23536 13073 16 0 210479 0
vsize: 841980
[startup+120.005 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 10931 44 0 0 25 0 11 0 488644917 862187520 23618 4294967295 134512640 134569956 3221224400 3221214800 1131219386 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210495 23618 13073 16 0 210479 0
vsize: 841980
[startup+130.005 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 11909 44 0 0 25 0 11 0 488644917 862187520 23726 4294967295 134512640 134569956 3221224400 3221214552 1131567937 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210495 23726 13073 16 0 210479 0
vsize: 841980
[startup+140.006 s]
Raw data (loadavg): 1.02 1.00 0.92 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 12890 44 0 0 25 0 11 0 488644917 862187520 23788 4294967295 134512640 134569956 3221224400 3221214800 1131218587 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210495 23788 13073 16 0 210479 0
vsize: 841980
[startup+150.007 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 13870 44 0 0 25 0 11 0 488644917 862187520 23847 4294967295 134512640 134569956 3221224400 3221214800 1131218953 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210495 23847 13073 16 0 210479 0
vsize: 841980
[startup+160.006 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 14844 45 0 0 25 0 11 0 488644917 862187520 23871 4294967295 134512640 134569956 3221224400 3221214896 1131227850 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210495 23871 13073 16 0 210479 0
vsize: 841980
[startup+170.006 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 15810 45 0 0 25 0 11 0 488644917 862187520 23959 4294967295 134512640 134569956 3221224400 3221214896 1131227736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210495 23959 13073 16 0 210479 0
vsize: 841980
[startup+180.006 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 16782 45 0 0 25 0 11 0 488644917 862187520 24005 4294967295 134512640 134569956 3221224400 3221214608 1131382484 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210495 24005 13073 16 0 210479 0
vsize: 841980
[startup+190.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2124
Raw data (stat): 2110 (java) S 2109 20937 20936 0 -1 0 18074 3 1 0 17750 45 0 0 25 0 11 0 488644917 862187520 24177 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210495 24177 13073 16 0 210479 0
vsize: 841980
[startup+200.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 18726 45 0 0 24 0 11 0 488644917 862187520 24268 4294967295 134512640 134569956 3221224400 3221214800 1131219044 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210495 24268 13073 16 0 210479 0
vsize: 841980
[startup+210.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 19699 45 0 0 24 0 11 0 488644917 862187520 24319 4294967295 134512640 134569956 3221224400 3221214896 1131227717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210495 24319 13073 16 0 210479 0
vsize: 841980
[startup+220.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2124
Raw data (stat): 2110 (java) S 2109 20937 20936 0 -1 0 18074 3 1 0 20673 46 0 0 25 0 11 0 488644917 862187520 24395 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210495 24395 13073 16 0 210479 0
vsize: 841980
[startup+230.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 21645 46 0 0 25 0 11 0 488644917 862187520 24476 4294967295 134512640 134569956 3221224400 3221214760 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210495 24476 13073 16 0 210479 0
vsize: 841980
[startup+240.019 s]
Raw data (loadavg): 1.08 1.02 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 22619 46 0 0 25 0 11 0 488644917 862187520 24582 4294967295 134512640 134569956 3221224400 3221214552 1131567730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210495 24582 13073 16 0 210479 0
vsize: 841980
[startup+250.019 s]
Raw data (loadavg): 1.07 1.02 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 23594 46 0 0 25 0 11 0 488644917 862187520 24664 4294967295 134512640 134569956 3221224400 3221214800 1131299196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 24664 13073 16 0 210479 0
vsize: 841980
[startup+260.02 s]
Raw data (loadavg): 1.06 1.01 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 24570 46 0 0 25 0 11 0 488644917 862187520 24726 4294967295 134512640 134569956 3221224400 3221214696 1131437935 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 24726 13073 16 0 210479 0
vsize: 841980
[startup+270.02 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 25543 47 0 0 25 0 11 0 488644917 862187520 24803 4294967295 134512640 134569956 3221224400 3221214800 1131219494 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 24803 13073 16 0 210479 0
vsize: 841980
[startup+280.02 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 26520 47 0 0 25 0 11 0 488644917 862187520 24847 4294967295 134512640 134569956 3221224400 3221214800 1131218893 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 24847 13073 16 0 210479 0
vsize: 841980
[startup+290.021 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 27491 47 0 0 25 0 11 0 488644917 862187520 24893 4294967295 134512640 134569956 3221224400 3221214960 1131455507 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 24893 13073 16 0 210479 0
vsize: 841980
[startup+300.022 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 28465 47 0 0 25 0 11 0 488644917 862187520 24990 4294967295 134512640 134569956 3221224400 3221214800 1131218444 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 24990 13073 16 0 210479 0
vsize: 841980
[startup+310.021 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 29450 48 0 0 25 0 11 0 488644917 862187520 25074 4294967295 134512640 134569956 3221224400 3221214800 1131218535 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 25074 13073 16 0 210479 0
vsize: 841980
[startup+320.023 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 30438 48 0 0 24 0 11 0 488644917 862187520 25097 4294967295 134512640 134569956 3221224400 3221214800 1131218813 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 25097 13073 16 0 210479 0
vsize: 841980
[startup+330.023 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 31423 49 0 0 25 0 11 0 488644917 862187520 25116 4294967295 134512640 134569956 3221224400 3221214608 1131385276 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 25116 13073 16 0 210479 0
vsize: 841980
[startup+340.024 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 32404 49 0 0 25 0 11 0 488644917 862187520 25140 4294967295 134512640 134569956 3221224400 3221214800 1131218657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 25140 13073 16 0 210479 0
vsize: 841980
[startup+350.024 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 33383 49 0 0 25 0 11 0 488644917 862187520 25195 4294967295 134512640 134569956 3221224400 3221214800 1131219396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 25195 13073 16 0 210479 0
vsize: 841980
[startup+360.024 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 34362 50 0 0 25 0 11 0 488644917 862187520 25242 4294967295 134512640 134569956 3221224400 3221214800 1131218935 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 25242 13073 16 0 210479 0
vsize: 841980
[startup+370.025 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 35340 50 0 0 25 0 11 0 488644917 862187520 25278 4294967295 134512640 134569956 3221224400 3221214840 1131184640 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 25278 13073 16 0 210479 0
vsize: 841980
[startup+380.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 36320 50 0 0 25 0 11 0 488644917 862187520 25348 4294967295 134512640 134569956 3221224400 3221214840 1131184640 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 25348 13073 16 0 210479 0
vsize: 841980
[startup+390.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 37306 51 0 0 25 0 11 0 488644917 862187520 25392 4294967295 134512640 134569956 3221224400 3221214840 1131184724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 25392 13073 16 0 210479 0
vsize: 841980
[startup+400.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 38291 51 0 0 25 0 11 0 488644917 862187520 25442 4294967295 134512640 134569956 3221224400 3221214800 1131218429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 25442 13073 16 0 210479 0
vsize: 841980
[startup+410.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 39273 51 0 0 25 0 11 0 488644917 862187520 25477 4294967295 134512640 134569956 3221224400 3221214800 1131218437 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 25477 13073 16 0 210479 0
vsize: 841980
[startup+420.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 40253 52 0 0 25 0 11 0 488644917 862187520 25536 4294967295 134512640 134569956 3221224400 3221214804 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 25536 13073 16 0 210479 0
vsize: 841980
[startup+430.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 41233 52 0 0 25 0 11 0 488644917 862187520 25592 4294967295 134512640 134569956 3221224400 3221214800 1131219416 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 25592 13073 16 0 210479 0
vsize: 841980
[startup+440.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 42216 52 0 0 25 0 11 0 488644917 862187520 25644 4294967295 134512640 134569956 3221224400 3221214896 1131227908 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 25644 13073 16 0 210479 0
vsize: 841980
[startup+450.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 43198 53 0 0 25 0 11 0 488644917 862187520 25692 4294967295 134512640 134569956 3221224400 3221214800 1131219658 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 25692 13073 16 0 210479 0
vsize: 841980
[startup+460.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 44177 53 0 0 25 0 11 0 488644917 862187520 25740 4294967295 134512640 134569956 3221224400 3221214800 1131219112 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 25740 13073 16 0 210479 0
vsize: 841980
[startup+470.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 45156 53 0 0 25 0 11 0 488644917 862187520 25778 4294967295 134512640 134569956 3221224400 3221214800 1131218444 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 25778 13073 16 0 210479 0
vsize: 841980
[startup+480.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 46132 54 0 0 24 0 11 0 488644917 862187520 25854 4294967295 134512640 134569956 3221224400 3221214896 1131228604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 25854 13073 16 0 210479 0
vsize: 841980
[startup+490.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 47110 55 0 0 25 0 11 0 488644917 862187520 25900 4294967295 134512640 134569956 3221224400 3221214840 1131184665 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 25900 13073 16 0 210479 0
vsize: 841980
[startup+500.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 48086 55 0 0 25 0 11 0 488644917 862187520 25956 4294967295 134512640 134569956 3221224400 3221214840 1131184640 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 25956 13073 16 0 210479 0
vsize: 841980
[startup+510.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 49064 55 0 0 24 0 11 0 488644917 862187520 26035 4294967295 134512640 134569956 3221224400 3221214840 1131184665 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 26035 13073 16 0 210479 0
vsize: 841980
[startup+520.032 s]
Raw data (loadavg): 1.07 1.02 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 50044 56 0 0 25 0 11 0 488644917 862187520 26077 4294967295 134512640 134569956 3221224400 3221214800 1131218463 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 26077 13073 16 0 210479 0
vsize: 841980
[startup+530.032 s]
Raw data (loadavg): 1.06 1.02 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 51024 56 0 0 25 0 11 0 488644917 862187520 26117 4294967295 134512640 134569956 3221224400 3221214880 1131632849 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 26117 13073 16 0 210479 0
vsize: 841980
[startup+540.034 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 52000 56 0 0 25 0 11 0 488644917 862187520 26188 4294967295 134512640 134569956 3221224400 3221214800 1131218494 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 26188 13073 16 0 210479 0
vsize: 841980
[startup+550.033 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 52977 57 0 0 25 0 11 0 488644917 862187520 26263 4294967295 134512640 134569956 3221224400 3221214800 1131218429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 26263 13073 16 0 210479 0
vsize: 841980
[startup+560.034 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 53949 58 0 0 25 0 11 0 488644917 862187520 26329 4294967295 134512640 134569956 3221224400 3221214608 1131384808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 26329 13073 16 0 210479 0
vsize: 841980
[startup+570.035 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 54916 58 0 0 25 0 11 0 488644917 862187520 26403 4294967295 134512640 134569956 3221224400 3221214800 1131218843 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 26403 13073 16 0 210479 0
vsize: 841980
[startup+580.034 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 55886 59 0 0 25 0 11 0 488644917 862187520 26448 4294967295 134512640 134569956 3221224400 3221214840 1131184640 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 26448 13073 16 0 210479 0
vsize: 841980
[startup+590.036 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 56859 59 0 0 25 0 11 0 488644917 862187520 26612 4294967295 134512640 134569956 3221224400 3221214840 1131184637 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 26612 13073 16 0 210479 0
vsize: 841980
[startup+600.036 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 57840 59 0 0 25 0 11 0 488644917 862187520 26653 4294967295 134512640 134569956 3221224400 3221214608 1131384928 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 26653 13073 16 0 210479 0
vsize: 841980
[startup+610.035 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 58825 60 0 0 25 0 11 0 488644917 862187520 26705 4294967295 134512640 134569956 3221224400 3221214800 1131218441 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 26705 13073 16 0 210479 0
vsize: 841980
[startup+620.037 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 59809 60 0 0 25 0 11 0 488644917 862187520 26739 4294967295 134512640 134569956 3221224400 3221214800 1131218429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 26739 13073 16 0 210479 0
vsize: 841980
[startup+630.037 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 60794 61 0 0 25 0 11 0 488644917 862187520 26770 4294967295 134512640 134569956 3221224400 3221214800 1131218433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210495 26770 13073 16 0 210479 0
vsize: 841980
[startup+640.038 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 61775 61 0 0 25 0 11 0 488644917 862187520 26804 4294967295 134512640 134569956 3221224400 3221214608 1131387106 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 26804 13073 16 0 210479 0
vsize: 841980
[startup+650.038 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 62755 61 0 0 25 0 11 0 488644917 862187520 26827 4294967295 134512640 134569956 3221224400 3221214892 1131561347 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 26827 13073 16 0 210479 0
vsize: 841980
[startup+660.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 63734 62 0 0 25 0 11 0 488644917 862187520 26876 4294967295 134512640 134569956 3221224400 3221214896 1131227794 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 26876 13073 16 0 210479 0
vsize: 841980
[startup+670.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 64719 62 0 0 25 0 11 0 488644917 862187520 26916 4294967295 134512640 134569956 3221224400 3221214840 1131184827 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 26916 13073 16 0 210479 0
vsize: 841980
[startup+680.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 65708 62 0 0 25 0 11 0 488644917 862187520 26958 4294967295 134512640 134569956 3221224400 3221214800 1131218543 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 26958 13073 16 0 210479 0
vsize: 841980
[startup+690.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 66698 63 0 0 25 0 11 0 488644917 862187520 26972 4294967295 134512640 134569956 3221224400 3221214892 1131219667 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 26972 13073 16 0 210479 0
vsize: 841980
[startup+700.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 67688 63 0 0 25 0 11 0 488644917 862187520 26982 4294967295 134512640 134569956 3221224400 3221214840 1131184814 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 26982 13073 16 0 210479 0
vsize: 841980
[startup+710.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 68675 64 0 0 25 0 11 0 488644917 862187520 26997 4294967295 134512640 134569956 3221224400 3221214540 1131531536 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 26997 13073 16 0 210479 0
vsize: 841980
[startup+720.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 69661 65 0 0 24 0 11 0 488644917 862187520 27011 4294967295 134512640 134569956 3221224400 3221214800 1131219044 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 27011 13073 16 0 210479 0
vsize: 841980
[startup+730.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 70647 65 0 0 25 0 11 0 488644917 862187520 27037 4294967295 134512640 134569956 3221224400 3221214896 1131227717 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 27037 13073 16 0 210479 0
vsize: 841980
[startup+740.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 71631 66 0 0 25 0 11 0 488644917 862187520 27053 4294967295 134512640 134569956 3221224400 3221214800 1131218651 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 27053 13073 16 0 210479 0
vsize: 841980
[startup+750.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 72610 66 0 0 24 0 11 0 488644917 862187520 27092 4294967295 134512640 134569956 3221224400 3221214840 1131184657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 27092 13073 16 0 210479 0
vsize: 841980
[startup+760.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 73591 67 0 0 25 0 11 0 488644917 862187520 27133 4294967295 134512640 134569956 3221224400 3221214892 1131184884 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 27133 13073 16 0 210479 0
vsize: 841980
[startup+770.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 74572 67 0 0 25 0 11 0 488644917 862187520 27205 4294967295 134512640 134569956 3221224400 3221214800 1131219107 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 27205 13073 16 0 210479 0
vsize: 841980
[startup+780.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 75557 68 0 0 25 0 11 0 488644917 862187520 27266 4294967295 134512640 134569956 3221224400 3221214800 1131218523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 27266 13073 16 0 210479 0
vsize: 841980
[startup+790.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 76541 68 0 0 25 0 11 0 488644917 862187520 27284 4294967295 134512640 134569956 3221224400 3221214800 1131218928 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 27284 13073 16 0 210479 0
vsize: 841980
[startup+800.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 77526 68 0 0 25 0 11 0 488644917 862187520 27320 4294967295 134512640 134569956 3221224400 3221214288 1131533680 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 27320 13073 16 0 210479 0
vsize: 841980
[startup+810.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 78511 69 0 0 25 0 11 0 488644917 862187520 27347 4294967295 134512640 134569956 3221224400 3221214896 1131227556 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 27347 13073 16 0 210479 0
vsize: 841980
[startup+820.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 79493 69 0 0 25 0 11 0 488644917 862187520 27422 4294967295 134512640 134569956 3221224400 3221214800 1131218843 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 27422 13073 16 0 210479 0
vsize: 841980
[startup+830.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 80476 69 0 0 25 0 11 0 488644917 862187520 27456 4294967295 134512640 134569956 3221224400 3221214800 1131219060 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 27456 13073 16 0 210479 0
vsize: 841980
[startup+840.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 81456 70 0 0 25 0 11 0 488644917 862187520 27502 4294967295 134512640 134569956 3221224400 3221214800 1131218876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 27502 13073 16 0 210479 0
vsize: 841980
[startup+850.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 82436 70 0 0 25 0 11 0 488644917 862187520 27554 4294967295 134512640 134569956 3221224400 3221214840 1131184747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 27554 13073 16 0 210479 0
vsize: 841980
[startup+860.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 83419 70 0 0 25 0 11 0 488644917 862187520 27614 4294967295 134512640 134569956 3221224400 3221214892 1131219667 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 27614 13073 16 0 210479 0
vsize: 841980
[startup+870.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 84400 71 0 0 25 0 11 0 488644917 862187520 27650 4294967295 134512640 134569956 3221224400 3221214800 1131218531 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 27650 13073 16 0 210479 0
vsize: 841980
[startup+880.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 85380 72 0 0 25 0 11 0 488644917 862187520 27711 4294967295 134512640 134569956 3221224400 3221214840 1131184665 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210495 27711 13073 16 0 210479 0
vsize: 841980
[startup+890.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18074 3 1 0 86360 72 0 0 25 0 11 0 488644917 862187520 27764 4294967295 134512640 134569956 3221224400 3221214728 1131335059 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 27764 13073 16 0 210479 0
vsize: 841980
[startup+900.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 87344 73 0 0 25 0 11 0 488644917 862187520 27808 4294967295 134512640 134569956 3221224400 3221214800 1131219381 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 27808 13073 16 0 210479 0
vsize: 841980
[startup+910.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 88327 73 0 0 25 0 11 0 488644917 862187520 27847 4294967295 134512640 134569956 3221224400 3221214896 1131227840 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 27847 13073 16 0 210479 0
vsize: 841980
[startup+920.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 89309 73 0 0 25 0 11 0 488644917 862187520 27883 4294967295 134512640 134569956 3221224400 3221214892 1131237481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 27883 13073 16 0 210479 0
vsize: 841980
[startup+930.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 90290 74 0 0 25 0 11 0 488644917 862187520 27905 4294967295 134512640 134569956 3221224400 3221214800 1131218843 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 27905 13073 16 0 210479 0
vsize: 841980
[startup+940.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 91271 74 0 0 25 0 11 0 488644917 862187520 27950 4294967295 134512640 134569956 3221224400 3221214800 1131219281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 27950 13073 16 0 210479 0
vsize: 841980
[startup+950.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 92252 75 0 0 24 0 11 0 488644917 862187520 27990 4294967295 134512640 134569956 3221224400 3221214800 1131219466 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 27990 13073 16 0 210479 0
vsize: 841980
[startup+960.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 93235 75 0 0 25 0 11 0 488644917 862187520 28026 4294967295 134512640 134569956 3221224400 3221214840 1131184759 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 28026 13073 16 0 210479 0
vsize: 841980
[startup+970.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 94217 75 0 0 25 0 11 0 488644917 862187520 28079 4294967295 134512640 134569956 3221224400 3221214800 1131218811 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 28079 13073 16 0 210479 0
vsize: 841980
[startup+980.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 95199 76 0 0 25 0 11 0 488644917 862187520 28109 4294967295 134512640 134569956 3221224400 3221214840 1131184685 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 28109 13073 16 0 210479 0
vsize: 841980
[startup+990.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 96182 76 0 0 25 0 11 0 488644917 862187520 28155 4294967295 134512640 134569956 3221224400 3221214896 1131228008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 28155 13073 16 0 210479 0
vsize: 841980
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 97164 77 0 0 25 0 11 0 488644917 862187520 28216 4294967295 134512640 134569956 3221224400 3221214840 1131184640 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 28216 13073 16 0 210479 0
vsize: 841980
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 98147 77 0 0 25 0 11 0 488644917 862187520 28256 4294967295 134512640 134569956 3221224400 3221214800 1131218543 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 28256 13073 16 0 210479 0
vsize: 841980
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 99129 77 0 0 25 0 11 0 488644917 862187520 28295 4294967295 134512640 134569956 3221224400 3221214800 1131219503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 28295 13073 16 0 210479 0
vsize: 841980
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 100109 77 0 0 25 0 11 0 488644917 862187520 28329 4294967295 134512640 134569956 3221224400 3221214840 1131184849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210495 28329 13073 16 0 210479 0
vsize: 841980
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 101089 77 0 0 25 0 11 0 488644917 862187520 28385 4294967295 134512640 134569956 3221224400 3221214800 1131218466 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 28385 13073 16 0 210479 0
vsize: 841980
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 102071 78 0 0 25 0 11 0 488644917 862187520 28433 4294967295 134512640 134569956 3221224400 3221214800 1131219440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 28433 13073 16 0 210479 0
vsize: 841980
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 103052 78 0 0 25 0 11 0 488644917 862187520 28456 4294967295 134512640 134569956 3221224400 3221214800 1131218523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 28456 13073 16 0 210479 0
vsize: 841980
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 104034 78 0 0 25 0 11 0 488644917 862187520 28505 4294967295 134512640 134569956 3221224400 3221214840 1131184637 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 28505 13073 16 0 210479 0
vsize: 841980
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 105013 79 0 0 24 0 11 0 488644917 862187520 28547 4294967295 134512640 134569956 3221224400 3221214872 1131237565 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 28547 13073 16 0 210479 0
vsize: 841980
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 105994 79 0 0 25 0 11 0 488644917 862187520 28604 4294967295 134512640 134569956 3221224400 3221214800 1131218876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 28604 13073 16 0 210479 0
vsize: 841980
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 106971 79 0 0 25 0 11 0 488644917 862187520 28651 4294967295 134512640 134569956 3221224400 3221214800 1131218813 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 28651 13073 16 0 210479 0
vsize: 841980
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 107945 80 0 0 25 0 11 0 488644917 862187520 28723 4294967295 134512640 134569956 3221224400 3221214800 1131218843 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 28723 13073 16 0 210479 0
vsize: 841980
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 108920 80 0 0 25 0 11 0 488644917 862187520 28804 4294967295 134512640 134569956 3221224400 3221214800 1131218876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 28804 13073 16 0 210479 0
vsize: 841980
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 109899 80 0 0 25 0 11 0 488644917 862187520 28863 4294967295 134512640 134569956 3221224400 3221214840 1131184661 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 28863 13073 16 0 210479 0
vsize: 841980
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 110879 80 0 0 25 0 11 0 488644917 862187520 28944 4294967295 134512640 134569956 3221224400 3221214840 1131184773 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 28944 13073 16 0 210479 0
vsize: 841980
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 111861 81 0 0 24 0 11 0 488644917 862187520 28986 4294967295 134512640 134569956 3221224400 3221214840 1131184637 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 28986 13073 16 0 210479 0
vsize: 841980
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) S 2109 20937 20936 0 -1 0 18075 3 1 0 112846 81 0 0 25 0 11 0 488644917 862187520 29019 4294967295 134512640 134569956 3221224400 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 29019 13073 16 0 210479 0
vsize: 841980
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 113828 81 0 0 25 0 11 0 488644917 862187520 29066 4294967295 134512640 134569956 3221224400 3221214552 1131568725 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 29066 13073 16 0 210479 0
vsize: 841980
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 114809 82 0 0 25 0 11 0 488644917 862187520 29089 4294967295 134512640 134569956 3221224400 3221214896 1131227861 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 29089 13073 16 0 210479 0
vsize: 841980
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 115787 82 0 0 25 0 11 0 488644917 862187520 29126 4294967295 134512640 134569956 3221224400 3221214800 1131219503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 29126 13073 16 0 210479 0
vsize: 841980
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 116768 83 0 0 25 0 11 0 488644917 862187520 29173 4294967295 134512640 134569956 3221224400 3221214800 1131218649 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 29173 13073 16 0 210479 0
vsize: 841980
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 117752 83 0 0 25 0 11 0 488644917 862187520 29242 4294967295 134512640 134569956 3221224400 3221214800 1131218843 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 29242 13073 16 0 210479 0
vsize: 841980
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 118735 83 0 0 25 0 11 0 488644917 862187520 29270 4294967295 134512640 134569956 3221224400 3221214896 1131227937 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 29270 13073 16 0 210479 0
vsize: 841980
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 119717 83 0 0 25 0 11 0 488644917 862187520 29292 4294967295 134512640 134569956 3221224400 3221214800 1131218935 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 29292 13073 16 0 210479 0
vsize: 841980
[startup+1240.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 2124
Raw data (stat): 2110 (java) R 2109 20937 20936 0 -1 0 18075 3 1 0 120696 84 0 0 25 0 11 0 488644917 862187520 29344 4294967295 134512640 134569956 3221224400 3221214892 1131184620 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210495 29344 13073 16 0 210479 0
vsize: 841980
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.16 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 2126
Raw data (stat): 2110 (java) Z 2109 20937 20936 0 -1 1036 18075 19394 1 0 120700 89 4404 67 25 0 1 0 488644917 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1240.16
CPU time (s): 1252.63
CPU user time (s): 1251.06
CPU system time (s): 1.57176
CPU usage (%): 101.005
Max. virtual memory (Kb): 848076
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####